@aster-cloud/aster-lang-ts 1.2.2 → 1.2.3

package/dist/test/unit/lsp/member-completion.test.js

@@ -0,0 +1,142 @@
+/**
+ * 成员补全（member-completion.ts）的函数级测试：
+ *   - 光标在已有成员名中间（`d.ag|e`）时，替换范围须覆盖名字后半截（#259）；
+ *   - 修补文本推断有缓存、有规模上限（#258）：同一修补文本不重复解析，输入前缀时复用，
+ *     修补推断有累计耗时预算，超出后放弃其余修补；大文档未写完的行照常补全。
+ */
+import { describe, it, beforeEach } from 'node:test';
+import assert from 'node:assert/strict';
+import { EN_US } from '../../../src/config/lexicons/en-US.js';
+import { ZH_CN } from '../../../src/config/lexicons/zh-CN.js';
+import { clearMemberRepairCache, memberCompletions, } from '../../../src/lsp/member-completion.js';
+import { parseDocumentText, parseDocumentWith } from '../../../src/lsp/parse-document.js';
+const HEAD = ['Module demo.p.', '', 'Define Driver has name as Text, age as Int.', '', 'Rule f given d as Driver, produce Int:'];
+function docOf(lines) {
+    const text = lines.join('\n');
+    return { text, ...parseDocumentText(text, EN_US, undefined, undefined) };
+}
+/** 统计修补文本解析次数的 parse */
+function countingParse() {
+    let n = 0;
+    return {
+        parse: (text, lexicon, vocabulary) => {
+            n += 1;
+            return parseDocumentWith(text, lexicon, vocabulary);
+        },
+        count: () => n,
+    };
+}
+const labels = (items) => (items ?? []).map((i) => i.label).sort();
+beforeEach(() => clearMemberRepairCache());
+describe('#259 光标在成员名中间', () => {
+    const body = '  Return d.age.';
+    const dot = '  Return d.'.length;
+    const cursor = { line: 5, character: dot + 2 }; // d.ag|e
+    it('客户端支持 InsertReplaceEdit：insert = 点号后到光标，replace = 点号后到名字末尾', () => {
+        const items = memberCompletions(docOf([...HEAD, body, '']), cursor, EN_US, { insertReplace: true });
+        assert.deepEqual(labels(items), ['age', 'name']);
+        for (const i of items) {
+            assert.deepEqual(i.textEdit, {
+                insert: { start: { line: 5, character: dot }, end: cursor },
+                replace: { start: { line: 5, character: dot }, end: { line: 5, character: dot + 3 } },
+                newText: i.label,
+            });
+        }
+    });
+    it('客户端不支持 InsertReplaceEdit：TextEdit 覆盖整个名字（选 age 得到 age，而非 agee）', () => {
+        const items = memberCompletions(docOf([...HEAD, body, '']), cursor, EN_US);
+        for (const i of items) {
+            assert.deepEqual(i.textEdit, { range: { start: { line: 5, character: dot }, end: { line: 5, character: dot + 3 } }, newText: i.label });
+        }
+    });
+    it('光标在名字末尾：仍是普通 TextEdit（insert 与 replace 相同，无需 InsertReplaceEdit）', () => {
+        const at = { line: 5, character: dot + 3 };
+        const items = memberCompletions(docOf([...HEAD, body, '']), at, EN_US, { insertReplace: true });
+        for (const i of items) {
+            assert.deepEqual(i.textEdit, { range: { start: { line: 5, character: dot }, end: at }, newText: i.label });
+        }
+    });
+});
+describe('#258 修补推断的缓存与规模上限', () => {
+    // `If d.` 让当前行与所在声明语法不完整：原文推断失败，须走修补文本
+    const broken = (prefix) => [...HEAD, `  If d.${prefix} plus 1`, '  Return 1.', ''];
+    const at = (prefix) => ({ line: 5, character: `  If d.${prefix}`.length });
+    it('同一文档版本再次请求：不重复解析修补文本', () => {
+        const doc = docOf(broken(''));
+        const first = countingParse();
+        assert.deepEqual(labels(memberCompletions(doc, at(''), EN_US, { parse: first.parse })), ['age', 'name']);
+        assert.ok(first.count() > 0, '首次请求应解析修补文本');
+        const again = countingParse();
+        assert.deepEqual(labels(memberCompletions(doc, at(''), EN_US, { parse: again.parse })), ['age', 'name']);
+        assert.equal(again.count(), 0);
+    });
+    it('继续输入成员前缀（新版本 d.a → d.ag）：修补文本相同，复用缓存', () => {
+        memberCompletions(docOf(broken('')), at(''), EN_US);
+        for (const prefix of ['a', 'ag']) {
+            const probe = countingParse();
+            assert.deepEqual(labels(memberCompletions(docOf(broken(prefix)), at(prefix), EN_US, { parse: probe.parse })), ['age', 'name'], prefix);
+            assert.equal(probe.count(), 0, prefix);
+        }
+    });
+    it('文档其它位置改变后缓存不误用：重新解析', () => {
+        memberCompletions(docOf(broken('')), at(''), EN_US);
+        const changed = [...HEAD.slice(0, 2), 'Define Driver has name as Text, age as Int, level as Int.', ...HEAD.slice(3), '  If d. plus 1', '  Return 1.', ''];
+        const probe = countingParse();
+        assert.deepEqual(labels(memberCompletions(docOf(changed), at(''), EN_US, { parse: probe.parse })), ['age', 'level', 'name']);
+        assert.ok(probe.count() > 0);
+    });
+    /** 返回一个每次调用前进 step 毫秒的假时钟 */
+    const ticking = (step) => {
+        let t = 0;
+        return () => (t += step);
+    };
+    it('★大文档（约 5000 行）当前行未写完：照常给字段（不再按行数放弃）', () => {
+        const rules = Array.from({ length: 600 }, (_, i) => [`Rule g${i} given d as Driver, produce Int:`, '  Return d.age plus 1.', '']).flat();
+        const filler = Array.from({ length: 3000 }, () => '');
+        const lines = [...HEAD.slice(0, 4), ...rules, ...filler, HEAD[4], '  If d. plus 1', '  Return 1.', ''];
+        assert.ok(lines.length > 4800);
+        const probe = countingParse();
+        const items = memberCompletions(docOf(lines), { line: lines.length - 3, character: '  If d.'.length }, EN_US, { parse: probe.parse });
+        assert.deepEqual(labels(items), ['age', 'name']);
+        assert.ok(probe.count() >= 1 && probe.count() <= 3, `修补解析 ${probe.count()} 次`);
+    });
+    // zh 行尾 `如果 司机.`：前两份修补（删 `.前缀` / 删前缀）仍不完整，第三份（换成 `返回 司机.`）才定出类型
+    const ZH_LINES = ['模块 demo.p。', '', '定义 驾驶员 包含 年龄 作为 整数，姓名 作为 文本。', '', '规则 f 给定 司机 作为 驾驶员，产出 整数：', '  如果 司机.', ''];
+    const zhDoc = () => {
+        const text = ZH_LINES.join('\n');
+        return { text, ...parseDocumentText(text, ZH_CN, undefined, undefined) };
+    };
+    const ZH_AT = { line: 5, character: '  如果 司机.'.length };
+    it('★累计耗时超过预算后放弃其余修补：第一份修补失败即返回 null', () => {
+        const probe = countingParse();
+        const items = memberCompletions(zhDoc(), ZH_AT, ZH_CN, { parse: probe.parse, now: ticking(1000), repairBudgetMs: 150, repairBudgetFromLines: 0 });
+        assert.equal(items, null);
+        assert.equal(probe.count(), 1, '第一份修补总会尝试，之后超预算即停止');
+    });
+    it('小文档（不足 MEMBER_REPAIR_BUDGET_FROM_LINES 行）不受预算约束：冷启动或高负载下也依次尝试到成功', () => {
+        const probe = countingParse();
+        const items = memberCompletions(zhDoc(), ZH_AT, ZH_CN, { parse: probe.parse, now: ticking(1000), repairBudgetMs: 150 });
+        assert.deepEqual(labels(items), ['姓名', '年龄'].sort());
+        assert.equal(probe.count(), 3);
+    });
+    it('预算未超出时依次尝试，直到某份修补成功', () => {
+        const probe = countingParse();
+        const items = memberCompletions(zhDoc(), ZH_AT, ZH_CN, { parse: probe.parse, now: ticking(0), repairBudgetMs: 150, repairBudgetFromLines: 0 });
+        assert.deepEqual(labels(items), ['姓名', '年龄'].sort());
+        assert.equal(probe.count(), 3);
+    });
+    it('命中缓存的修补不计耗时：预算耗尽时继续输入前缀仍能补全', () => {
+        memberCompletions(docOf(broken('')), at(''), EN_US);
+        const probe = countingParse();
+        const items = memberCompletions(docOf(broken('a')), at('a'), EN_US, { parse: probe.parse, now: ticking(1000), repairBudgetMs: 0, repairBudgetFromLines: 0 });
+        assert.deepEqual(labels(items), ['age', 'name']);
+        assert.equal(probe.count(), 0);
+    });
+    it('原文可推断（`Return d.` 本身是完整语句）：不做修补解析', () => {
+        const probe = countingParse();
+        const items = memberCompletions(docOf([...HEAD, '  Return d.', '']), { line: 5, character: '  Return d.'.length }, EN_US, { parse: probe.parse });
+        assert.deepEqual(labels(items), ['age', 'name']);
+        assert.equal(probe.count(), 0);
+    });
+});
+//# sourceMappingURL=member-completion.test.js.map

package/dist/test/unit/lsp/member-completion.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"member-completion.test.js","sourceRoot":"","sources":["../../../../test/unit/lsp/member-completion.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACrD,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,KAAK,EAAE,MAAM,uCAAuC,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,uCAAuC,CAAC;AAC9D,OAAO,EACL,sBAAsB,EACtB,iBAAiB,GAClB,MAAM,uCAAuC,CAAC;AAE/C,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAC;AAE1F,MAAM,IAAI,GAAG,CAAC,gBAAgB,EAAE,EAAE,EAAE,6CAA6C,EAAE,EAAE,EAAE,wCAAwC,CAAC,CAAC;AAEjI,SAAS,KAAK,CAAC,KAAwB;IACrC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,OAAO,EAAE,IAAI,EAAE,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,EAAE,CAAC;AAC3E,CAAC;AAED,wBAAwB;AACxB,SAAS,aAAa;IACpB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO;QACL,KAAK,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE;YACnC,CAAC,IAAI,CAAC,CAAC;YACP,OAAO,iBAAiB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACtD,CAAC;QACD,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;KACf,CAAC;AACJ,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,KAAiC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;AAE/F,UAAU,CAAC,GAAG,EAAE,CAAC,sBAAsB,EAAE,CAAC,CAAC;AAE3C,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,MAAM,IAAI,GAAG,iBAAiB,CAAC;IAC/B,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC;IACjC,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,SAAS;IAEzD,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QACpG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QACjD,KAAK,MAAM,CAAC,IAAI,KAAM,EAAE,CAAC;YACvB,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE;gBAC3B,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE;gBAC3D,OAAO,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC,EAAE,EAAE;gBACrF,OAAO,EAAE,CAAC,CAAC,KAAK;aACjB,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QAC3E,KAAK,MAAM,CAAC,IAAI,KAAM,EAAE,CAAC;YACvB,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QAC1I,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QAChG,KAAK,MAAM,CAAC,IAAI,KAAM,EAAE,CAAC;YACvB,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QAC7G,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,uCAAuC;IACvC,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,EAAE,UAAU,MAAM,SAAS,EAAE,aAAa,EAAE,EAAE,CAAC,CAAC;IAC3F,MAAM,EAAE,GAAG,CAAC,MAAc,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,UAAU,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;IAEnF,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;QAC9B,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,iBAAiB,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QACzG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,aAAa,CAAC,CAAC;QAC5C,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;QAC9B,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,iBAAiB,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QACzG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,iBAAiB,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;QACpD,KAAK,MAAM,MAAM,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;YAC9B,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,iBAAiB,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;YACvI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACzC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,iBAAiB,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;QACpD,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,2DAA2D,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,aAAa,EAAE,EAAE,CAAC,CAAC;QAC1J,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;QAC9B,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,iBAAiB,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;QAC7H,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,6BAA6B;IAC7B,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,EAAE;QAC/B,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,OAAO,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC;IAEF,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,kCAAkC,EAAE,wBAAwB,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzI,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;QACtD,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,GAAG,MAAM,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,gBAAgB,EAAE,aAAa,EAAE,EAAE,CAAC,CAAC;QACxG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;QACtI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,QAAQ,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,gEAAgE;IAChE,MAAM,QAAQ,GAAG,CAAC,YAAY,EAAE,EAAE,EAAE,8BAA8B,EAAE,EAAE,EAAE,0BAA0B,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;IACpH,MAAM,KAAK,GAAG,GAAmB,EAAE;QACjC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,OAAO,EAAE,IAAI,EAAE,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,EAAE,CAAC;IAC3E,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC;IAExD,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,cAAc,EAAE,GAAG,EAAE,qBAAqB,EAAE,CAAC,EAAE,CAAC,CAAC;QAClJ,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC1B,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,oBAAoB,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,CAAC;QACxH,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,GAAG,EAAE,qBAAqB,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/I,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,iBAAiB,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;QACpD,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,qBAAqB,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7J,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,EAAE,aAAa,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,aAAa,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;QAClJ,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/rule-function-values.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=rule-function-values.test.d.ts.map

package/dist/test/unit/rule-function-values.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-function-values.test.d.ts","sourceRoot":"","sources":["../../../test/unit/rule-function-values.test.ts"],"names":[],"mappings":""}

package/dist/test/unit/rule-function-values.test.js

@@ -0,0 +1,89 @@
+/**
+ * 规则引用作为函数值（#256）：`twice(inc, n)` 把模块规则 inc 当作函数值传给高阶规则。
+ *
+ * 语言语义早已允许（ADR 0024：具名规则可作 List.map 的 fn 参数；ADR 0051 §4 名称位置表把
+ * 「函数值引用」列为 FUNC_REF），Java 引擎也已支持：
+ *   - typecheck：TypeChecker.defineFunctionSignature 把全部函数签名以 FuncType 登记进模块作用域，
+ *     值位置的 Name 照常查到；
+ *   - 运行期：truffle Loader 把每个函数以 LambdaValue 放进 env，Name 回退到 env 即得到可调用值。
+ * TS 只在 List.* 等 stdlib 回调里特判了函数名，typecheck 报 E101、解释器报 Undefined variable。
+ */
+import { describe, it } from 'node:test';
+import assert from 'node:assert/strict';
+import { compileAndTypecheck, evaluate, EN_US } from '../../src/browser.js';
+import { typecheckBrowser } from '../../src/typecheck/browser.js';
+const INC = 'Rule inc given x as Int, produce Int:\n  Return x plus 1.\n\n';
+const TWICE = 'Rule twice given f as (Int) -> Int, n as Int, produce Int:\n  Return f(f(n)).\n\n';
+function compileClean(body) {
+    const r = compileAndTypecheck(`Module demo.\n\n${body}`, { lexicon: EN_US });
+    const errors = [...(r.parseErrors ?? []), ...(r.resolutionDiagnostics ?? []), ...(r.typeErrors ?? [])]
+        .filter((d) => d.severity === 'error');
+    assert.deepEqual(errors, []);
+    assert.equal(r.success, true);
+    return r.core;
+}
+function run(core, func, input) {
+    const r = evaluate(core, func, input);
+    assert.equal(r.success, true, r.error);
+    return r.value;
+}
+describe('规则引用作为函数值', () => {
+    it('★twice(inc, n)：无 E101，求值得 n + 2', () => {
+        const core = compileClean(INC + TWICE + 'Rule main given n as Int, produce Int:\n  Return twice(inc, n).\n');
+        assert.equal(run(core, 'main', { n: 1 }), 3);
+    });
+    it('规则声明在使用之后（前向引用）同样可用', () => {
+        const core = compileClean(TWICE + 'Rule main given n as Int, produce Int:\n  Return twice(inc, n).\n\n' + INC);
+        assert.equal(run(core, 'main', { n: 5 }), 7);
+    });
+    it('Let g be inc：绑定后按局部名调用', () => {
+        const core = compileClean(INC + 'Rule main given n as Int, produce Int:\n  Let g be inc.\n  Return g(n).\n');
+        assert.equal(run(core, 'main', { n: 41 }), 42);
+    });
+    it('函数值的静态类型为规则签名的 FuncType：经局部名调用的结果类型为返回类型（返回类型不符照常报错）', () => {
+        const r = compileAndTypecheck(`Module demo.\n\n${INC}Rule main given n as Int, produce Text:\n  Let g be inc.\n  Return g(n).\n`, { lexicon: EN_US });
+        const codes = (r.typeErrors ?? []).filter((d) => d.severity === 'error').map((d) => d.code);
+        assert.ok(codes.length > 0, '返回 Int 却声明 Text，应报类型错误');
+        assert.ok(!codes.includes('E101'), `不应报 E101：${codes}`);
+    });
+    it('局部名遮蔽同名规则：参数 inc 优先于模块规则 inc', () => {
+        const core = compileClean(INC + TWICE +
+            'Rule dec given x as Int, produce Int:\n  Return x minus 1.\n\n' +
+            'Rule viaParam given inc as (Int) -> Int, n as Int, produce Int:\n  Return twice(inc, n).\n\n' +
+            'Rule main given n as Int, produce Int:\n  Return viaParam(dec, n).\n');
+        assert.equal(run(core, 'main', { n: 10 }), 8);
+    });
+    it('局部函数值遮蔽同名规则时，调用个数按局部值而非规则签名校验', () => {
+        compileClean('Rule pair given a as Int, b as Int, produce Int:\n  Return a plus b.\n\n' +
+            'Rule main given pair as (Int) -> Int, n as Int, produce Int:\n  Return pair(n).\n');
+    });
+    it('★经函数值局部名调用时校验参数个数：`Let g be inc. Return g(n, n).` 报 E032（Java 报 TYPE_MISMATCH 拒绝）', () => {
+        const r = compileAndTypecheck(`Module demo.\n\n${INC}Rule main given n as Int, produce Int:\n  Let g be inc.\n  Return g(n, n).\n`, { lexicon: EN_US });
+        const arity = (r.typeErrors ?? []).filter((d) => d.code === 'E032');
+        assert.equal(arity.length, 1, JSON.stringify(r.typeErrors));
+        assert.deepEqual(arity[0].data, { func: 'g', expected: 1, actual: 2 });
+    });
+    it('函数类型参数调用个数不符同样报 E032', () => {
+        const r = compileAndTypecheck(`Module demo.\n\nRule apply given f as (Int) -> Int, n as Int, produce Int:\n  Return f().\n`, { lexicon: EN_US });
+        assert.deepEqual((r.typeErrors ?? []).filter((d) => d.code === 'E032').map((d) => d.data), [{ func: 'f', expected: 1, actual: 0 }]);
+    });
+    it('未声明的名字仍被拒绝（名称解析报 E802，不产出 IR）', () => {
+        const r = compileAndTypecheck(`Module demo.\n\n${TWICE}Rule main given n as Int, produce Int:\n  Return twice(nope, n).\n`, { lexicon: EN_US });
+        assert.equal(r.success, false);
+        assert.deepEqual((r.resolutionDiagnostics ?? []).map((d) => d.code), ['E802']);
+    });
+    it('typecheck 层：Core 中未定义的值名仍报 E101（函数签名回退不吞掉未定义名）', () => {
+        const core = compileClean(INC + 'Rule main given n as Int, produce Int:\n  Return inc(n).\n');
+        const main = core.decls.find((d) => d.kind === 'Func' && d.name === 'main');
+        const ret = main.body.statements[0];
+        const call = ret.expr;
+        const broken = { ...core, decls: core.decls.map((d) => (d === main ? { ...main, body: { ...main.body, statements: [{ ...ret, expr: { ...call, args: [{ ...call.args[0], name: 'nope' }] } }] } } : d)) };
+        const diags = typecheckBrowser(broken);
+        assert.ok(diags.some((d) => d.code === 'E101' && d.message.includes('nope')), JSON.stringify(diags));
+    });
+    it('List.map(xs, inc) 的既有行为不变', () => {
+        const core = compileClean(INC + 'Rule main given xs as List of Int, produce List of Int:\n  Return List.map(xs, inc).\n');
+        assert.deepEqual(run(core, 'main', { xs: [1, 2] }), [2, 3]);
+    });
+});
+//# sourceMappingURL=rule-function-values.test.js.map

package/dist/test/unit/rule-function-values.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-function-values.test.js","sourceRoot":"","sources":["../../../test/unit/rule-function-values.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,mBAAmB,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC5E,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAGlE,MAAM,GAAG,GAAG,+DAA+D,CAAC;AAC5E,MAAM,KAAK,GAAG,mFAAmF,CAAC;AAElG,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,CAAC,GAAG,mBAAmB,CAAC,mBAAmB,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7E,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,qBAAqB,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;SACnG,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAE,CAA2B,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACpE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC7B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC9B,OAAO,CAAC,CAAC,IAAK,CAAC;AACjB,CAAC;AAED,SAAS,GAAG,CAAC,IAAiB,EAAE,IAAY,EAAE,KAA8B;IAC1E,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACtC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;IACvC,OAAO,CAAC,CAAC,KAAK,CAAC;AACjB,CAAC;AAED,QAAQ,CAAC,WAAW,EAAE,GAAG,EAAE;IACzB,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,GAAG,KAAK,GAAG,mEAAmE,CAAC,CAAC;QAC7G,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,GAAG,qEAAqE,GAAG,GAAG,CAAC,CAAC;QAC/G,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,GAAG,2EAA2E,CAAC,CAAC;QAC7G,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,mBAAmB,CAC3B,mBAAmB,GAAG,4EAA4E,EAClG,EAAE,OAAO,EAAE,KAAK,EAAE,CACnB,CAAC;QACF,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC5F,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,wBAAwB,CAAC,CAAC;QACtD,MAAM,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAe,CAAC,EAAE,YAAY,KAAK,EAAE,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,IAAI,GAAG,YAAY,CACvB,GAAG,GAAG,KAAK;YACX,gEAAgE;YAChE,8FAA8F;YAC9F,sEAAsE,CACvE,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,YAAY,CACV,0EAA0E;YAC1E,mFAAmF,CACpF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,MAAM,CAAC,GAAG,mBAAmB,CAAC,mBAAmB,GAAG,8EAA8E,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACxJ,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QACpE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QAC5D,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,GAAG,mBAAmB,CAAC,6FAA6F,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACjJ,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACtI,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,mBAAmB,CAAC,mBAAmB,KAAK,oEAAoE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QAChJ,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC/B,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,qBAAqB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,GAAG,4DAA4D,CAAC,CAAC;QAC9F,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAkB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAE,CAAC;QAC7F,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAgB,CAAC;QACnD,MAAM,IAAI,GAAG,GAAG,CAAC,IAAiB,CAAC;QACnC,MAAM,MAAM,GAAG,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1M,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAqB,CAAC,CAAC;QACtD,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;IACvG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,GAAG,wFAAwF,CAAC,CAAC;QAC1H,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/typecheck/assign-mutability.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=assign-mutability.test.d.ts.map

package/dist/test/unit/typecheck/assign-mutability.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"assign-mutability.test.d.ts","sourceRoot":"","sources":["../../../../test/unit/typecheck/assign-mutability.test.ts"],"names":[],"mappings":""}

package/dist/test/unit/typecheck/assign-mutability.test.js

@@ -0,0 +1,144 @@
+/**
+ * Set 的可赋值目标（ADR 0052，aster-cloud/aster-lang-truffle#151）。
+ *
+ * 只有 Let 绑定可被 `Set` 赋值，且可跨 case 体 / If 分支写回外层；形参、lambda 形参、模式绑定不可变，
+ * 与 Java BaseTypeChecker 同报 E001（TYPE_MISMATCH）。
+ */
+import { describe, it } from 'node:test';
+import assert from 'node:assert/strict';
+import { compileAndTypecheck } from '../../../src/browser.js';
+function errors(lines) {
+    const result = compileAndTypecheck(['Module m.', '', ...lines, ''].join('\n'));
+    assert.deepEqual(result.parseErrors ?? [], [], JSON.stringify(result.parseErrors));
+    return result.typeErrors
+        .filter((d) => d.severity === 'error')
+        .map((d) => ({ code: d.code, line: d.span?.start.line ?? -1, message: d.message }));
+}
+describe('Set 赋值目标的可变性', () => {
+    it('case 体内 Set 外层 Let：无错误', () => {
+        assert.deepEqual(errors([
+            'Rule r given n as Int, produce Int:',
+            '  Let total be 0.',
+            '  Match n:',
+            '    When 1,',
+            '      Set total to 10.',
+            '    When other,',
+            '      Set total to total plus other.',
+            '  Return total.',
+        ]), []);
+    });
+    it('If / Otherwise 分支内 Set 外层 Let：无错误', () => {
+        assert.deepEqual(errors([
+            'Rule r given n as Int, produce Int:',
+            '  Let sign be 0.',
+            '  If n greater than 0',
+            '    Set sign to 1.',
+            '  Otherwise',
+            '    Set sign to 2.',
+            '  Return sign.',
+        ]), []);
+    });
+    it('Set 形参：报 E001 且指明是形参', () => {
+        const errs = errors([
+            'Rule r given n as Int, produce Int:',
+            '  Set n to 1.',
+            '  Return n.',
+        ]);
+        assert.deepEqual(errs.map((e) => [e.code, e.line]), [["E001" /* ErrorCode.TYPE_MISMATCH */, 4]]);
+        assert.match(errs[0].message, /parameter 'n'/);
+    });
+    it('case 体内 Set 形参：同样拒绝', () => {
+        const errs = errors([
+            'Rule r given n as Int, produce Int:',
+            '  Match n:',
+            '    When 1,',
+            '      Set n to 2.',
+            '  Return n.',
+        ]);
+        assert.deepEqual(errs.map((e) => [e.code, e.line]), [["E001" /* ErrorCode.TYPE_MISMATCH */, 6]]);
+    });
+    it('Set 模式绑定：报 E001 且指明是模式绑定', () => {
+        const errs = errors([
+            'Rule r given n as Int, produce Int:',
+            '  Let total be 0.',
+            '  Match n:',
+            '    When other,',
+            '      Set other to 1.',
+            '      Set total to other.',
+            '  Return total.',
+        ]);
+        assert.deepEqual(errs.map((e) => [e.code, e.line]), [["E001" /* ErrorCode.TYPE_MISMATCH */, 7]]);
+        assert.match(errs[0].message, /pattern binding 'other'/);
+    });
+    it('lambda 体内 Set lambda 形参：同样拒绝', () => {
+        const errs = errors([
+            'Rule r given n as Int, produce Int:',
+            '  Let f be function with k as Int, produce Int:',
+            '    Set k to 1.',
+            '    Return k.',
+            '  Return f(n).',
+        ]);
+        assert.deepEqual(errs.map((e) => [e.code, e.line]), [["E001" /* ErrorCode.TYPE_MISMATCH */, 5]]);
+        assert.match(errs[0].message, /parameter 'k'/);
+    });
+    it('lambda 体内 Set 捕获的外层 Let：报 E001（按值捕获，语义未定义，一律拒绝）', () => {
+        const errs = errors([
+            'Rule r given n as Int, produce Int:',
+            '  Let acc be 0.',
+            '  Let f be function with k as Int, produce Int:',
+            '    Set acc to acc plus k.',
+            '    Return acc.',
+            '  Return f(n).',
+        ]);
+        assert.deepEqual(errs.map((e) => [e.code, e.line]), [["E001" /* ErrorCode.TYPE_MISMATCH */, 6]]);
+        assert.match(errs[0].message, /captured variable 'acc'/);
+    });
+    it('lambda 体内 Set 自己的 Let：无错误', () => {
+        assert.deepEqual(errors([
+            'Rule r given n as Int, produce Int:',
+            '  Let f be function with k as Int, produce Int:',
+            '    Let local be k.',
+            '    Set local to local plus 1.',
+            '    Return local.',
+            '  Return f(n).',
+        ]), []);
+    });
+    it('Set 函数名：报 E101（与 Java 一致）', () => {
+        const errs = errors([
+            'Rule g given n as Int, produce Int:',
+            '  Return n.',
+            '',
+            'Rule r given n as Int, produce Int:',
+            '  Set g to 1.',
+            '  Return n.',
+        ]);
+        assert.deepEqual(errs.map((e) => [e.code, e.line]), [["E101" /* ErrorCode.UNDEFINED_VARIABLE */, 7]]);
+    });
+    it('小写 set 同样是 Set 语句', () => {
+        assert.deepEqual(errors([
+            'Rule r given n as Int, produce Int:',
+            '  Let total be 0.',
+            '  set total to n.',
+            '  Return total.',
+        ]), []);
+    });
+    // 有意的破坏性变更（ADR 0052 §6）：Set 只能赋值给已有的 Let 绑定，首次声明用 Set 报 E101。
+    it('Set 未定义的名字：报 E101', () => {
+        const errs = errors([
+            'Rule r given n as Int, produce Int:',
+            '  Set missing to 1.',
+            '  Return n.',
+        ]);
+        assert.deepEqual(errs.map((e) => [e.code, e.line]), [["E101" /* ErrorCode.UNDEFINED_VARIABLE */, 4]]);
+    });
+    it('Set 外层 Let 类型不符：报 E002', () => {
+        const errs = errors([
+            'Rule r given n as Int, produce Int:',
+            '  Let total be 0.',
+            '  Set total to "x".',
+            '  Return total.',
+        ]);
+        assert.ok(errs.some((e) => e.code === "E002" /* ErrorCode.TYPE_MISMATCH_ASSIGN */), JSON.stringify(errs));
+    });
+});
+//# sourceMappingURL=assign-mutability.test.js.map

package/dist/test/unit/typecheck/assign-mutability.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assign-mutability.test.js","sourceRoot":"","sources":["../../../../test/unit/typecheck/assign-mutability.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAG9D,SAAS,MAAM,CAAC,KAAe;IAC7B,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,GAAG,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/E,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;IACnF,OAAO,MAAM,CAAC,UAAU;SACrB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;SACrC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AACxF,CAAC;AAED,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;YACtB,qCAAqC;YACrC,mBAAmB;YACnB,YAAY;YACZ,aAAa;YACb,wBAAwB;YACxB,iBAAiB;YACjB,sCAAsC;YACtC,iBAAiB;SAClB,CAAC,EAAE,EAAE,CAAC,CAAC;IACV,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;YACtB,qCAAqC;YACrC,kBAAkB;YAClB,uBAAuB;YACvB,oBAAoB;YACpB,aAAa;YACb,oBAAoB;YACpB,gBAAgB;SACjB,CAAC,EAAE,EAAE,CAAC,CAAC;IACV,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,IAAI,GAAG,MAAM,CAAC;YAClB,qCAAqC;YACrC,eAAe;YACf,aAAa;SACd,CAAC,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,uCAA0B,CAAC,CAAC,CAAC,CAAC,CAAC;QACpF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,IAAI,GAAG,MAAM,CAAC;YAClB,qCAAqC;YACrC,YAAY;YACZ,aAAa;YACb,mBAAmB;YACnB,aAAa;SACd,CAAC,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,uCAA0B,CAAC,CAAC,CAAC,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,IAAI,GAAG,MAAM,CAAC;YAClB,qCAAqC;YACrC,mBAAmB;YACnB,YAAY;YACZ,iBAAiB;YACjB,uBAAuB;YACvB,2BAA2B;YAC3B,iBAAiB;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,uCAA0B,CAAC,CAAC,CAAC,CAAC,CAAC;QACpF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,IAAI,GAAG,MAAM,CAAC;YAClB,qCAAqC;YACrC,iDAAiD;YACjD,iBAAiB;YACjB,eAAe;YACf,gBAAgB;SACjB,CAAC,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,uCAA0B,CAAC,CAAC,CAAC,CAAC,CAAC;QACpF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,IAAI,GAAG,MAAM,CAAC;YAClB,qCAAqC;YACrC,iBAAiB;YACjB,iDAAiD;YACjD,4BAA4B;YAC5B,iBAAiB;YACjB,gBAAgB;SACjB,CAAC,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,uCAA0B,CAAC,CAAC,CAAC,CAAC,CAAC;QACpF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;YACtB,qCAAqC;YACrC,iDAAiD;YACjD,qBAAqB;YACrB,gCAAgC;YAChC,mBAAmB;YACnB,gBAAgB;SACjB,CAAC,EAAE,EAAE,CAAC,CAAC;IACV,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,IAAI,GAAG,MAAM,CAAC;YAClB,qCAAqC;YACrC,aAAa;YACb,EAAE;YACF,qCAAqC;YACrC,eAAe;YACf,aAAa;SACd,CAAC,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,4CAA+B,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;YACtB,qCAAqC;YACrC,mBAAmB;YACnB,mBAAmB;YACnB,iBAAiB;SAClB,CAAC,EAAE,EAAE,CAAC,CAAC;IACV,CAAC,CAAC,CAAC;IAEH,8DAA8D;IAC9D,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,IAAI,GAAG,MAAM,CAAC;YAClB,qCAAqC;YACrC,qBAAqB;YACrB,aAAa;SACd,CAAC,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,4CAA+B,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,IAAI,GAAG,MAAM,CAAC;YAClB,qCAAqC;YACrC,mBAAmB;YACnB,qBAAqB;YACrB,iBAAiB;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,gDAAmC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aster-cloud/aster-lang-ts",
-  "version": "1.2.2",
+  "version": "1.2.3",
   "description": "Aster CNL (Controlled Natural Language) TypeScript Compiler - Lexer, Parser, AST, Core IR, Type Checker",
   "type": "module",
   "main": "./dist/src/index.js",
@@ -78,6 +78,10 @@
       "types": "./dist/src/lsp/diagnostics.d.ts",
       "import": "./dist/src/lsp/diagnostics.js"
     },
+    "./lsp/completion": {
+      "types": "./dist/src/lsp/completion.d.ts",
+      "import": "./dist/src/lsp/completion.js"
+    },
     "./browser": {
       "types": "./dist/src/browser.d.ts",
       "import": "./dist/src/browser.js"