@aster-cloud/aster-lang-ts 0.0.1

package/dist/src/typecheck/generics.js

@@ -0,0 +1,131 @@
+import { DefaultTypeVisitor } from '../ast/ast_visitor.js';
+import { TypeSystem } from './type_system.js';
+import { formatType, typesEqual } from './utils.js';
+export function unifyTypeParameters(expected, actual, bindings, diagnostics, span) {
+    const inferred = new Map();
+    if (!TypeSystem.unify(expected, actual, inferred))
+        return;
+    for (const [name, type] of inferred) {
+        const previous = bindings.get(name);
+        if (previous) {
+            if (!typesEqual(previous, type, true)) {
+                diagnostics.error("E007" /* ErrorCode.TYPEVAR_INCONSISTENT */, span, {
+                    name,
+                    previous: formatType(previous),
+                    actual: formatType(type),
+                });
+            }
+        }
+        else {
+            bindings.set(name, type);
+        }
+    }
+}
+export function checkGenericTypeParameters(ctx, f, diagnostics) {
+    const typeParams = f.typeParams ?? [];
+    // 收集已使用的类型变量
+    const declared = new Set(typeParams);
+    const used = new Set();
+    const collector = new TypeParamCollector();
+    for (const p of f.params)
+        collector.visitType(p.type, used);
+    collector.visitType(f.ret, used);
+    // 检查未声明的类型变量使用
+    for (const u of used) {
+        if (!declared.has(u)) {
+            diagnostics.error("E004" /* ErrorCode.TYPE_VAR_UNDECLARED */, f.span, {
+                name: u,
+                func: f.name,
+            });
+        }
+    }
+    // 检查未使用的类型参数
+    for (const tv of declared) {
+        if (!used.has(tv)) {
+            diagnostics.warning("E005" /* ErrorCode.TYPE_PARAM_UNUSED */, f.span, {
+                name: tv,
+                func: f.name,
+            });
+        }
+    }
+    // 查找疑似类型变量的未知类型名
+    const unknowns = new Set();
+    const finder = new UnknownTypeFinder();
+    for (const p of f.params)
+        finder.visitType(p.type, { unknowns, ctx });
+    finder.visitType(f.ret, { unknowns, ctx });
+    for (const nm of unknowns) {
+        if (!declared.has(nm)) {
+            diagnostics.error("E006" /* ErrorCode.TYPEVAR_LIKE_UNDECLARED */, f.span, {
+                name: nm,
+                func: f.name,
+            });
+        }
+    }
+    // 效应类型参数声明与使用校验
+    const effectParams = f.effectParams ?? [];
+    const declaredEffectVars = new Set(effectParams);
+    const usedEffectVars = new Set();
+    const effCollector = new EffectParamCollector();
+    for (const p of f.params)
+        effCollector.visitType(p.type, usedEffectVars);
+    effCollector.visitType(f.ret, usedEffectVars);
+    // 同时扫描函数的 declaredEffects，收集其中引用的效应变量
+    const funcDeclaredEffects = f.declaredEffects ?? [];
+    for (const eff of funcDeclaredEffects) {
+        if (typeof eff === 'object' && eff !== null && eff.kind === 'EffectVar') {
+            usedEffectVars.add(eff.name);
+        }
+    }
+    for (const ev of usedEffectVars) {
+        if (!declaredEffectVars.has(ev)) {
+            diagnostics.error("E210" /* ErrorCode.EFFECT_VAR_UNDECLARED */, f.span, { func: f.name, var: ev });
+        }
+    }
+    for (const ev of declaredEffectVars) {
+        if (!usedEffectVars.has(ev)) {
+            diagnostics.warning("E005" /* ErrorCode.TYPE_PARAM_UNUSED */, f.span, { name: ev, func: f.name });
+        }
+    }
+}
+class TypeParamCollector extends DefaultTypeVisitor {
+    visitTypeVar(v, ctx) {
+        ctx.add(v.name);
+    }
+}
+class EffectParamCollector extends DefaultTypeVisitor {
+    visitTypeVar(_v, _ctx) { }
+    visitEffectVar(ev, ctx) {
+        // EffectVar 独立于 TypeVar，仍沿用首字母大写约定
+        ctx.add(ev.name);
+    }
+    visitFuncType(ft, ctx) {
+        // 收集函数类型中的 declaredEffects 引用
+        if (Array.isArray(ft.declaredEffects)) {
+            for (const eff of ft.declaredEffects) {
+                const asText = String(eff);
+                if (/^[A-Z][A-Za-z0-9_]*$/.test(asText))
+                    ctx.add(asText);
+            }
+        }
+        super.visitFuncType?.(ft, ctx);
+    }
+}
+class UnknownTypeFinder extends DefaultTypeVisitor {
+    // 包含所有内置标量类型和常用容器类型
+    static KNOWN_SCALARS = new Set([
+        'Text', 'Int', 'Bool', 'Float', 'Long', 'Double', 'Unit',
+        'Result', 'Option', 'List', 'Map', 'Set', 'Workflow',
+    ]);
+    static isMaybeTypeVarLike = (name) => /^[A-Z][A-Za-z0-9_]*$/.test(name);
+    visitTypeName(n, context) {
+        const nm = n.name;
+        if (!UnknownTypeFinder.KNOWN_SCALARS.has(nm) &&
+            !context.ctx.datas.has(nm) &&
+            !context.ctx.enums.has(nm) &&
+            UnknownTypeFinder.isMaybeTypeVarLike(nm)) {
+            context.unknowns.add(nm);
+        }
+    }
+}
+//# sourceMappingURL=generics.js.map

package/dist/src/typecheck/generics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generics.js","sourceRoot":"","sources":["../../../src/typecheck/generics.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAG3D,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAEpD,MAAM,UAAU,mBAAmB,CACjC,QAAmB,EACnB,MAAiB,EACjB,QAAgC,EAChC,WAA8B,EAC9B,IAAsB;IAEtB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC9C,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC;QAAE,OAAO;IAE1D,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC;QACpC,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;gBACtC,WAAW,CAAC,KAAK,8CAAiC,IAAI,EAAE;oBACtD,IAAI;oBACJ,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC;oBAC9B,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC;iBACzB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,GAAkB,EAClB,CAAY,EACZ,WAA8B;IAE9B,MAAM,UAAU,GAAI,CAAmD,CAAC,UAAU,IAAI,EAAE,CAAC;IAEzF,aAAa;IACb,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,UAAU,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,SAAS,GAAG,IAAI,kBAAkB,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;QAAE,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5D,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAEjC,eAAe;IACf,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,WAAW,CAAC,KAAK,6CAAgC,CAAC,CAAC,IAAI,EAAE;gBACvD,IAAI,EAAE,CAAC;gBACP,IAAI,EAAE,CAAC,CAAC,IAAI;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,aAAa;IACb,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAClB,WAAW,CAAC,OAAO,2CAA8B,CAAC,CAAC,IAAI,EAAE;gBACvD,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,CAAC,CAAC,IAAI;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,iBAAiB;IACjB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,iBAAiB,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;QAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;IACtE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;IAE3C,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACtB,WAAW,CAAC,KAAK,iDAAoC,CAAC,CAAC,IAAI,EAAE;gBAC3D,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,CAAC,CAAC,IAAI;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,gBAAgB;IAChB,MAAM,YAAY,GAAI,CAAqD,CAAC,YAAY,IAAI,EAAE,CAAC;IAC/F,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAS,YAAY,CAAC,CAAC;IACzD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,MAAM,YAAY,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;QAAE,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACzE,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;IAE9C,sCAAsC;IACtC,MAAM,mBAAmB,GAAI,CAAyD,CAAC,eAAe,IAAI,EAAE,CAAC;IAC7G,KAAK,MAAM,GAAG,IAAI,mBAAmB,EAAE,CAAC;QACtC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAK,GAAyB,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC/F,cAAc,CAAC,GAAG,CAAE,GAAwB,CAAC,IAAI,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IAED,KAAK,MAAM,EAAE,IAAI,cAAc,EAAE,CAAC;QAChC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,WAAW,CAAC,KAAK,+CAAkC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,kBAAkB,EAAE,CAAC;QACpC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAC5B,WAAW,CAAC,OAAO,2CAA8B,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,kBAAmB,SAAQ,kBAA+B;IACrD,YAAY,CAAC,CAAe,EAAE,GAAgB;QACrD,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;CACF;AAED,MAAM,oBAAqB,SAAQ,kBAA+B;IACvD,YAAY,CAAC,EAAgB,EAAE,IAAiB,IAAS,CAAC;IAC1D,cAAc,CAAC,EAAkB,EAAE,GAAgB;QAC1D,mCAAmC;QACnC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IACQ,aAAa,CAAC,EAAiB,EAAE,GAAgB;QACxD,8BAA8B;QAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;YACtC,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,eAAe,EAAE,CAAC;gBACrC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC3B,IAAI,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC;oBAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;QACD,KAAK,CAAC,aAAa,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IACjC,CAAC;CACF;AAED,MAAM,iBAAkB,SAAQ,kBAAiE;IAC/F,oBAAoB;IACZ,MAAM,CAAU,aAAa,GAAG,IAAI,GAAG,CAAC;QAC9C,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM;QACxD,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU;KACrD,CAAC,CAAC;IACK,MAAM,CAAU,kBAAkB,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEjG,aAAa,CAAC,CAAgB,EAAE,OAAsD;QAC7F,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC;QAClB,IACE,CAAC,iBAAiB,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YACxC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,iBAAiB,CAAC,kBAAkB,CAAC,EAAE,CAAC,EACxC,CAAC;YACD,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC"}

package/dist/src/typecheck/index.d.ts

@@ -0,0 +1,6 @@
+export type { TypecheckDiagnostic } from '../types.js';
+export type { TypecheckOptions } from './context.js';
+export { resolveAlias, shouldEnforcePii } from './utils.js';
+export type { AsyncAnalysis, AsyncSchedule, ScheduleNode } from './async.js';
+export { typecheckModule, typecheckModuleWithCapabilities, loadImportedEffects } from './module.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/src/typecheck/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/typecheck/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AACvD,YAAY,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC5D,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC7E,OAAO,EAAE,eAAe,EAAE,+BAA+B,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC"}

package/dist/src/typecheck/index.js

@@ -0,0 +1,3 @@
+export { resolveAlias, shouldEnforcePii } from './utils.js';
+export { typecheckModule, typecheckModuleWithCapabilities, loadImportedEffects } from './module.js';
+//# sourceMappingURL=index.js.map

package/dist/src/typecheck/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/typecheck/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAE5D,OAAO,EAAE,eAAe,EAAE,+BAA+B,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC"}

package/dist/src/typecheck/module.d.ts

@@ -0,0 +1,9 @@
+import type { Core, TypecheckDiagnostic } from '../types.js';
+import { type CapabilityManifest } from '../effects/capabilities.js';
+import type { EffectSignature } from '../effects/effect_signature.js';
+import { ModuleCache } from '../lsp/module_cache.js';
+import { type TypecheckOptions } from './context.js';
+export declare function typecheckModule(m: Core.Module, options?: TypecheckOptions): TypecheckDiagnostic[];
+export declare function loadImportedEffects(imports: readonly Core.Import[], moduleCache: ModuleCache, searchPaths: readonly string[]): Map<string, EffectSignature> | TypecheckDiagnostic;
+export declare function typecheckModuleWithCapabilities(m: Core.Module, manifest: CapabilityManifest | null, options?: TypecheckOptions): TypecheckDiagnostic[];
+//# sourceMappingURL=module.d.ts.map

package/dist/src/typecheck/module.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module.d.ts","sourceRoot":"","sources":["../../../src/typecheck/module.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAC7D,OAAO,EACL,KAAK,kBAAkB,EAKxB,MAAM,4BAA4B,CAAC;AAMpC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,EAAE,WAAW,EAAsB,MAAM,wBAAwB,CAAC;AACzE,OAAO,EAGL,KAAK,gBAAgB,EAEtB,MAAM,cAAc,CAAC;AA4BtB,wBAAgB,eAAe,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,gBAAgB,GAAG,mBAAmB,EAAE,CAuFjG;AAED,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,SAAS,IAAI,CAAC,MAAM,EAAE,EAC/B,WAAW,EAAE,WAAW,EACxB,WAAW,EAAE,SAAS,MAAM,EAAE,GAC7B,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,GAAG,mBAAmB,CAyCpD;AAED,wBAAgB,+BAA+B,CAC7C,CAAC,EAAE,IAAI,CAAC,MAAM,EACd,QAAQ,EAAE,kBAAkB,GAAG,IAAI,EACnC,OAAO,CAAC,EAAE,gBAAgB,GACzB,mBAAmB,EAAE,CAwCvB"}

package/dist/src/typecheck/module.js

@@ -0,0 +1,223 @@
+import { performance } from 'node:perf_hooks';
+import { isAllowed, normalizeManifest, parseLegacyCapability, } from '../effects/capabilities.js';
+import { CapabilityKind } from '../config/semantic.js';
+import { inferEffects } from '../effects/effect_inference.js';
+import { createLogger, logPerformance } from '../utils/logger.js';
+import { checkModulePII } from '../typecheck-pii.js';
+import { defaultModuleCache } from '../lsp/module_cache.js';
+import { defineSymbol, } from './context.js';
+import { DiagnosticBuilder } from './diagnostics.js';
+import { SymbolTable } from './symbol_table.js';
+import { formatType, isUnknown, normalizeModuleSearchPaths, normalizeType, shouldEnforcePii, typesEqual, unknownType, } from './utils.js';
+import { checkAsyncDiscipline } from './async.js';
+import { typecheckBlock } from './statement.js';
+import { collectCapabilities, checkCapabilities, } from './capabilities.js';
+import { checkEffects, checkCapabilityInferredEffects, } from './effects.js';
+import { unifyTypeParameters, checkGenericTypeParameters } from './generics.js';
+import { TypeSystem } from './type_system.js';
+const typecheckLogger = createLogger('typecheck');
+const MODULE_NOT_FOUND_ERROR = 'MODULE_NOT_FOUND';
+export function typecheckModule(m, options) {
+    const moduleName = m.name ?? '<anonymous>';
+    const startTime = performance.now();
+    typecheckLogger.info('开始类型检查模块', { moduleName });
+    try {
+        const moduleCache = options?.moduleCache ?? defaultModuleCache;
+        const moduleSearchPaths = normalizeModuleSearchPaths(options?.moduleSearchPaths);
+        const diagnostics = new DiagnosticBuilder();
+        const ctx = {
+            datas: new Map(),
+            enums: new Map(),
+            imports: new Map(),
+            funcSignatures: new Map(),
+            importedEffects: new Map(),
+            moduleSearchPaths,
+        };
+        const importDecls = [];
+        for (const d of m.decls) {
+            if (d.kind === 'Func') {
+                const params = d.params.map(param => normalizeType(param.type));
+                let ret = normalizeType(d.ret);
+                if (d.retTypeInferred) {
+                    const inferred = TypeSystem.inferFunctionType(d.params, d.body.statements).ret;
+                    if (!isUnknown(inferred))
+                        ret = inferred;
+                }
+                ctx.funcSignatures.set(d.name, { params, ret });
+            }
+        }
+        for (const d of m.decls) {
+            if (d.kind === 'Import') {
+                importDecls.push(d);
+                const alias = d.asName ?? d.name;
+                if (ctx.imports.has(alias)) {
+                    diagnostics.warning("E100" /* ErrorCode.DUPLICATE_IMPORT_ALIAS */, d.span, { alias });
+                }
+                else {
+                    ctx.imports.set(alias, d.name);
+                }
+            }
+        }
+        for (const d of m.decls) {
+            if (d.kind === 'Data')
+                ctx.datas.set(d.name, d);
+            if (d.kind === 'Enum')
+                ctx.enums.set(d.name, d);
+        }
+        for (const d of m.decls) {
+            if (d.kind === 'Func') {
+                typecheckFunc(ctx, d, diagnostics);
+            }
+        }
+        const importedEffectsResult = loadImportedEffects(importDecls, moduleCache, moduleSearchPaths);
+        if (importedEffectsResult instanceof Map) {
+            ctx.importedEffects = importedEffectsResult;
+        }
+        else {
+            return [...diagnostics.getDiagnostics(), importedEffectsResult];
+        }
+        const effectDiags = inferEffects(m, {
+            moduleName,
+            imports: ctx.imports,
+            importedEffects: ctx.importedEffects,
+            moduleUri: options?.uri ?? null,
+            moduleCache,
+        });
+        const piiDiagnostics = [];
+        if (shouldEnforcePii()) {
+            const funcs = m.decls.filter((decl) => decl.kind === 'Func');
+            if (funcs.length > 0) {
+                checkModulePII(funcs, piiDiagnostics, ctx.imports);
+            }
+        }
+        const result = [...diagnostics.getDiagnostics(), ...effectDiags, ...piiDiagnostics];
+        const duration = performance.now() - startTime;
+        const baseMeta = { moduleName, errorCount: result.length };
+        logPerformance({
+            component: 'typecheck',
+            operation: '模块类型检查',
+            duration,
+            metadata: baseMeta,
+        });
+        typecheckLogger.info('类型检查完成', {
+            ...baseMeta,
+            duration_ms: duration,
+        });
+        return result;
+    }
+    catch (error) {
+        typecheckLogger.error('类型检查失败', error, { moduleName });
+        throw error;
+    }
+}
+export function loadImportedEffects(imports, moduleCache, searchPaths) {
+    const effectMap = new Map();
+    if (imports.length === 0)
+        return effectMap;
+    const visited = new Set();
+    for (const imp of imports) {
+        const moduleName = (imp.name ?? '').trim();
+        if (!moduleName || visited.has(moduleName))
+            continue;
+        visited.add(moduleName);
+        const cached = moduleCache.getModuleEffectSignatures(moduleName, searchPaths);
+        if (cached) {
+            for (const [qualifiedName, signature] of cached) {
+                effectMap.set(qualifiedName, signature);
+            }
+            continue;
+        }
+        const loaded = moduleCache.loadModule(moduleName, searchPaths);
+        if (loaded instanceof Error) {
+            if (!moduleName.includes('.')) {
+                continue;
+            }
+            const message = loaded.message.includes(MODULE_NOT_FOUND_ERROR)
+                ? `${MODULE_NOT_FOUND_ERROR}: 找不到模块 ${moduleName}，请检查依赖或运行 aster install`
+                : loaded.message;
+            const diagnostic = {
+                severity: 'error',
+                code: "E101" /* ErrorCode.UNDEFINED_VARIABLE */,
+                message,
+            };
+            if (imp.origin)
+                diagnostic.origin = imp.origin;
+            return diagnostic;
+        }
+        for (const [qualifiedName, signature] of loaded) {
+            effectMap.set(qualifiedName, signature);
+        }
+    }
+    return effectMap;
+}
+export function typecheckModuleWithCapabilities(m, manifest, options) {
+    const normalizedManifest = manifest ? normalizeManifest(manifest) : null;
+    const baseDiagnostics = typecheckModule(m, options);
+    if (!normalizedManifest)
+        return baseDiagnostics;
+    const builder = new DiagnosticBuilder();
+    const capCtx = { moduleName: m.name ?? '' };
+    for (const d of m.decls) {
+        if (d.kind !== 'Func')
+            continue;
+        const declaredCaps = new Set();
+        for (const eff of d.effects) {
+            const effName = String(eff).toLowerCase();
+            if (effName === 'io') {
+                for (const cap of parseLegacyCapability('io'))
+                    declaredCaps.add(cap);
+            }
+            else if (effName === 'cpu') {
+                declaredCaps.add(CapabilityKind.CPU);
+            }
+        }
+        const meta = d;
+        if (meta.effectCapsExplicit) {
+            for (const cap of meta.effectCaps)
+                declaredCaps.add(cap);
+        }
+        const usedCaps = collectCapabilities(d.body);
+        for (const cap of usedCaps.keys())
+            declaredCaps.add(cap);
+        for (const cap of declaredCaps) {
+            if (!isAllowed(cap, d.name, capCtx, normalizedManifest)) {
+                builder.error("E300" /* ErrorCode.CAPABILITY_NOT_ALLOWED */, d.span, {
+                    func: d.name,
+                    module: m.name ?? '',
+                    cap,
+                });
+            }
+        }
+    }
+    return [...baseDiagnostics, ...builder.getDiagnostics()];
+}
+function typecheckFunc(ctx, f, diagnostics) {
+    const symbols = new SymbolTable();
+    symbols.enterScope('function');
+    const functionContext = { module: ctx, symbols, diagnostics };
+    for (const param of f.params) {
+        const paramType = normalizeType(param.type);
+        defineSymbol(functionContext, param.name, paramType, 'param');
+    }
+    const declaredReturn = normalizeType(f.ret);
+    const bodyReturn = f.body ? typecheckBlock(ctx, symbols, f.body, diagnostics) : unknownType();
+    const retTypeInferred = f.retTypeInferred === true;
+    if (!retTypeInferred && !typesEqual(bodyReturn, declaredReturn)) {
+        diagnostics.error("E003" /* ErrorCode.RETURN_TYPE_MISMATCH */, f.body?.span ?? f.ret?.span ?? f.span, {
+            expected: formatType(declaredReturn),
+            actual: formatType(bodyReturn),
+        });
+    }
+    checkEffects(ctx, f, diagnostics);
+    checkCapabilityInferredEffects(f, diagnostics);
+    checkAsyncDiscipline(f, diagnostics);
+    checkCapabilities(f, diagnostics);
+    const typeParams = f.typeParams ?? [];
+    if (typeParams.length > 0 && !retTypeInferred) {
+        const bindings = new Map();
+        unifyTypeParameters(declaredReturn, bodyReturn, bindings, diagnostics, f.ret?.span ?? f.span);
+    }
+    checkGenericTypeParameters(ctx, f, diagnostics);
+    symbols.exitScope();
+}
+//# sourceMappingURL=module.js.map

package/dist/src/typecheck/module.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"module.js","sourceRoot":"","sources":["../../../src/typecheck/module.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAE9C,OAAO,EAGL,SAAS,EACT,iBAAiB,EACjB,qBAAqB,GACtB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAGrD,OAAO,EAAe,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AACzE,OAAO,EACL,YAAY,GAIb,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EACL,UAAU,EACV,SAAS,EACT,0BAA0B,EAC1B,aAAa,EACb,gBAAgB,EAChB,UAAU,EACV,WAAW,GACZ,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EACL,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,YAAY,EACZ,8BAA8B,GAC/B,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,mBAAmB,EAAE,0BAA0B,EAAE,MAAM,eAAe,CAAC;AAChF,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,MAAM,eAAe,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;AAClD,MAAM,sBAAsB,GAAG,kBAAkB,CAAC;AAElD,MAAM,UAAU,eAAe,CAAC,CAAc,EAAE,OAA0B;IACxE,MAAM,UAAU,GAAG,CAAC,CAAC,IAAI,IAAI,aAAa,CAAC;IAC3C,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IACpC,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;IACjD,IAAI,CAAC;QACH,MAAM,WAAW,GAAG,OAAO,EAAE,WAAW,IAAI,kBAAkB,CAAC;QAC/D,MAAM,iBAAiB,GAAG,0BAA0B,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;QACjF,MAAM,WAAW,GAAG,IAAI,iBAAiB,EAAE,CAAC;QAC5C,MAAM,GAAG,GAAkB;YACzB,KAAK,EAAE,IAAI,GAAG,EAAE;YAChB,KAAK,EAAE,IAAI,GAAG,EAAE;YAChB,OAAO,EAAE,IAAI,GAAG,EAAE;YAClB,cAAc,EAAE,IAAI,GAAG,EAAE;YACzB,eAAe,EAAE,IAAI,GAAG,EAAE;YAC1B,iBAAiB;SAClB,CAAC;QACF,MAAM,WAAW,GAAkB,EAAE,CAAC;QACtC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,IAAiB,CAAC,CAAC,CAAC;gBAC7E,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAgB,CAAC,CAAC;gBAC5C,IAAK,CAAmC,CAAC,eAAe,EAAE,CAAC;oBACzD,MAAM,QAAQ,GAAG,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,GAAgB,CAAC;oBAC5F,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC;wBAAE,GAAG,GAAG,QAAQ,CAAC;gBAC3C,CAAC;gBACD,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;QAED,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACxB,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACpB,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC;gBACjC,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC3B,WAAW,CAAC,OAAO,gDAAmC,CAAC,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC3E,CAAC;qBAAM,CAAC;oBACN,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;gBACjC,CAAC;YACH,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;gBAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YAChD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;gBAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAClD,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,aAAa,CAAC,GAAG,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;QACD,MAAM,qBAAqB,GAAG,mBAAmB,CAAC,WAAW,EAAE,WAAW,EAAE,iBAAiB,CAAC,CAAC;QAC/F,IAAI,qBAAqB,YAAY,GAAG,EAAE,CAAC;YACzC,GAAG,CAAC,eAAe,GAAG,qBAAqB,CAAC;QAC9C,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,WAAW,CAAC,cAAc,EAAE,EAAE,qBAAqB,CAAC,CAAC;QAClE,CAAC;QACD,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,EAAE;YAClC,UAAU;YACV,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,eAAe,EAAE,GAAG,CAAC,eAAe;YACpC,SAAS,EAAE,OAAO,EAAE,GAAG,IAAI,IAAI;YAC/B,WAAW;SACZ,CAAC,CAAC;QACH,MAAM,cAAc,GAA0B,EAAE,CAAC;QACjD,IAAI,gBAAgB,EAAE,EAAE,CAAC;YACvB,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAqB,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;YAChF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,cAAc,CAAC,KAAK,EAAE,cAAc,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,GAAG,WAAW,CAAC,cAAc,EAAE,EAAE,GAAG,WAAW,EAAE,GAAG,cAAc,CAAC,CAAC;QACpF,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;QAC/C,MAAM,QAAQ,GAAG,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;QAC3D,cAAc,CAAC;YACb,SAAS,EAAE,WAAW;YACtB,SAAS,EAAE,QAAQ;YACnB,QAAQ;YACR,QAAQ,EAAE,QAAQ;SACnB,CAAC,CAAC;QACH,eAAe,CAAC,IAAI,CAAC,QAAQ,EAAE;YAC7B,GAAG,QAAQ;YACX,WAAW,EAAE,QAAQ;SACtB,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAc,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;QAChE,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,OAA+B,EAC/B,WAAwB,EACxB,WAA8B;IAE9B,MAAM,SAAS,GAAG,IAAI,GAAG,EAA2B,CAAC;IACrD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE3C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,UAAU,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3C,IAAI,CAAC,UAAU,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC;YAAE,SAAS;QACrD,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAExB,MAAM,MAAM,GAAG,WAAW,CAAC,yBAAyB,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QAC9E,IAAI,MAAM,EAAE,CAAC;YACX,KAAK,MAAM,CAAC,aAAa,EAAE,SAAS,CAAC,IAAI,MAAM,EAAE,CAAC;gBAChD,SAAS,CAAC,GAAG,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;YAC1C,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QAC/D,IAAI,MAAM,YAAY,KAAK,EAAE,CAAC;YAC5B,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC9B,SAAS;YACX,CAAC;YACD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC;gBAC7D,CAAC,CAAC,GAAG,sBAAsB,WAAW,UAAU,yBAAyB;gBACzE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;YACnB,MAAM,UAAU,GAAwB;gBACtC,QAAQ,EAAE,OAAO;gBACjB,IAAI,2CAA8B;gBAClC,OAAO;aACR,CAAC;YACF,IAAI,GAAG,CAAC,MAAM;gBAAE,UAAU,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;YAC/C,OAAO,UAAU,CAAC;QACpB,CAAC;QAED,KAAK,MAAM,CAAC,aAAa,EAAE,SAAS,CAAC,IAAI,MAAM,EAAE,CAAC;YAChD,SAAS,CAAC,GAAG,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,CAAc,EACd,QAAmC,EACnC,OAA0B;IAE1B,MAAM,kBAAkB,GAAG,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACzE,MAAM,eAAe,GAAG,eAAe,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACpD,IAAI,CAAC,kBAAkB;QAAE,OAAO,eAAe,CAAC;IAEhD,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;IACxC,MAAM,MAAM,GAAsB,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;IAE/D,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QAEhC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC/C,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;YAC1C,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,KAAK,MAAM,GAAG,IAAI,qBAAqB,CAAC,IAAI,CAAC;oBAAE,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACvE,CAAC;iBAAM,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;gBAC7B,YAAY,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QAED,MAAM,IAAI,GAAG,CAAsF,CAAC;QACpG,IAAI,IAAI,CAAC,kBAAkB,EAAE,CAAC;YAC5B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU;gBAAE,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3D,CAAC;QAED,MAAM,QAAQ,GAAG,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7C,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,IAAI,EAAE;YAAE,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAEzD,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;YAC/B,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,kBAAkB,CAAC,EAAE,CAAC;gBACxD,OAAO,CAAC,KAAK,gDAAmC,CAAC,CAAC,IAAI,EAAE;oBACtD,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,MAAM,EAAE,CAAC,CAAC,IAAI,IAAI,EAAE;oBACpB,GAAG;iBACJ,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,eAAe,EAAE,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,aAAa,CAAC,GAAkB,EAAE,CAAY,EAAE,WAA8B;IACrF,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;IAClC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IAC/B,MAAM,eAAe,GAA2B,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;IAEtF,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;QAC7B,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,IAAiB,CAAC,CAAC;QACzD,YAAY,CAAC,eAAe,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IAChE,CAAC;IAED,MAAM,cAAc,GAAG,aAAa,CAAC,CAAC,CAAC,GAAgB,CAAC,CAAC;IACzD,MAAM,UAAU,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IAC9F,MAAM,eAAe,GAAI,CAAmC,CAAC,eAAe,KAAK,IAAI,CAAC;IAEtF,IAAI,CAAC,eAAe,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,cAAc,CAAC,EAAE,CAAC;QAChE,WAAW,CAAC,KAAK,8CAAiC,CAAC,CAAC,IAAI,EAAE,IAAI,IAAI,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE;YACvF,QAAQ,EAAE,UAAU,CAAC,cAAc,CAAC;YACpC,MAAM,EAAE,UAAU,CAAC,UAAU,CAAC;SAC/B,CAAC,CAAC;IACL,CAAC;IAED,YAAY,CAAC,GAAG,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC;IAClC,8BAA8B,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IAC/C,oBAAoB,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IACrC,iBAAiB,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IAElC,MAAM,UAAU,GAAI,CAAmD,CAAC,UAAU,IAAI,EAAE,CAAC;IACzF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAqB,CAAC;QAC9C,mBAAmB,CAAC,cAAc,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;IAChG,CAAC;IAED,0BAA0B,CAAC,GAAG,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC;IAEhD,OAAO,CAAC,SAAS,EAAE,CAAC;AACtB,CAAC"}

package/dist/src/typecheck/pattern.d.ts

@@ -0,0 +1,6 @@
+import type { Core } from '../types.js';
+import type { ModuleContext } from './context.js';
+import { SymbolTable } from './symbol_table.js';
+import type { DiagnosticBuilder } from './diagnostics.js';
+export declare function bindPattern(ctx: ModuleContext, symbols: SymbolTable, pattern: Core.Pattern, scrutineeType: Core.Type, diagnostics: DiagnosticBuilder): void;
+//# sourceMappingURL=pattern.d.ts.map

package/dist/src/typecheck/pattern.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pattern.d.ts","sourceRoot":"","sources":["../../../src/typecheck/pattern.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAExC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAElD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAG1D,wBAAgB,WAAW,CACzB,GAAG,EAAE,aAAa,EAClB,OAAO,EAAE,WAAW,EACpB,OAAO,EAAE,IAAI,CAAC,OAAO,EACrB,aAAa,EAAE,IAAI,CAAC,IAAI,EACxB,WAAW,EAAE,iBAAiB,GAC7B,IAAI,CAoBN"}

package/dist/src/typecheck/pattern.js

@@ -0,0 +1,80 @@
+import { defineSymbol } from './context.js';
+import { formatType, isUnknown, unknownType } from './utils.js';
+export function bindPattern(ctx, symbols, pattern, scrutineeType, diagnostics) {
+    if (pattern.kind === 'PatName') {
+        defineSymbol({ module: ctx, symbols, diagnostics }, pattern.name, scrutineeType, 'var', pattern.span);
+        return;
+    }
+    if (pattern.kind === 'PatNull')
+        return;
+    if (pattern.kind === 'PatInt') {
+        const isInt = !isUnknown(scrutineeType) &&
+            scrutineeType.kind === 'TypeName' &&
+            scrutineeType.name === 'Int';
+        if (!isInt) {
+            diagnostics.error("E010" /* ErrorCode.INTEGER_PATTERN_TYPE */, pattern.span, {
+                scrutineeType: formatType(scrutineeType),
+            });
+        }
+        return;
+    }
+    if (pattern.kind !== 'PatCtor')
+        return;
+    bindPatternCtor(ctx, symbols, pattern, scrutineeType, diagnostics);
+}
+function bindPatternCtor(ctx, symbols, pattern, scrutineeType, diagnostics) {
+    if (pattern.typeName === 'Ok' && !isUnknown(scrutineeType) && scrutineeType.kind === 'Result') {
+        const inner = scrutineeType.ok;
+        const ctor = pattern;
+        const child = ctor.args && ctor.args.length > 0
+            ? ctor.args[0]
+            : pattern.names && pattern.names[0]
+                ? { kind: 'PatName', name: pattern.names[0] }
+                : null;
+        if (child)
+            bindPattern(ctx, symbols, child, inner, diagnostics);
+        return;
+    }
+    if (pattern.typeName === 'Err' && !isUnknown(scrutineeType) && scrutineeType.kind === 'Result') {
+        const inner = scrutineeType.err;
+        const ctor = pattern;
+        const child = ctor.args && ctor.args.length > 0
+            ? ctor.args[0]
+            : pattern.names && pattern.names[0]
+                ? { kind: 'PatName', name: pattern.names[0] }
+                : null;
+        if (child)
+            bindPattern(ctx, symbols, child, inner, diagnostics);
+        return;
+    }
+    const dataDecl = ctx.datas.get(pattern.typeName);
+    if (!dataDecl) {
+        if (pattern.names) {
+            for (const name of pattern.names) {
+                defineSymbol({ module: ctx, symbols, diagnostics }, name, unknownType(), 'var', pattern.span);
+            }
+        }
+        const ctor = pattern;
+        if (ctor.args) {
+            for (const arg of ctor.args) {
+                bindPattern(ctx, symbols, arg, unknownType(), diagnostics);
+            }
+        }
+        return;
+    }
+    const arity = dataDecl.fields.length;
+    const ctor = pattern;
+    const args = ctor.args ? ctor.args : [];
+    for (let i = 0; i < arity; i++) {
+        const fieldType = dataDecl.fields[i].type;
+        const child = i < args.length
+            ? args[i]
+            : pattern.names && i < pattern.names.length
+                ? { kind: 'PatName', name: pattern.names[i] }
+                : null;
+        if (!child)
+            continue;
+        bindPattern(ctx, symbols, child, fieldType, diagnostics);
+    }
+}
+//# sourceMappingURL=pattern.js.map

package/dist/src/typecheck/pattern.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pattern.js","sourceRoot":"","sources":["../../../src/typecheck/pattern.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAG5C,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEhE,MAAM,UAAU,WAAW,CACzB,GAAkB,EAClB,OAAoB,EACpB,OAAqB,EACrB,aAAwB,EACxB,WAA8B;IAE9B,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/B,YAAY,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,OAAO,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QACtG,OAAO;IACT,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO;IACvC,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,KAAK,GACT,CAAC,SAAS,CAAC,aAAa,CAAC;YACzB,aAAa,CAAC,IAAI,KAAK,UAAU;YACjC,aAAa,CAAC,IAAI,KAAK,KAAK,CAAC;QAC/B,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,WAAW,CAAC,KAAK,8CAAiC,OAAO,CAAC,IAAI,EAAE;gBAC9D,aAAa,EAAE,UAAU,CAAC,aAAa,CAAC;aACzC,CAAC,CAAC;QACL,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO;IACvC,eAAe,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,eAAe,CACtB,GAAkB,EAClB,OAAoB,EACpB,OAAqB,EACrB,aAAwB,EACxB,WAA8B;IAE9B,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,aAAa,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC9F,MAAM,KAAK,GAAI,aAA6B,CAAC,EAAe,CAAC;QAC7D,MAAM,IAAI,GAAG,OAA4D,CAAC;QAC1E,MAAM,KAAK,GACT,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;YAC/B,CAAC,CAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAkB;YAChC,CAAC,CAAC,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;gBACjC,CAAC,CAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAmB;gBAC/D,CAAC,CAAC,IAAI,CAAC;QACb,IAAI,KAAK;YAAE,WAAW,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;QAChE,OAAO;IACT,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,KAAK,KAAK,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,aAAa,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/F,MAAM,KAAK,GAAI,aAA6B,CAAC,GAAgB,CAAC;QAC9D,MAAM,IAAI,GAAG,OAA4D,CAAC;QAC1E,MAAM,KAAK,GACT,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;YAC/B,CAAC,CAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAkB;YAChC,CAAC,CAAC,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;gBACjC,CAAC,CAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAmB;gBAC/D,CAAC,CAAC,IAAI,CAAC;QACb,IAAI,KAAK;YAAE,WAAW,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;QAChE,OAAO;IACT,CAAC;IACD,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACjD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YAClB,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;gBACjC,YAAY,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;YAChG,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAG,OAA4D,CAAC;QAC1E,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACd,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAA+B,EAAE,CAAC;gBACvD,WAAW,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,EAAE,WAAW,CAAC,CAAC;YAC7D,CAAC;QACH,CAAC;QACD,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACrC,MAAM,IAAI,GAAG,OAA4D,CAAC;IAC1E,MAAM,IAAI,GAA4B,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,IAAI,CAAC,IAAgC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9F,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAiB,CAAC;QACxD,MAAM,KAAK,GACT,CAAC,GAAG,IAAI,CAAC,MAAM;YACb,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE;YACV,CAAC,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM;gBACzC,CAAC,CAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAE,EAAmB;gBAChE,CAAC,CAAC,IAAI,CAAC;QACb,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,WAAW,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;IAC3D,CAAC;AACH,CAAC"}

package/dist/src/typecheck/statement.d.ts

@@ -0,0 +1,13 @@
+import type { Core } from '../types.js';
+import { DefaultCoreVisitor } from '../core/visitor.js';
+import type { ModuleContext, TypecheckWalkerContext } from './context.js';
+import { SymbolTable } from './symbol_table.js';
+import type { DiagnosticBuilder } from './diagnostics.js';
+export declare class TypecheckVisitor extends DefaultCoreVisitor<TypecheckWalkerContext> {
+    result: Core.Type;
+    visitBlock(block: Core.Block, context: TypecheckWalkerContext): void;
+    visitStatement(statement: Core.Statement, context: TypecheckWalkerContext): void;
+}
+export declare function typecheckBlock(ctx: ModuleContext, symbols: SymbolTable, block: Core.Block, diagnostics: DiagnosticBuilder): Core.Type;
+export declare function typecheckCase(ctx: ModuleContext, symbols: SymbolTable, caseClause: Core.Case, scrutineeType: Core.Type, diagnostics: DiagnosticBuilder): Core.Type;
+//# sourceMappingURL=statement.d.ts.map

package/dist/src/typecheck/statement.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"statement.d.ts","sourceRoot":"","sources":["../../../src/typecheck/statement.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAExD,OAAO,KAAK,EAAE,aAAa,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAE1E,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAW1D,qBAAa,gBAAiB,SAAQ,kBAAkB,CAAC,sBAAsB,CAAC;IACvE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAiB;IAEhC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,sBAAsB,GAAG,IAAI;IASpE,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,sBAAsB,GAAG,IAAI;CA0I1F;AAED,wBAAgB,cAAc,CAC5B,GAAG,EAAE,aAAa,EAClB,OAAO,EAAE,WAAW,EACpB,KAAK,EAAE,IAAI,CAAC,KAAK,EACjB,WAAW,EAAE,iBAAiB,GAC7B,IAAI,CAAC,IAAI,CASX;AAED,wBAAgB,aAAa,CAC3B,GAAG,EAAE,aAAa,EAClB,OAAO,EAAE,WAAW,EACpB,UAAU,EAAE,IAAI,CAAC,IAAI,EACrB,aAAa,EAAE,IAAI,CAAC,IAAI,EACxB,WAAW,EAAE,iBAAiB,GAC7B,IAAI,CAAC,IAAI,CAWX"}