RX0028

错误消息

位于 %s 的接缝法则声明无法被物化（%s）

消息中的 %s 表示引擎抛出错误时填入的具体内容。

小故事

在 rush 的堆里，动词和值是分家的，那它们之间怎么打交道呢？靠一条接缝：动词不直接抱着一个容器，它只拿一个引用，一个指向 DataHeap 里某处的坐标。这样一来，归约器要处理的东西就只剩两种：简单的标量，和引用。如果一个归约器，要对每一种值类型都写一个分支，那就是堆从来没有拆开的症状。这套规矩的细节，写在 src/engine/heap/run/run.feml 里。这一次，引擎读不了这个文件，或者读出来什么都没说清。那接缝就不知道自己是什么，后面的检查也没有参照。为什么不在 C 里放一个默认值呢？因为那会有两个真相来源。所以引擎选择拒绝诞生。怎么办？检查消息里的路径和原因，把文件修好。记住：接缝只传引用，规矩只写在文件里。

文本来自 Rush 引擎的错误目录。