@aster-cloud/aster-lang-ts 1.0.30 → 1.0.32

package/dist/test/unit/parser/prefix-operator-call.test.js

@@ -0,0 +1,185 @@
+/**
+ * 前缀运算符调用 `<op>(a, b)`：与 Java AsterParser.operatorCall 对齐。
+ * 降为与中缀写法相同的 Call(Name(规范符号), [a, b])，`=` 与中缀一样规范为 `==`；恰好 2 个参数。
+ */
+import { describe, test } 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 { lowerModule } from '../../../src/lower_to_core.js';
+import { typecheckModule } from '../../../src/typecheck.js';
+function toCore(source) {
+    const result = parse(lex(canonicalize(source)));
+    const errors = result.diagnostics.filter((d) => d.severity === 'error');
+    if (errors.length > 0)
+        throw new Error(errors.map((d) => `${d.code} ${d.message}`).join('\n'));
+    return lowerModule(result.ast);
+}
+function zhToCore(source) {
+    const result = parseWithLexicon(lex(canonicalize(source, ZH_CN), ZH_CN), ZH_CN);
+    const errors = result.diagnostics.filter((d) => d.severity === 'error');
+    if (errors.length > 0)
+        throw new Error(errors.map((d) => `${d.code} ${d.message}`).join('\n'));
+    return lowerModule(result.ast);
+}
+function stripOrigins(o) {
+    if (Array.isArray(o))
+        return o.map(stripOrigins);
+    if (!o || typeof o !== 'object')
+        return o;
+    const out = {};
+    for (const [k, v] of Object.entries(o)) {
+        if (k !== 'origin')
+            out[k] = stripOrigins(v);
+    }
+    return out;
+}
+function ruleReturning(expr, ret) {
+    return `Module m.\n\nRule r given x as Int, y as Int, produce ${ret}:\n  Return ${expr}.\n`;
+}
+// [前缀运算符, 等价中缀写法, 返回类型]
+const CASES = [
+    ['<', 'x < y', 'Bool'],
+    ['>', 'x > y', 'Bool'],
+    ['<=', 'x <= y', 'Bool'],
+    ['>=', 'x >= y', 'Bool'],
+    ['!=', 'x != y', 'Bool'],
+    ['==', 'x == y', 'Bool'],
+    ['=', 'x = y', 'Bool'],
+    ['+', 'x + y', 'Int'],
+    ['-', 'x - y', 'Int'],
+    ['*', 'x * y', 'Int'],
+    ['/', 'x / y', 'Int'],
+];
+describe('前缀运算符调用', () => {
+    for (const [op, infix, ret] of CASES) {
+        test(`${op}(x, y) 与 ${infix} 的 Core IR 相同`, () => {
+            const prefix = toCore(ruleReturning(`${op}(x, y)`, ret));
+            assert.deepEqual(stripOrigins(prefix), stripOrigins(toCore(ruleReturning(infix, ret))));
+            assert.deepEqual(typecheckModule(prefix).filter((d) => d.severity === 'error'), []);
+        });
+    }
+    test('= 规范为 ==', () => {
+        const func = toCore(ruleReturning('=(x, y)', 'Bool')).decls[0];
+        const ret = func.body.statements[0];
+        assert.equal(ret.expr.target.name, '==');
+    });
+    test('实参可为任意表达式，且前缀调用可作中缀操作数', () => {
+        assert.deepEqual(stripOrigins(toCore(ruleReturning('>=(x plus 1, y) and =(x, 2)', 'Bool'))), stripOrigins(toCore(ruleReturning('x plus 1 at least y and x = 2', 'Bool'))));
+    });
+    test('参数个数不是 2 时报错（与 Java 同一消息）', () => {
+        assert.throws(() => toCore(ruleReturning('+(x, y, x)', 'Int')), /前缀操作符调用需要 2 个参数，但实际为 3/);
+        assert.throws(() => toCore(ruleReturning('>=(x)', 'Bool')), /前缀操作符调用需要 2 个参数，但实际为 1/);
+    });
+});
+// 以下各组与 aster-lang-core 实测一致（Canonicalizer + AsterParser + AstBuilder）。
+function boolRule(expr) {
+    return `Module m.\n\nRule r given a as Bool, b as Bool, x as Int, y as Int, produce Bool:\n  Return ${expr}.\n`;
+}
+function zhRule(expr) {
+    return `模块 m。\n\n规则 评估 给定 甲，乙，产出：\n  返回 ${expr}。\n`;
+}
+const WORD_CALL_REJECTED = /运算符词 '([a-z ]+)' 不能用作前缀调用/;
+describe('运算符词前缀调用（en-US）：Java operatorCall 只认符号', () => {
+    // [源码表达式, 报错中的运算符词]
+    const REJECTED = [
+        ['and(a, b)', 'and'],
+        ['or(a, b)', 'or'],
+        ['and(a)', 'and'],
+        ['plus(x, y) > 0', 'plus'],
+        ['minus(x, y) > 0', 'minus'],
+        ['times(x, y) > 0', 'times'],
+        ['modulo(x, y) > 0', 'modulo'],
+    ];
+    for (const [expr, word] of REJECTED) {
+        test(`${expr} 被拒绝`, () => {
+            assert.throws(() => toCore(boolRule(expr)), new RegExp(`运算符词 '${word}' 不能用作前缀调用；只有符号运算符 < > <= >= != == = \\+ - \\* / 可以写成 op\\(a, b\\)`));
+        });
+    }
+    // 多词运算符原本就被两引擎拒绝（TS 报通用语法错误），锁定现状
+    const MULTI_WORD_REJECTED = [
+        ['divided by(x, y) > 0', WORD_CALL_REJECTED],
+        ['integer divided by(x, y) > 0', WORD_CALL_REJECTED],
+        ['less than(x, y)', WORD_CALL_REJECTED],
+        ['greater than(x, y)', WORD_CALL_REJECTED],
+        ['more than(x, y)', WORD_CALL_REJECTED],
+        ['at least(x, y)', WORD_CALL_REJECTED],
+        ['at most(x, y)', WORD_CALL_REJECTED],
+        ['equals to(x, y)', WORD_CALL_REJECTED],
+        ['not equal to(x, y)', /Expected '\.' at end of statement/],
+        ['less than or equal to(x, y)', /Expected '\.' at end of statement/],
+        ['is less than(x, y)', /Expected '\)' after expression/],
+        ['not(a, b)', /Expected '\)' after expression/],
+    ];
+    for (const [expr, message] of MULTI_WORD_REJECTED) {
+        test(`${expr} 被拒绝`, () => {
+            assert.throws(() => toCore(boolRule(expr)), message);
+        });
+    }
+    test('中缀 and/or 不受影响', () => {
+        assert.doesNotThrow(() => toCore(boolRule('a and b or a')));
+    });
+    test('not(a) 是一元 not 作用于括号表达式，与 not a 相同', () => {
+        assert.deepEqual(stripOrigins(toCore(boolRule('not(a)'))), stripOrigins(toCore(boolRule('not a'))));
+    });
+    test('en-US 下 under/over 是软关键词：under(x, y) 是普通函数调用', () => {
+        for (const word of ['under', 'over']) {
+            const func = toCore(boolRule(`${word}(x, y)`)).decls[0];
+            const call = func.body.statements[0].expr;
+            assert.equal(call.target.name, word);
+        }
+    });
+    test('大小写不同的同名标识符是普通函数调用（Java lexer 区分大小写）', () => {
+        for (const name of ['Plus', 'pLus', 'And']) {
+            const func = toCore(boolRule(`${name}(x, y)`)).decls[0];
+            const call = func.body.statements[0].expr;
+            assert.equal(call.target.name, name);
+        }
+    });
+});
+describe('运算符词前缀调用（非英语词法表）：Java Canonicalizer 把可映射的运算符词翻成符号', () => {
+    // [中文运算符词或英文关键词, 对应符号]
+    const ACCEPTED = [
+        ['加上', '+'],
+        ['减去', '-'],
+        ['乘以', '*'],
+        ['除以', '/'],
+        ['小于', '<'],
+        ['大于', '>'],
+        ['多于', '>'],
+        ['等于', '=='],
+        ['至少', '>='],
+        ['至多', '<='],
+        ['不足', '<'],
+        ['超过', '>'],
+        ['plus', '+'],
+        ['under', '<'],
+    ];
+    for (const [word, symbol] of ACCEPTED) {
+        test(`${word}(甲，乙) 与 ${symbol}(甲，乙) 的 Core IR 相同`, () => {
+            assert.deepEqual(stripOrigins(zhToCore(zhRule(`${word}(甲，乙)`))), stripOrigins(zhToCore(zhRule(`${symbol}(甲，乙)`))));
+        });
+    }
+    const REJECTED = [
+        ['并且(真值，假值)', 'and'],
+        ['或者(真值，假值)', 'or'],
+        ['取模(甲，乙)', 'modulo'],
+        ['整除(甲，乙)', 'integer divided by'],
+        ['and(真值，假值)', 'and'],
+        ['modulo(甲，乙)', 'modulo'],
+    ];
+    for (const [expr, word] of REJECTED) {
+        test(`${expr} 被拒绝`, () => {
+            assert.throws(() => zhToCore(zhRule(expr)), new RegExp(`运算符词 '${word}' 不能用作前缀调用`));
+        });
+    }
+    test('参数个数不是 2 时报与符号前缀调用相同的错误', () => {
+        assert.throws(() => zhToCore(zhRule('加上(甲)')), /前缀操作符调用需要 2 个参数，但实际为 1/);
+    });
+    test('不是(真值) 仍是一元 not', () => {
+        assert.deepEqual(stripOrigins(zhToCore(zhRule('不是(真值)'))), stripOrigins(zhToCore(zhRule('不是 真值'))));
+    });
+});
+//# sourceMappingURL=prefix-operator-call.test.js.map

package/dist/test/unit/parser/prefix-operator-call.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prefix-operator-call.test.js","sourceRoot":"","sources":["../../../../test/unit/parser/prefix-operator-call.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,MAAM,MAAM,oBAAoB,CAAC;AAExC,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,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAG5D,SAAS,MAAM,CAAC,MAAc;IAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACxE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/F,OAAO,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,QAAQ,CAAC,MAAc;IAC9B,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IAChF,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACxE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/F,OAAO,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,YAAY,CAAC,CAAU;IAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IAC1C,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,IAAI,CAAC,KAAK,QAAQ;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CAAC,IAAY,EAAE,GAAW;IAC9C,OAAO,yDAAyD,GAAG,eAAe,IAAI,KAAK,CAAC;AAC9F,CAAC;AAED,wBAAwB;AACxB,MAAM,KAAK,GAAqD;IAC9D,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC;IACtB,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC;IACtB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC;IACxB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC;IACxB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC;IACxB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC;IACxB,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC;IACtB,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC;IACrB,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC;IACrB,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC;IACrB,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC;CACtB,CAAC;AAEF,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;IACvB,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC;QACrC,IAAI,CAAC,GAAG,EAAE,YAAY,KAAK,eAAe,EAAE,GAAG,EAAE;YAC/C,MAAM,MAAM,GAAG,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC;YACzD,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACxF,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QACtF,CAAC,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE;QACpB,MAAM,IAAI,GAAG,MAAM,CAAC,aAAa,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAc,CAAC;QAC5E,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAgB,CAAC;QACnD,MAAM,CAAC,KAAK,CAAG,GAAG,CAAC,IAAkB,CAAC,MAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,SAAS,CACd,YAAY,CAAC,MAAM,CAAC,aAAa,CAAC,6BAA6B,EAAE,MAAM,CAAC,CAAC,CAAC,EAC1E,YAAY,CAAC,MAAM,CAAC,aAAa,CAAC,+BAA+B,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC,EAAE,wBAAwB,CAAC,CAAC;QAC1F,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,EAAE,wBAAwB,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,wEAAwE;AACxE,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,+FAA+F,IAAI,KAAK,CAAC;AAClH,CAAC;AAED,SAAS,MAAM,CAAC,IAAY;IAC1B,OAAO,mCAAmC,IAAI,KAAK,CAAC;AACtD,CAAC;AAED,MAAM,kBAAkB,GAAG,2BAA2B,CAAC;AAEvD,QAAQ,CAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,oBAAoB;IACpB,MAAM,QAAQ,GAA6C;QACzD,CAAC,WAAW,EAAE,KAAK,CAAC;QACpB,CAAC,UAAU,EAAE,IAAI,CAAC;QAClB,CAAC,QAAQ,EAAE,KAAK,CAAC;QACjB,CAAC,gBAAgB,EAAE,MAAM,CAAC;QAC1B,CAAC,iBAAiB,EAAE,OAAO,CAAC;QAC5B,CAAC,iBAAiB,EAAE,OAAO,CAAC;QAC5B,CAAC,kBAAkB,EAAE,QAAQ,CAAC;KAC/B,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC;QACpC,IAAI,CAAC,GAAG,IAAI,MAAM,EAAE,GAAG,EAAE;YACvB,MAAM,CAAC,MAAM,CACX,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAC5B,IAAI,MAAM,CAAC,SAAS,IAAI,oEAAoE,CAAC,CAC9F,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAED,kCAAkC;IAClC,MAAM,mBAAmB,GAA6C;QACpE,CAAC,sBAAsB,EAAE,kBAAkB,CAAC;QAC5C,CAAC,8BAA8B,EAAE,kBAAkB,CAAC;QACpD,CAAC,iBAAiB,EAAE,kBAAkB,CAAC;QACvC,CAAC,oBAAoB,EAAE,kBAAkB,CAAC;QAC1C,CAAC,iBAAiB,EAAE,kBAAkB,CAAC;QACvC,CAAC,gBAAgB,EAAE,kBAAkB,CAAC;QACtC,CAAC,eAAe,EAAE,kBAAkB,CAAC;QACrC,CAAC,iBAAiB,EAAE,kBAAkB,CAAC;QACvC,CAAC,oBAAoB,EAAE,mCAAmC,CAAC;QAC3D,CAAC,6BAA6B,EAAE,mCAAmC,CAAC;QACpE,CAAC,oBAAoB,EAAE,gCAAgC,CAAC;QACxD,CAAC,WAAW,EAAE,gCAAgC,CAAC;KAChD,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,mBAAmB,EAAE,CAAC;QAClD,IAAI,CAAC,GAAG,IAAI,MAAM,EAAE,GAAG,EAAE;YACvB,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC1B,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACtG,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACxD,KAAK,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAc,CAAC;YACrE,MAAM,IAAI,GAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAiB,CAAC,IAAiB,CAAC;YACxE,MAAM,CAAC,KAAK,CAAE,IAAI,CAAC,MAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACtD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAChD,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAc,CAAC;YACrE,MAAM,IAAI,GAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAiB,CAAC,IAAiB,CAAC;YACxE,MAAM,CAAC,KAAK,CAAE,IAAI,CAAC,MAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACtD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,uBAAuB;IACvB,MAAM,QAAQ,GAA6C;QACzD,CAAC,IAAI,EAAE,GAAG,CAAC;QACX,CAAC,IAAI,EAAE,GAAG,CAAC;QACX,CAAC,IAAI,EAAE,GAAG,CAAC;QACX,CAAC,IAAI,EAAE,GAAG,CAAC;QACX,CAAC,IAAI,EAAE,GAAG,CAAC;QACX,CAAC,IAAI,EAAE,GAAG,CAAC;QACX,CAAC,IAAI,EAAE,GAAG,CAAC;QACX,CAAC,IAAI,EAAE,IAAI,CAAC;QACZ,CAAC,IAAI,EAAE,IAAI,CAAC;QACZ,CAAC,IAAI,EAAE,IAAI,CAAC;QACZ,CAAC,IAAI,EAAE,GAAG,CAAC;QACX,CAAC,IAAI,EAAE,GAAG,CAAC;QACX,CAAC,MAAM,EAAE,GAAG,CAAC;QACb,CAAC,OAAO,EAAE,GAAG,CAAC;KACf,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACtC,IAAI,CAAC,GAAG,IAAI,WAAW,MAAM,oBAAoB,EAAE,GAAG,EAAE;YACtD,MAAM,CAAC,SAAS,CACd,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC,EAC9C,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,MAAM,QAAQ,GAA6C;QACzD,CAAC,WAAW,EAAE,KAAK,CAAC;QACpB,CAAC,WAAW,EAAE,IAAI,CAAC;QACnB,CAAC,SAAS,EAAE,QAAQ,CAAC;QACrB,CAAC,SAAS,EAAE,oBAAoB,CAAC;QACjC,CAAC,YAAY,EAAE,KAAK,CAAC;QACrB,CAAC,aAAa,EAAE,QAAQ,CAAC;KAC1B,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC;QACpC,IAAI,CAAC,GAAG,IAAI,MAAM,EAAE,GAAG,EAAE;YACvB,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,MAAM,CAAC,SAAS,IAAI,YAAY,CAAC,CAAC,CAAC;QACrF,CAAC,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,wBAAwB,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC3B,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACtG,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/scripts/corpus-loader.test.d.ts

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

package/dist/test/unit/scripts/corpus-loader.test.d.ts.map

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

package/dist/test/unit/scripts/corpus-loader.test.js

@@ -0,0 +1,85 @@
+import { describe, it } from 'node:test';
+import assert from 'node:assert/strict';
+import fs from 'node:fs';
+import os from 'node:os';
+import path from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { assertCorpusFrom, loadCorpus, corpusLoaderPath, CORPUS_PATH_ENV } from '../../../scripts/corpus-loader.js';
+// ★issue #194：corpus-regression 工作流设置 ASTER_LANG_TEST_PATH，golden.ts 却静态
+//   import npm 包，变量零读取。这里守住两件事：变量生效、生效与否可被察觉。
+describe('corpus-loader：ASTER_LANG_TEST_PATH 必须生效且可验证', () => {
+    const sample = (absPath) => ({ absPath, meta: { tier: 1 } });
+    it('样本全部位于 checkout 之下 → 通过', () => {
+        const root = path.join(os.tmpdir(), 'aster-lang-test');
+        const mod = { listSamples: () => [sample(path.join(root, 'corpus', 'a.aster'))] };
+        assert.doesNotThrow(() => assertCorpusFrom(mod, root));
+    });
+    it('★样本来自别处（例如 node_modules 里的 npm 版本）→ 失败并指出来源', () => {
+        const root = path.join(os.tmpdir(), 'aster-lang-test');
+        const stray = path.join(os.tmpdir(), 'node_modules', 'pkg', 'corpus', 'a.aster');
+        const mod = { listSamples: () => [sample(stray)] };
+        assert.throws(() => assertCorpusFrom(mod, root), new RegExp(`未生效.*${stray.replace(/[/\\]/g, '.')}`));
+    });
+    it('同名前缀目录不算「位于其下」', () => {
+        const root = path.join(os.tmpdir(), 'aster-lang-test');
+        const mod = { listSamples: () => [sample(`${root}-other${path.sep}a.aster`)] };
+        assert.throws(() => assertCorpusFrom(mod, root), /未生效/);
+    });
+    it('空样本集也视为未生效', () => {
+        assert.throws(() => assertCorpusFrom({ listSamples: () => [] }, '/x'), /未生效/);
+    });
+    // ★issue #203：ESM loader 对模块路径 realpath，样本 absPath 是真实路径；root 若只
+    //   path.resolve，经过任意一层符号链接就被误判「未生效」。两侧都按真实路径比较。
+    it('★root 经符号链接、样本为真实路径（或反之）→ 通过', () => {
+        const base = fs.mkdtempSync(path.join(os.tmpdir(), 'aster-corpus-link-'));
+        try {
+            const real = path.join(base, 'real');
+            fs.mkdirSync(path.join(real, 'corpus'), { recursive: true });
+            const file = path.join(real, 'corpus', 'a.aster');
+            fs.writeFileSync(file, '');
+            const link = path.join(base, 'link');
+            fs.symlinkSync(real, link);
+            const viaReal = { listSamples: () => [sample(fs.realpathSync.native(file))] };
+            assert.doesNotThrow(() => assertCorpusFrom(viaReal, link));
+            const viaLink = { listSamples: () => [sample(path.join(link, 'corpus', 'a.aster'))] };
+            assert.doesNotThrow(() => assertCorpusFrom(viaLink, real));
+        }
+        finally {
+            fs.rmSync(base, { recursive: true, force: true });
+        }
+    });
+    it('★loadCorpus：变量指向符号链接的 checkout → 生效，样本来自该 checkout', async () => {
+        // 按 issue 复现步骤：把 npm 包的 loader 与语料复制成 checkout 布局，再经软链加载。
+        const pkgRoot = path.resolve(path.dirname(fileURLToPath(import.meta.resolve('@aster-cloud/aster-lang-test'))), '..');
+        const base = fs.mkdtempSync(path.join(os.tmpdir(), 'aster-corpus-checkout-'));
+        try {
+            const real = path.join(base, 'real');
+            fs.cpSync(path.join(pkgRoot, 'corpus'), path.join(real, 'corpus'), { recursive: true });
+            fs.mkdirSync(path.dirname(corpusLoaderPath(real)), { recursive: true });
+            fs.copyFileSync(path.join(pkgRoot, 'dist', 'loader.js'), corpusLoaderPath(real));
+            const link = path.join(base, 'link');
+            fs.symlinkSync(real, link);
+            const mod = await loadCorpus({ [CORPUS_PATH_ENV]: link });
+            const samples = mod.listSamples();
+            assert.ok(samples.length > 0);
+            assert.ok(samples[0].absPath.startsWith(fs.realpathSync.native(real) + path.sep));
+        }
+        finally {
+            fs.rmSync(base, { recursive: true, force: true });
+        }
+    });
+    it('未设置变量 → 回退到 npm 依赖', async () => {
+        const mod = await loadCorpus({});
+        assert.equal(typeof mod.listSamples, 'function');
+    });
+    it('★变量指向没有 loader 产物的目录 → 失败并提示构建', async () => {
+        const dir = fs.mkdtempSync(path.join(os.tmpdir(), 'aster-corpus-missing-'));
+        try {
+            await assert.rejects(loadCorpus({ [CORPUS_PATH_ENV]: dir }), /pnpm run build/);
+        }
+        finally {
+            fs.rmSync(dir, { recursive: true, force: true });
+        }
+    });
+});
+//# sourceMappingURL=corpus-loader.test.js.map

package/dist/test/unit/scripts/corpus-loader.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"corpus-loader.test.js","sourceRoot":"","sources":["../../../../test/unit/scripts/corpus-loader.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AAEpH,yEAAyE;AACzE,8CAA8C;AAC9C,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,MAAM,MAAM,GAAG,CAAC,OAAe,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IAErE,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,iBAAiB,CAAC,CAAC;QACvD,MAAM,GAAG,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,EAAW,CAAC;QAC3F,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,iBAAiB,CAAC,CAAC;QACvD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACjF,MAAM,GAAG,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAW,CAAC;QAC5D,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACvG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,iBAAiB,CAAC,CAAC;QACvD,MAAM,GAAG,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,SAAS,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,EAAW,CAAC;QACxF,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE;QACpB,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE,EAAW,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,iEAAiE;IACjE,iDAAiD;IACjD,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,IAAI,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC,CAAC,CAAC;QAC1E,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACrC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;YAClD,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACrC,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC3B,MAAM,OAAO,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAW,CAAC;YACvF,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;YAC3D,MAAM,OAAO,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,EAAW,CAAC;YAC/F,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;QAC7D,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACpD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;QAClE,0DAA0D;QAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,8BAA8B,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACrH,MAAM,IAAI,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,wBAAwB,CAAC,CAAC,CAAC;QAC9E,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACrC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACxF,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACxE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;YACjF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACrC,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC3B,MAAM,GAAG,GAAG,MAAM,UAAU,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;YAClC,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAC9B,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACrF,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACpD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,KAAK,IAAI,EAAE;QAClC,MAAM,GAAG,GAAG,MAAM,UAAU,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,KAAK,IAAI,EAAE;QAC9C,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,uBAAuB,CAAC,CAAC,CAAC;QAC5E,IAAI,CAAC;YACH,MAAM,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,gBAAgB,CAAC,CAAC;QACjF,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/package.json

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