@aster-cloud/aster-lang-ts 1.4.0 → 1.5.0

package/dist/test/unit/parse-type-recursion.test.js

@@ -1,6 +1,7 @@
 import { describe, it } from 'node:test';
 import assert from 'node:assert/strict';
 import { compile } from '../../src/browser.js';
+import { MAX_TYPE_RECURSION_DEPTH } from '../../src/parser/context.js';
 /**
  * 类型递归的深度护栏（issue aster-lang-ts#145）。
  *
@@ -50,9 +51,73 @@ describe('正常类型不受影响（反向护栏）', () => {
     it('浅层嵌套类型正常解析', () => {
         assert.equal(parseErrorOf(nestedMaybe(10)), null, '10 层远低于上限');
     });
-    it('★接近上限但未超（290 层）仍应通过', () => {
-        // 锁住「类型上限是 300 而不是随表达式上限降到 64」——Java 侧类型嵌套无守卫，TS 不得更严。
-        assert.equal(parseErrorOf(nestedMaybe(290)), null, '290 层未超 300 类型上限，应通过');
+    it('★深度恰为上限仍应通过', () => {
+        // maybe 链：n 个 maybe + 叶子 Int = n + 1 次 parseType
+        assert.equal(parseErrorOf(nestedMaybe(MAX_TYPE_RECURSION_DEPTH - 1)), null);
+        assert.match(parseErrorOf(nestedMaybe(MAX_TYPE_RECURSION_DEPTH)) ?? '', /nesting too deep/);
+    });
+});
+/**
+ * 计数单位与 aster-lang-core 的词法期类型守卫相同（aster-lang-core#250）：每进入一次 parseType 计 1，
+ * 叶子类型名也算一层；Map 的键和值、result of 的每个分量各自都是一次进入。两端在上限放行、上限 + 1 报 E054。
+ */
+describe('类型嵌套计数单位（与 core 对齐）', () => {
+    const L = MAX_TYPE_RECURSION_DEPTH;
+    const src = (type) => `Module p.\nRule r given x as ${type}, produce Int:\n  Return 1.\n`;
+    const errCode = (type) => {
+        const errs = compile(src(type)).parseErrors ?? [];
+        return errs.length > 0 ? (errs[0].code ?? 'no-code') : null;
+    };
+    /** 深度为 depth 的 Map 值链（叶子 Int 占一层）。 */
+    const mapChain = (depth) => 'Map Text to '.repeat(depth - 1) + 'Int';
+    it('上限与 core 同值 64', () => {
+        assert.equal(L, 64);
+    });
+    const shapes = {
+        'list of 链': d => 'list of '.repeat(d - 1) + 'Int',
+        'option of 链': d => 'option of '.repeat(d - 1) + 'Int',
+        'Map 值链': mapChain,
+        'Map 键链': d => 'Map '.repeat(d - 1) + 'Int' + ' to Int'.repeat(d - 1),
+        'result of 失败分量链': d => 'result of Int and '.repeat(d - 1) + 'Text',
+        'result of 成功分量链': d => 'result of '.repeat(d - 1) + 'Int' + ' and Text'.repeat(d - 1),
+        '函数类型返回值链': d => '(Int) -> '.repeat(d - 1) + 'Int',
+    };
+    for (const [name, shape] of Object.entries(shapes)) {
+        it(`${name}：上限放行、上限 + 1 报 E054`, () => {
+            assert.equal(errCode(shape(L)), null);
+            assert.equal(errCode(shape(L + 1)), 'E054');
+        });
+    }
+    it('Map 的键和值都计入深度', () => {
+        assert.equal(errCode(`Map ${mapChain(L - 1)} to Int`), null);
+        assert.equal(errCode(`Map Int to ${mapChain(L - 1)}`), null);
+        assert.equal(errCode(`Map ${mapChain(L)} to Int`), 'E054');
+        assert.equal(errCode(`Map Int to ${mapChain(L)}`), 'E054');
+    });
+    it('result of 的每个分量都计入深度', () => {
+        assert.equal(errCode(`result of ${mapChain(L - 1)} and Text`), null);
+        assert.equal(errCode(`result of Int and ${mapChain(L - 1)}`), null);
+        assert.equal(errCode(`result of ${mapChain(L)} and Text`), 'E054');
+        assert.equal(errCode(`result of Int and ${mapChain(L)}`), 'E054');
+    });
+    it('并列的类型不累加：键值、分量、多个参数各自从同一层开始', () => {
+        assert.equal(errCode(`Map ${mapChain(L - 1)} to ${mapChain(L - 1)}`), null);
+        assert.equal(errCode(`result of ${mapChain(L - 1)} and ${mapChain(L - 1)}`), null);
+        const full = mapChain(L);
+        const multi = `Module p.\nRule r given x as ${full}, y as ${full}, produce ${full}:\n  Return x.\n`;
+        assert.deepEqual(compile(multi).parseErrors ?? [], []);
+    });
+    it('lambda 里的类型只数类型深度，不叠加外层表达式深度（与 core 一致）', () => {
+        const lambda = (type) => `Module p.\nRule r given x as Int, produce Int:\n  Let f be function with y as ${type}, produce Int:\n    Return 1.\n  Return x.\n`;
+        const codes = (s) => (compile(s).parseErrors ?? []).map(e => e.code ?? 'no-code');
+        assert.deepEqual(codes(lambda(mapChain(L))), []);
+        assert.deepEqual(codes(lambda(mapChain(L + 1))), ['E054']);
+    });
+    it('一处 E054 之后，同一模块里后续上限内的类型照常通过（深度不泄漏）', () => {
+        const two = `Module p.\nRule a given x as ${mapChain(L + 1)}, produce Int:\n  Return 1.\n\n`
+            + `Rule b given x as ${mapChain(L)}, produce Int:\n  Return 1.\n`;
+        const errs = compile(two).parseErrors ?? [];
+        assert.deepEqual(errs.map(e => e.code), ['E054']);
     });
 });
 //# sourceMappingURL=parse-type-recursion.test.js.map

package/dist/test/unit/parse-type-recursion.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"parse-type-recursion.test.js","sourceRoot":"","sources":["../../../test/unit/parse-type-recursion.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAE/C;;;;;;;;;;;;;GAaG;AACH,SAAS,YAAY,CAAC,GAAW;IAC/B,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IACvB,MAAM,IAAI,GAAI,CAA6C,CAAC,WAAW,IAAI,EAAE,CAAC;IAC9E,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AACnD,CAAC;AAED,SAAS,WAAW,CAAC,KAAa;IAChC,OAAO,gCAAgC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,kCAAkC,CAAC;AAClG,CAAC;AAED,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;IACxB,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,GAAG,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QACzB,MAAM,CAAC,YAAY,CAAC,GAAI,EAAE,kCAAkC,EAC1D,wBAAwB,GAAG,EAAE,CAAC,CAAC;QACjC,MAAM,CAAC,KAAK,CAAC,GAAI,EAAE,kBAAkB,EAAE,aAAa,GAAG,EAAE,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,GAAG,GAAG,YAAY,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;QAChC,MAAM,CAAC,KAAK,CAAC,GAAI,EAAE,kBAAkB,EAAE,MAAM,GAAG,EAAE,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,0BAA0B;QAC1B,MAAM,GAAG,GAAG,YAAY,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;QACf,MAAM,CAAC,YAAY,CAAC,GAAI,EAAE,kCAAkC,EAAE,MAAM,GAAG,EAAE,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,2CAA2C;IAC3C,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE;QAClB,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,+DAA+D,CAAC,EAAE,IAAI,CAAC,CAAC;IACpG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE;QACpB,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,uDAAuD;QACvD,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,sBAAsB,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"parse-type-recursion.test.js","sourceRoot":"","sources":["../../../test/unit/parse-type-recursion.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAC;AAEvE;;;;;;;;;;;;;GAaG;AACH,SAAS,YAAY,CAAC,GAAW;IAC/B,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IACvB,MAAM,IAAI,GAAI,CAA6C,CAAC,WAAW,IAAI,EAAE,CAAC;IAC9E,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AACnD,CAAC;AAED,SAAS,WAAW,CAAC,KAAa;IAChC,OAAO,gCAAgC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,kCAAkC,CAAC;AAClG,CAAC;AAED,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;IACxB,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,GAAG,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QACzB,MAAM,CAAC,YAAY,CAAC,GAAI,EAAE,kCAAkC,EAC1D,wBAAwB,GAAG,EAAE,CAAC,CAAC;QACjC,MAAM,CAAC,KAAK,CAAC,GAAI,EAAE,kBAAkB,EAAE,aAAa,GAAG,EAAE,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,GAAG,GAAG,YAAY,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;QAChC,MAAM,CAAC,KAAK,CAAC,GAAI,EAAE,kBAAkB,EAAE,MAAM,GAAG,EAAE,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,0BAA0B;QAC1B,MAAM,GAAG,GAAG,YAAY,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;QACf,MAAM,CAAC,YAAY,CAAC,GAAI,EAAE,kCAAkC,EAAE,MAAM,GAAG,EAAE,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,2CAA2C;IAC3C,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE;QAClB,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,+DAA+D,CAAC,EAAE,IAAI,CAAC,CAAC;IACpG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE;QACpB,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;QACrB,iDAAiD;QACjD,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,WAAW,CAAC,wBAAwB,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC5E,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,WAAW,CAAC,wBAAwB,CAAC,CAAC,IAAI,EAAE,EAAE,kBAAkB,CAAC,CAAC;IAC9F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH;;;GAGG;AACH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,MAAM,CAAC,GAAG,wBAAwB,CAAC;IACnC,MAAM,GAAG,GAAG,CAAC,IAAY,EAAU,EAAE,CACnC,gCAAgC,IAAI,+BAA+B,CAAC;IACtE,MAAM,OAAO,GAAG,CAAC,IAAY,EAAiB,EAAE;QAC9C,MAAM,IAAI,GAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAA2C,CAAC,WAAW,IAAI,EAAE,CAAC;QAC7F,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/D,CAAC,CAAC;IACF,sCAAsC;IACtC,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC;IAErF,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACtB,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAA8C;QACxD,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK;QAClD,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK;QACtD,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC;QACrE,iBAAiB,EAAE,CAAC,CAAC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM;QACnE,iBAAiB,EAAE,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC;QACtF,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK;KACnD,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACnD,EAAE,CAAC,GAAG,IAAI,qBAAqB,EAAE,GAAG,EAAE;YACpC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YACtC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;IACL,CAAC;IAED,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,CAAC;QAC7D,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,cAAc,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QAC7D,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC;QAC3D,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,cAAc,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC,CAAC;QACrE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,qBAAqB,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACpE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,CAAC;QACnE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,qBAAqB,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QAC5E,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACnF,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,KAAK,GAAG,gCAAgC,IAAI,UAAU,IAAI,aAAa,IAAI,kBAAkB,CAAC;QACpG,MAAM,CAAC,SAAS,CAAE,OAAO,CAAC,KAAK,CAAiC,CAAC,WAAW,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,MAAM,GAAG,CAAC,IAAY,EAAU,EAAE,CACtC,iFAAiF,IAAI,8CAA8C,CAAC;QACtI,MAAM,KAAK,GAAG,CAAC,CAAS,EAAY,EAAE,CACpC,CAAE,OAAO,CAAC,CAAC,CAA2C,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,SAAS,CAAC,CAAC;QAC1G,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjD,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,gCAAgC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,iCAAiC;cACxF,qBAAqB,QAAQ,CAAC,CAAC,CAAC,+BAA+B,CAAC;QACpE,MAAM,IAAI,GAAI,OAAO,CAAC,GAAG,CAA2C,CAAC,WAAW,IAAI,EAAE,CAAC;QACvF,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/parser/effect-unknown-name.test.d.ts

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

package/dist/test/unit/parser/effect-unknown-name.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-unknown-name.test.d.ts","sourceRoot":"","sources":["../../../../test/unit/parser/effect-unknown-name.test.ts"],"names":[],"mappings":""}

package/dist/test/unit/parser/effect-unknown-name.test.js

@@ -0,0 +1,97 @@
+/**
+ * 未知效果名（aster-lang-ts#304）：与 aster-lang-core 一致——
+ * 解析接受 `It performs <任意名>`，lowering 不报 E601，名字原样保留在 IR 的 effects 中，
+ * 检查阶段按 pure 处理（core EffectChecker.Effect.fromString 把未知名映射为 PURE）。
+ */
+import { describe, it } from 'node:test';
+import assert from 'node:assert/strict';
+import { canonicalize } from '../../../src/frontend/canonicalizer.js';
+import { lex } from '../../../src/frontend/lexer.js';
+import { parse, parseWithLexicon } from '../../../src/parser.js';
+import { ZH_CN } from '../../../src/config/lexicons/zh-CN.js';
+import { DE_DE } from '../../../src/config/lexicons/de-DE.js';
+import { lowerModule } from '../../../src/lower_to_core.js';
+import { typecheckModule } from '../../../src/typecheck.js';
+import { compile } from '../../../src/browser.js';
+function parseSrc(src) {
+    const parsed = parse(lex(canonicalize(src)));
+    return { ast: parsed.ast, diagnostics: parsed.diagnostics };
+}
+function lowerSrc(src) {
+    const { ast, diagnostics } = parseSrc(src);
+    assert.deepEqual(diagnostics, [], '源码必须无诊断解析');
+    return lowerModule(ast);
+}
+function firstFunc(core) {
+    return core.decls.find((d) => d.kind === 'Func');
+}
+/** 只比较诊断的码、级别与参数，与 span 无关（两种写法的效果子句长度不同）。 */
+function typecheckShape(src) {
+    return typecheckModule(lowerSrc(src))
+        .map((d) => ({ code: String(d.code), severity: String(d.severity), data: d.data ?? null }))
+        .sort((a, b) => (a.code + JSON.stringify(a.data)).localeCompare(b.code + JSON.stringify(b.data)));
+}
+const pureBody = (effects) => `Module m.\n\nRule f given x as Int, produce Int. It performs${effects}:\n  Return x.\n`;
+const ioBody = (effects) => `Module m.\n\nRule g given u as Text, produce Text. It performs${effects}:\n  Return Http.get(u).\n`;
+describe('未知效果名（#304）', () => {
+    it('`It performs teleport` 解析成功，AST 保留效果名且不当作能力', () => {
+        const { ast, diagnostics } = parseSrc(pureBody(' teleport'));
+        assert.deepEqual(diagnostics, []);
+        const f = ast.decls.find((d) => d.kind === 'Func');
+        assert.deepEqual(f.effects, ['teleport']);
+        assert.deepEqual(f.effectCaps, []);
+        assert.equal(f.effectCapsExplicit, false);
+    });
+    it('lowering 不报 E601，IR 的 effects / declaredEffects 原样保留效果名', () => {
+        const fn = firstFunc(lowerSrc(pureBody(' teleport')));
+        assert.deepEqual(fn.effects, ['teleport']);
+        assert.deepEqual(fn.declaredEffects, ['teleport']);
+        assert.deepEqual(fn.effectCaps, []);
+        assert.equal(fn.effectCapsExplicit, false);
+    });
+    it('compile() 成功且无 lowering 诊断', () => {
+        const result = compile(pureBody(' teleport'));
+        assert.equal(result.success, true, JSON.stringify(result));
+        assert.equal(result.loweringDiagnostics, undefined);
+        assert.equal(result.parseErrors, undefined);
+    });
+    it('带能力列表时效果名与能力分别保留', () => {
+        const fn = firstFunc(lowerSrc(ioBody(' teleport [Http]')));
+        assert.deepEqual(fn.effects, ['teleport']);
+        assert.deepEqual(fn.effectCaps, ['Http']);
+        assert.equal(fn.effectCapsExplicit, true);
+    });
+    it('类型检查结果与 `It performs`（无效果）相同：纯函数体', () => {
+        assert.deepEqual(typecheckShape(pureBody(' teleport')), typecheckShape(pureBody('')));
+    });
+    it('类型检查按 pure 处理：调用 IO 时与无效果声明一样报缺少 @io', () => {
+        const unknown = typecheckShape(ioBody(' teleport'));
+        assert.deepEqual(unknown, typecheckShape(ioBody('')));
+        assert.ok(unknown.some((d) => d.severity === 'error'), JSON.stringify(unknown));
+    });
+    it('已知效果不受影响：`It performs io` 仍是 IO', () => {
+        const fn = firstFunc(lowerSrc(ioBody(' io')));
+        assert.deepEqual(fn.effects, ['IO']);
+    });
+    // core 词法把这些词识别为关键词 token，`IT PERFORMS IDENT` 拒绝；ts 必须同样拒绝（#304 审查 F1）
+    for (const word of ['return', 'to', 'async', 'with', 'and', 'if', 'performs']) {
+        it(`core 保留词不能当效果名：It performs ${word}`, () => {
+            const { diagnostics } = parseSrc(pureBody(` ${word}`));
+            assert.ok(diagnostics.length > 0, `${word} 应解析失败`);
+        });
+    }
+    it('core 不保留的软关键词照常接受（maybe 在 core 是 IDENT）', () => {
+        const { ast, diagnostics } = parseSrc(pureBody(' maybe'));
+        assert.deepEqual(diagnostics, []);
+        assert.deepEqual(ast.decls.find((d) => d.kind === 'Func').effects, ['maybe']);
+    });
+    const parseIn = (src, lexicon) => parseWithLexicon(lex(canonicalize(src, lexicon), lexicon), lexicon).diagnostics;
+    it('zh-CN / de-DE 的关键词（翻译为同一保留词）同样被拒绝，普通名字照常接受', () => {
+        assert.ok(parseIn('模块 m。\n\n规则 f 给定 x 作为 整数，产出 整数。执行 异步：\n  返回 x。\n', ZH_CN).length > 0);
+        const de = (eff) => `Modul m.\n\nRegel f gegeben x als Ganzzahl, liefert Ganzzahl. fuehrt aus ${eff}:\n  gib zurueck x.\n`;
+        assert.ok(parseIn(de('asynchron'), DE_DE).length > 0);
+        assert.ok(parseIn(de('gib zurueck'), DE_DE).length > 0);
+        assert.deepEqual(parseIn(de('teleport'), DE_DE), []);
+    });
+});
+//# sourceMappingURL=effect-unknown-name.test.js.map

package/dist/test/unit/parser/effect-unknown-name.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-unknown-name.test.js","sourceRoot":"","sources":["../../../../test/unit/parser/effect-unknown-name.test.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,KAAK,EAAE,MAAM,uCAAuC,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,uCAAuC,CAAC;AAE9D,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAGlD,SAAS,QAAQ,CAAC,GAAW;IAC3B,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7C,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,GAAgB,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;AAC3E,CAAC;AAED,SAAS,QAAQ,CAAC,GAAW;IAC3B,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC3C,MAAM,CAAC,SAAS,CAAC,WAAW,EAAE,EAAE,EAAE,WAAW,CAAC,CAAC;IAC/C,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,SAAS,CAAC,IAAiB;IAClC,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAc,CAAC;AAChE,CAAC;AAED,8CAA8C;AAC9C,SAAS,cAAc,CAAC,GAAW;IACjC,OAAO,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;SAClC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC;SAC1F,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACtG,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,OAAe,EAAU,EAAE,CAC3C,+DAA+D,OAAO,kBAAkB,CAAC;AAC3F,MAAM,MAAM,GAAG,CAAC,OAAe,EAAU,EAAE,CACzC,iEAAiE,OAAO,4BAA4B,CAAC;AAEvG,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;QAC7D,MAAM,CAAC,SAAS,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAS,CAAC;QAC3D,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACnC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,kBAAkB,EAAE,KAAK,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,EAAE,GAAG,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,SAAS,CAAE,EAAoC,CAAC,eAAe,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;QACtF,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,kBAAkB,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,mBAAmB,EAAE,SAAS,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,EAAE,GAAG,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,kBAAkB,EAAE,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,EAAE,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,SAAS,CAAC,OAAO,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,EAAE,GAAG,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,uEAAuE;IACvE,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC;QAC9E,EAAE,CAAC,8BAA8B,IAAI,EAAE,EAAE,GAAG,EAAE;YAC5C,MAAM,EAAE,WAAW,EAAE,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;YACvD,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,SAAS,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QAClC,MAAM,CAAC,SAAS,CAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAU,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,CAAC,GAAW,EAAE,OAAgB,EAAsB,EAAE,CACpE,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,WAAW,CAAC;IAElF,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,kDAAkD,EAAE,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzF,MAAM,EAAE,GAAG,CAAC,GAAW,EAAU,EAAE,CACjC,4EAA4E,GAAG,uBAAuB,CAAC;QACzG,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,aAAa,CAAC,EAAE,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aster-cloud/aster-lang-ts",
-  "version": "1.4.0",
+  "version": "1.5.0",
   "description": "Aster CNL (Controlled Natural Language) TypeScript Compiler - Lexer, Parser, AST, Core IR, Type Checker",
   "type": "module",
   "main": "./dist/src/index.js",