@aster-cloud/aster-lang-ts 0.0.1

package/dist/test/unit/typecheck/type-system-extended.test.js

@@ -0,0 +1,131 @@
+/**
+ * TypeSystem 扩展测试
+ *
+ * 覆盖 effect lattice、EffectVar 绑定冲突、list 字面推断、
+ * declaredEffects/effectParams 列表比较以及 Workflow 子类型逻辑。
+ */
+import { describe, it } from 'node:test';
+import assert from 'node:assert/strict';
+import { TypeSystem } from '../../../src/typecheck/type_system.js';
+import { Effect } from '../../../src/config/semantic.js';
+const makeFuncType = (override = {}) => ({
+    kind: 'FuncType',
+    params: [],
+    ret: { kind: 'TypeName', name: 'Int' },
+    ...override,
+});
+const makeWorkflow = (resultName, effect, options = {}) => {
+    const args = [
+        { kind: 'TypeName', name: resultName },
+        effect,
+    ];
+    if (!options.lazyBase) {
+        return {
+            kind: 'TypeApp',
+            base: 'Workflow',
+            args,
+        };
+    }
+    let baseAccess = 0;
+    return {
+        kind: 'TypeApp',
+        get base() {
+            baseAccess += 1;
+            return baseAccess === 2 ? 'NotWorkflow' : 'Workflow';
+        },
+        args,
+    };
+};
+describe('TypeSystem effect lattice 与 EffectVar 绑定', () => {
+    it('应该按照 PURE→CPU→IO→Workflow 偏序判断子类型', () => {
+        // 验证 effectRank 处理 TypeName 与 TypeApp Workflow 的顺序
+        const pure = { kind: 'TypeName', name: 'PURE' };
+        const cpu = { kind: 'TypeName', name: 'CPU' };
+        const io = { kind: 'TypeName', name: 'IO' };
+        const workflowEffect = { kind: 'TypeName', name: 'Workflow' };
+        const workflowType = makeWorkflow('Text', io);
+        assert.ok(TypeSystem.isSubtype(pure, cpu));
+        assert.ok(TypeSystem.isSubtype(cpu, io));
+        assert.ok(TypeSystem.isSubtype(io, workflowEffect));
+        assert.ok(TypeSystem.isSubtype(io, workflowType));
+        assert.strictEqual(TypeSystem.isSubtype(workflowEffect, io), false);
+        assert.strictEqual(TypeSystem.isSubtype(workflowType, pure), false);
+    });
+    it('应该拒绝 EffectVar 绑定到不同的 effect', () => {
+        // 绑定 CPU 后，尝试再绑定 IO，触发 bindEffectVar 冲突路径
+        const fx = { kind: 'EffectVar', name: 'FX' };
+        const bindings = new Map();
+        const cpu = { kind: 'TypeName', name: 'CPU' };
+        const io = { kind: 'TypeName', name: 'IO' };
+        assert.ok(TypeSystem.unify(fx, cpu, bindings));
+        assert.deepStrictEqual(bindings.get('$effect:FX'), cpu);
+        // 再次绑定相同 effect 应保持成功
+        assert.ok(TypeSystem.unify(fx, cpu, bindings));
+        // 换成不同 effect 应立即返回 false
+        assert.strictEqual(TypeSystem.unify(fx, io, bindings), false);
+    });
+});
+describe('TypeSystem.inferListElementType', () => {
+    it('应该在所有元素类型一致时返回该类型', () => {
+        // list 字面全部是 Int 时返回 Int
+        const ints = [
+            { kind: 'Int', value: 1 },
+            { kind: 'Int', value: 2 },
+            { kind: 'Int', value: 3 },
+        ];
+        const inferred = TypeSystem.inferListElementType(ints);
+        assert.deepStrictEqual(inferred, { kind: 'TypeName', name: 'Int' });
+    });
+    it('应该在元素类型不一致时退回 Unknown', () => {
+        // list 字面混合 Int 与 Text 必须回退 Unknown
+        const mixed = [
+            { kind: 'Int', value: 1 },
+            { kind: 'String', value: 'oops' },
+        ];
+        const inferred = TypeSystem.inferListElementType(mixed);
+        assert.deepStrictEqual(inferred, TypeSystem.unknown());
+    });
+});
+describe('normalizeEffectList / effectListsEqual / stringListsEqual', () => {
+    it('应该把空 declaredEffects 与 undefined 视为相等', () => {
+        // normalizeEffectList 会把 undefined 转成空数组
+        const withoutDeclared = makeFuncType();
+        const withEmptyDeclared = makeFuncType({ declaredEffects: [] });
+        assert.ok(TypeSystem.equals(withoutDeclared, withEmptyDeclared));
+        assert.ok(TypeSystem.unify(withoutDeclared, withEmptyDeclared));
+    });
+    it('应该在 declaredEffects 长度不同时报错', () => {
+        // effectListsEqual 遇到长度不同直接失败
+        const singleEffect = makeFuncType({ declaredEffects: [Effect.IO] });
+        const doubleEffect = makeFuncType({ declaredEffects: [Effect.IO, Effect.CPU] });
+        assert.strictEqual(TypeSystem.equals(singleEffect, doubleEffect), false);
+        assert.strictEqual(TypeSystem.unify(singleEffect, doubleEffect), false);
+    });
+    it('应该检测 declaredEffects 内容差异', () => {
+        // 内容差异的 effect 列表应被视为不同
+        const cpuEffect = makeFuncType({ declaredEffects: [Effect.CPU] });
+        const pureEffect = makeFuncType({ declaredEffects: [Effect.PURE] });
+        assert.strictEqual(TypeSystem.equals(cpuEffect, pureEffect), false);
+    });
+    it('应该在 effectParams 内容不同时时返回 false', () => {
+        // stringListsEqual 需比较 effect 参数名称
+        const effectF = makeFuncType({ effectParams: ['F'] });
+        const effectG = makeFuncType({ effectParams: ['G'] });
+        assert.strictEqual(TypeSystem.equals(effectF, effectG), false);
+    });
+});
+describe('Workflow 子类型 effect row 检查', () => {
+    it('应该在 result 一致且 effect row 是子类型时返回 true', () => {
+        // Workflow<Text, CPU>（effect 较弱）是 Workflow<Text, IO> 的子类型
+        const workflowCpu = makeWorkflow('Text', { kind: 'TypeName', name: 'CPU' }, { lazyBase: true });
+        const workflowIo = makeWorkflow('Text', { kind: 'TypeName', name: 'IO' });
+        assert.ok(TypeSystem.isSubtype(workflowCpu, workflowIo));
+    });
+    it('应该在 effect row 更强时返回 false', () => {
+        // Workflow<Text, IO>（effect 较强）不能赋值给 Workflow<Text, CPU>
+        const workflowCpu = makeWorkflow('Text', { kind: 'TypeName', name: 'CPU' });
+        const workflowIo = makeWorkflow('Text', { kind: 'TypeName', name: 'IO' }, { lazyBase: true });
+        assert.strictEqual(TypeSystem.isSubtype(workflowIo, workflowCpu), false);
+    });
+});
+//# sourceMappingURL=type-system-extended.test.js.map

package/dist/test/unit/typecheck/type-system-extended.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-system-extended.test.js","sourceRoot":"","sources":["../../../../test/unit/typecheck/type-system-extended.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,MAAM,uCAAuC,CAAC;AACnE,OAAO,EAAE,MAAM,EAAE,MAAM,iCAAiC,CAAC;AAGzD,MAAM,YAAY,GAAG,CAAC,WAAmC,EAAE,EAAiB,EAAE,CAAC,CAAC;IAC9E,IAAI,EAAE,UAAU;IAChB,MAAM,EAAE,EAAE;IACV,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE;IACtC,GAAG,QAAQ;CACZ,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,CACnB,UAAkB,EAClB,MAAiB,EACjB,UAAkC,EAAE,EACtB,EAAE;IAChB,MAAM,IAAI,GAAG;QACX,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAsB;QAC1D,MAAM;KACiB,CAAC;IAC1B,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;QACtB,OAAO;YACL,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,UAAU;YAChB,IAAI;SACL,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,OAAO;QACL,IAAI,EAAE,SAAS;QACf,IAAI,IAAI;YACN,UAAU,IAAI,CAAC,CAAC;YAChB,OAAO,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC;QACvD,CAAC;QACD,IAAI;KACW,CAAC;AACpB,CAAC,CAAC;AAEF,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,mDAAmD;QACnD,MAAM,IAAI,GAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC/D,MAAM,GAAG,GAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAC7D,MAAM,EAAE,GAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAC3D,MAAM,cAAc,GAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;QAC7E,MAAM,YAAY,GAAG,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAE9C,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,SAAS,CAAC,cAAc,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;QACpE,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,0CAA0C;QAC1C,MAAM,EAAE,GAAmB,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAC7D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAqB,CAAC;QAC9C,MAAM,GAAG,GAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAC7D,MAAM,EAAE,GAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAE3D,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC;QAExD,sBAAsB;QACtB,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QAE/C,0BAA0B;QAC1B,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,yBAAyB;QACzB,MAAM,IAAI,GAAsB;YAC9B,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;YACzB,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;YACzB,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;SAC1B,CAAC;QACF,MAAM,QAAQ,GAAG,UAAU,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;QAEvD,MAAM,CAAC,eAAe,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,oCAAoC;QACpC,MAAM,KAAK,GAAsB;YAC/B,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;YACzB,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE;SAClC,CAAC;QACF,MAAM,QAAQ,GAAG,UAAU,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAExD,MAAM,CAAC,eAAe,CAAC,QAAQ,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,2DAA2D,EAAE,GAAG,EAAE;IACzE,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,yCAAyC;QACzC,MAAM,eAAe,GAAG,YAAY,EAAE,CAAC;QACvC,MAAM,iBAAiB,GAAG,YAAY,CAAC,EAAE,eAAe,EAAE,EAAE,EAAE,CAAC,CAAC;QAEhE,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC,CAAC;QACjE,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,8BAA8B;QAC9B,MAAM,YAAY,GAAG,YAAY,CAAC,EAAE,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACpE,MAAM,YAAY,GAAG,YAAY,CAAC,EAAE,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAEhF,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,YAAY,EAAE,YAAY,CAAC,EAAE,KAAK,CAAC,CAAC;QACzE,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,YAAY,EAAE,YAAY,CAAC,EAAE,KAAK,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,wBAAwB;QACxB,MAAM,SAAS,GAAG,YAAY,CAAC,EAAE,eAAe,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClE,MAAM,UAAU,GAAG,YAAY,CAAC,EAAE,eAAe,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEpE,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,mCAAmC;QACnC,MAAM,OAAO,GAAG,YAAY,CAAC,EAAE,YAAY,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACtD,MAAM,OAAO,GAAG,YAAY,CAAC,EAAE,YAAY,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAEtD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,0DAA0D;QAC1D,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QAChG,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QAE1E,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,yDAAyD;QACzD,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QAC5E,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QAE9F,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,SAAS,CAAC,UAAU,EAAE,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/typecheck/type-system.test.d.ts

@@ -0,0 +1,9 @@
+/**
+ * TypeSystem 单元测试
+ *
+ * 本测试套件验证类型系统的核心功能，特别是 Phase 4.1 中修复的问题：
+ * 1. TypeApp 参数长度验证
+ * 2. FuncType 参数长度验证
+ */
+export {};
+//# sourceMappingURL=type-system.test.d.ts.map

package/dist/test/unit/typecheck/type-system.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-system.test.d.ts","sourceRoot":"","sources":["../../../../test/unit/typecheck/type-system.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG"}