@aster-cloud/aster-lang-ts 0.0.1

package/dist/src/typecheck/statement.js

@@ -0,0 +1,176 @@
+import { DefaultCoreVisitor } from '../core/visitor.js';
+import { assignSymbol, defineSymbol } from './context.js';
+import { formatType, isUnknown, typesEqual, unknownType, } from './utils.js';
+import { typeOfExpr } from './expression.js';
+import { bindPattern } from './pattern.js';
+import { typecheckWorkflow } from './workflow.js';
+export class TypecheckVisitor extends DefaultCoreVisitor {
+    result = unknownType();
+    visitBlock(block, context) {
+        let last = unknownType();
+        for (const statement of block.statements) {
+            this.visitStatement(statement, context);
+            last = this.result;
+        }
+        this.result = last;
+    }
+    visitStatement(statement, context) {
+        const { module, symbols, diagnostics } = context;
+        switch (statement.kind) {
+            case 'Let': {
+                const valueType = typeOfExpr(module, symbols, statement.expr, diagnostics);
+                defineSymbol(context, statement.name, valueType, 'var', statement.span);
+                this.result = valueType;
+                return;
+            }
+            case 'Set': {
+                const valueType = typeOfExpr(module, symbols, statement.expr, diagnostics);
+                assignSymbol(context, statement.name, valueType, statement.span);
+                this.result = valueType;
+                return;
+            }
+            case 'Return': {
+                this.result = typeOfExpr(module, symbols, statement.expr, diagnostics);
+                return;
+            }
+            case 'If': {
+                void typeOfExpr(module, symbols, statement.cond, diagnostics);
+                const thenType = typecheckBlock(module, symbols, statement.thenBlock, diagnostics);
+                const elseType = statement.elseBlock
+                    ? typecheckBlock(module, symbols, statement.elseBlock, diagnostics)
+                    : unknownType();
+                if (isUnknown(thenType)) {
+                    this.result = elseType;
+                }
+                else if (isUnknown(elseType)) {
+                    this.result = thenType;
+                }
+                else {
+                    if (!typesEqual(thenType, elseType)) {
+                        diagnostics.error("E008" /* ErrorCode.IF_BRANCH_MISMATCH */, statement.span, {
+                            thenType: formatType(thenType),
+                            elseType: formatType(elseType),
+                        });
+                    }
+                    this.result = thenType;
+                }
+                return;
+            }
+            case 'Match': {
+                const scrutineeType = typeOfExpr(module, symbols, statement.expr, diagnostics);
+                let aggregated = null;
+                let hasNullCase = false;
+                let hasNonNullCase = false;
+                const enumDecl = !isUnknown(scrutineeType) && scrutineeType.kind === 'TypeName'
+                    ? module.enums.get(scrutineeType.name)
+                    : undefined;
+                const seenEnum = new Set();
+                let hasWildcard = false;
+                for (const caseClause of statement.cases) {
+                    const caseType = typecheckCase(module, symbols, caseClause, scrutineeType, diagnostics);
+                    if (!aggregated) {
+                        aggregated = caseType;
+                    }
+                    else if (!typesEqual(aggregated, caseType)) {
+                        diagnostics.error("E009" /* ErrorCode.MATCH_BRANCH_MISMATCH */, caseClause.body.span ?? statement.span, {
+                            expected: formatType(aggregated),
+                            actual: formatType(caseType),
+                        });
+                    }
+                    if (caseClause.pattern.kind === 'PatNull')
+                        hasNullCase = true;
+                    else
+                        hasNonNullCase = true;
+                    if (enumDecl) {
+                        if (caseClause.pattern.kind === 'PatName') {
+                            if (enumDecl.variants.includes(caseClause.pattern.name)) {
+                                if (seenEnum.has(caseClause.pattern.name)) {
+                                    diagnostics.warning("E016" /* ErrorCode.DUPLICATE_ENUM_CASE */, caseClause.pattern.span ?? statement.span, { case: caseClause.pattern.name, type: enumDecl.name });
+                                }
+                                seenEnum.add(caseClause.pattern.name);
+                            }
+                            else {
+                                hasWildcard = true;
+                            }
+                        }
+                        else if (caseClause.pattern.kind === 'PatCtor') {
+                            if (enumDecl.variants.includes(caseClause.pattern.typeName)) {
+                                if (seenEnum.has(caseClause.pattern.typeName)) {
+                                    diagnostics.warning("E016" /* ErrorCode.DUPLICATE_ENUM_CASE */, caseClause.pattern.span ?? statement.span, { case: caseClause.pattern.typeName, type: enumDecl.name });
+                                }
+                                seenEnum.add(caseClause.pattern.typeName);
+                            }
+                        }
+                        else {
+                            hasWildcard = true;
+                        }
+                    }
+                }
+                if (!isUnknown(scrutineeType) && scrutineeType.kind === 'Maybe') {
+                    if (!(hasNullCase && hasNonNullCase)) {
+                        const missing = hasNullCase ? 'non-null value' : hasNonNullCase ? 'null' : 'null and non-null';
+                        diagnostics.warning("E017" /* ErrorCode.NON_EXHAUSTIVE_MAYBE */, statement.span, { missing });
+                    }
+                }
+                else if (enumDecl && !hasWildcard) {
+                    const missing = enumDecl.variants.filter(variant => !seenEnum.has(variant));
+                    if (missing.length > 0) {
+                        diagnostics.warning("E018" /* ErrorCode.NON_EXHAUSTIVE_ENUM */, statement.span, {
+                            type: enumDecl.name,
+                            missing: missing.join(', '),
+                        });
+                    }
+                }
+                this.result = aggregated ?? unknownType();
+                return;
+            }
+            case 'Scope': {
+                const nested = {
+                    kind: 'Block',
+                    statements: statement.statements,
+                    span: statement.span,
+                };
+                this.result = typecheckBlock(module, symbols, nested, diagnostics);
+                return;
+            }
+            case 'Start': {
+                void typeOfExpr(module, symbols, statement.expr, diagnostics);
+                this.result = unknownType();
+                return;
+            }
+            case 'Wait': {
+                this.result = unknownType();
+                return;
+            }
+            case 'workflow': {
+                this.result = typecheckWorkflow(context, statement);
+                return;
+            }
+        }
+    }
+}
+export function typecheckBlock(ctx, symbols, block, diagnostics) {
+    symbols.enterScope('block');
+    try {
+        const visitor = new TypecheckVisitor();
+        visitor.visitBlock(block, { module: ctx, symbols, diagnostics });
+        return visitor.result;
+    }
+    finally {
+        symbols.exitScope();
+    }
+}
+export function typecheckCase(ctx, symbols, caseClause, scrutineeType, diagnostics) {
+    symbols.enterScope('block');
+    try {
+        bindPattern(ctx, symbols, caseClause.pattern, scrutineeType, diagnostics);
+        if (caseClause.body.kind === 'Return') {
+            return typeOfExpr(ctx, symbols, caseClause.body.expr, diagnostics);
+        }
+        return typecheckBlock(ctx, symbols, caseClause.body, diagnostics);
+    }
+    finally {
+        symbols.exitScope();
+    }
+}
+//# sourceMappingURL=statement.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"statement.js","sourceRoot":"","sources":["../../../src/typecheck/statement.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAGxD,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAG1D,OAAO,EACL,UAAU,EACV,SAAS,EACT,UAAU,EACV,WAAW,GACZ,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAElD,MAAM,OAAO,gBAAiB,SAAQ,kBAA0C;IACvE,MAAM,GAAc,WAAW,EAAE,CAAC;IAEhC,UAAU,CAAC,KAAiB,EAAE,OAA+B;QACpE,IAAI,IAAI,GAAc,WAAW,EAAE,CAAC;QACpC,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACzC,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YACxC,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;QACrB,CAAC;QACD,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;IACrB,CAAC;IAEQ,cAAc,CAAC,SAAyB,EAAE,OAA+B;QAChF,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC;QACjD,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;YACvB,KAAK,KAAK,CAAC,CAAC,CAAC;gBACX,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBAC3E,YAAY,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;gBACxE,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC;gBACxB,OAAO;YACT,CAAC;YACD,KAAK,KAAK,CAAC,CAAC,CAAC;gBACX,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBAC3E,YAAY,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;gBACjE,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC;gBACxB,OAAO;YACT,CAAC;YACD,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,IAAI,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBACvE,OAAO;YACT,CAAC;YACD,KAAK,IAAI,CAAC,CAAC,CAAC;gBACV,KAAK,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBAC9D,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;gBACnF,MAAM,QAAQ,GAAG,SAAS,CAAC,SAAS;oBAClC,CAAC,CAAC,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,SAAS,EAAE,WAAW,CAAC;oBACnE,CAAC,CAAC,WAAW,EAAE,CAAC;gBAClB,IAAI,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACxB,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;gBACzB,CAAC;qBAAM,IAAI,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC/B,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;gBACzB,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;wBACpC,WAAW,CAAC,KAAK,4CAA+B,SAAS,CAAC,IAAI,EAAE;4BAC9D,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC;4BAC9B,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC;yBAC/B,CAAC,CAAC;oBACL,CAAC;oBACD,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;gBACzB,CAAC;gBACD,OAAO;YACT,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,aAAa,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBAC/E,IAAI,UAAU,GAAqB,IAAI,CAAC;gBACxC,IAAI,WAAW,GAAG,KAAK,CAAC;gBACxB,IAAI,cAAc,GAAG,KAAK,CAAC;gBAC3B,MAAM,QAAQ,GACZ,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,aAAa,CAAC,IAAI,KAAK,UAAU;oBAC5D,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC;oBACtC,CAAC,CAAC,SAAS,CAAC;gBAChB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;gBACnC,IAAI,WAAW,GAAG,KAAK,CAAC;gBACxB,KAAK,MAAM,UAAU,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;oBACzC,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC;oBACxF,IAAI,CAAC,UAAU,EAAE,CAAC;wBAChB,UAAU,GAAG,QAAQ,CAAC;oBACxB,CAAC;yBAAM,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;wBAC7C,WAAW,CAAC,KAAK,+CAEf,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,EACtC;4BACE,QAAQ,EAAE,UAAU,CAAC,UAAU,CAAC;4BAChC,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC;yBAC7B,CACF,CAAC;oBACJ,CAAC;oBACD,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS;wBAAE,WAAW,GAAG,IAAI,CAAC;;wBACzD,cAAc,GAAG,IAAI,CAAC;oBAC3B,IAAI,QAAQ,EAAE,CAAC;wBACb,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;4BAC1C,IAAI,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gCACxD,IAAI,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;oCAC1C,WAAW,CAAC,OAAO,6CAEjB,UAAU,CAAC,OAAO,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,EACzC,EAAE,IAAI,EAAE,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CACvD,CAAC;gCACJ,CAAC;gCACD,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;4BACxC,CAAC;iCAAM,CAAC;gCACN,WAAW,GAAG,IAAI,CAAC;4BACrB,CAAC;wBACH,CAAC;6BAAM,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;4BACjD,IAAI,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;gCAC5D,IAAI,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;oCAC9C,WAAW,CAAC,OAAO,6CAEjB,UAAU,CAAC,OAAO,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,EACzC,EAAE,IAAI,EAAE,UAAU,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAC3D,CAAC;gCACJ,CAAC;gCACD,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;4BAC5C,CAAC;wBACH,CAAC;6BAAM,CAAC;4BACN,WAAW,GAAG,IAAI,CAAC;wBACrB,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,aAAa,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAChE,IAAI,CAAC,CAAC,WAAW,IAAI,cAAc,CAAC,EAAE,CAAC;wBACrC,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC;wBAC/F,WAAW,CAAC,OAAO,8CAAiC,SAAS,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;oBACnF,CAAC;gBACH,CAAC;qBAAM,IAAI,QAAQ,IAAI,CAAC,WAAW,EAAE,CAAC;oBACpC,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;oBAC5E,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACvB,WAAW,CAAC,OAAO,6CAAgC,SAAS,CAAC,IAAI,EAAE;4BACjE,IAAI,EAAE,QAAQ,CAAC,IAAI;4BACnB,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;yBAC5B,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,MAAM,GAAG,UAAU,IAAI,WAAW,EAAE,CAAC;gBAC1C,OAAO;YACT,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,MAAM,GAAe;oBACzB,IAAI,EAAE,OAAO;oBACb,UAAU,EAAE,SAAS,CAAC,UAAU;oBAChC,IAAI,EAAE,SAAS,CAAC,IAAI;iBACP,CAAC;gBAChB,IAAI,CAAC,MAAM,GAAG,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;gBACnE,OAAO;YACT,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,KAAK,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBAC9D,IAAI,CAAC,MAAM,GAAG,WAAW,EAAE,CAAC;gBAC5B,OAAO;YACT,CAAC;YACD,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,IAAI,CAAC,MAAM,GAAG,WAAW,EAAE,CAAC;gBAC5B,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,IAAI,CAAC,MAAM,GAAG,iBAAiB,CAAC,OAAO,EAAE,SAA0B,CAAC,CAAC;gBACrE,OAAO;YACT,CAAC;QACH,CAAC;IACH,CAAC;CACF;AAED,MAAM,UAAU,cAAc,CAC5B,GAAkB,EAClB,OAAoB,EACpB,KAAiB,EACjB,WAA8B;IAE9B,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAC5B,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,gBAAgB,EAAE,CAAC;QACvC,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;QACjE,OAAO,OAAO,CAAC,MAAM,CAAC;IACxB,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,SAAS,EAAE,CAAC;IACtB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,GAAkB,EAClB,OAAoB,EACpB,UAAqB,EACrB,aAAwB,EACxB,WAA8B;IAE9B,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAC5B,IAAI,CAAC;QACH,WAAW,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC;QAC1E,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtC,OAAO,UAAU,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACrE,CAAC;QACD,OAAO,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACpE,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,SAAS,EAAE,CAAC;IACtB,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,63 @@
+import type { Core, Span } from '../types.js';
+type Type = Core.Type;
+export type SymbolKind = 'var' | 'func' | 'data' | 'enum' | 'type_alias' | 'param';
+export type ScopeType = 'module' | 'function' | 'block' | 'lambda';
+export interface SymbolInfo {
+    name: string;
+    type: Type;
+    kind: SymbolKind;
+    mutable: boolean;
+    span?: Span;
+    captured?: boolean;
+    shadowedFrom?: SymbolInfo;
+}
+export type Symbol = SymbolInfo;
+export interface DefineOptions {
+    mutable?: boolean;
+    span?: Span;
+    captured?: boolean;
+    onShadow?: (current: SymbolInfo, shadowed: SymbolInfo) => void;
+}
+export declare class DuplicateSymbolError extends Error {
+    readonly symbol: SymbolInfo;
+    constructor(symbol: SymbolInfo);
+}
+declare class Scope {
+    private readonly parentScope;
+    private readonly scopeType;
+    private readonly symbols;
+    private readonly children;
+    constructor(parentScope: Scope | null, scopeType: ScopeType);
+    define(symbol: SymbolInfo): void;
+    lookup(name: string): SymbolInfo | undefined;
+    lookupLocal(name: string): SymbolInfo | undefined;
+    findShadowed(name: string): SymbolInfo | undefined;
+    enterScope(type: ScopeType): Scope;
+    exitScope(): Scope | null;
+    markCaptured(name: string): void;
+    getCapturedSymbols(): SymbolInfo[];
+    getParent(): Scope | null;
+    getType(): ScopeType;
+}
+export declare class SymbolTable {
+    private readonly root;
+    private current;
+    private readonly typeAliases;
+    private readonly aliasCache;
+    constructor();
+    enterScope(type: ScopeType): void;
+    exitScope(): void;
+    getCurrentScope(): Scope;
+    define(name: string, type: Type, kind: SymbolKind, options?: DefineOptions): void;
+    lookup(name: string): SymbolInfo | undefined;
+    lookupInCurrentScope(name: string): SymbolInfo | undefined;
+    markCaptured(name: string): void;
+    getCapturedSymbols(): SymbolInfo[];
+    defineTypeAlias(name: string, type: Type, span?: Span): void;
+    resolveTypeAlias(name: string): Type | undefined;
+    getTypeAliases(): Map<string, Type>;
+    private resolveAliasRecursive;
+    private expandAliasType;
+}
+export {};
+//# sourceMappingURL=symbol_table.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"symbol_table.d.ts","sourceRoot":"","sources":["../../../src/typecheck/symbol_table.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAE9C,KAAK,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;AAEtB,MAAM,MAAM,UAAU,GAAG,KAAK,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,YAAY,GAAG,OAAO,CAAC;AACnF,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG,UAAU,GAAG,OAAO,GAAG,QAAQ,CAAC;AAEnE,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,IAAI,CAAC;IACX,IAAI,EAAE,UAAU,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,CAAC,EAAE,IAAI,CAAC;IACZ,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,YAAY,CAAC,EAAE,UAAU,CAAC;CAC3B;AAED,MAAM,MAAM,MAAM,GAAG,UAAU,CAAC;AAEhC,MAAM,WAAW,aAAa;IAC5B,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,IAAI,CAAC,EAAE,IAAI,CAAC;IACZ,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,KAAK,IAAI,CAAC;CAChE;AAED,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;gBAEhB,MAAM,EAAE,UAAU;CAI/B;AAED,cAAM,KAAK;IAIG,OAAO,CAAC,QAAQ,CAAC,WAAW;IAAgB,OAAO,CAAC,QAAQ,CAAC,SAAS;IAHlF,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAiC;IACzD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAe;gBAEX,WAAW,EAAE,KAAK,GAAG,IAAI,EAAmB,SAAS,EAAE,SAAS;IAE7F,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI;IAWhC,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS;IAM5C,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS;IAIjD,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS;IAIlD,UAAU,CAAC,IAAI,EAAE,SAAS,GAAG,KAAK;IAMlC,SAAS,IAAI,KAAK,GAAG,IAAI;IAIzB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAKhC,kBAAkB,IAAI,UAAU,EAAE;IAIlC,SAAS,IAAI,KAAK,GAAG,IAAI;IAIzB,OAAO,IAAI,SAAS;CAGrB;AAOD,qBAAa,WAAW;IACtB,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAQ;IAC7B,OAAO,CAAC,OAAO,CAAQ;IACvB,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAqC;IACjE,OAAO,CAAC,QAAQ,CAAC,UAAU,CAA2B;;IAOtD,UAAU,CAAC,IAAI,EAAE,SAAS,GAAG,IAAI;IAIjC,SAAS,IAAI,IAAI;IAQjB,eAAe,IAAI,KAAK;IAIxB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,GAAE,aAAkB,GAAG,IAAI;IAwBrF,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS;IAI5C,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS;IAI1D,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAIhC,kBAAkB,IAAI,UAAU,EAAE;IAIlC,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,GAAG,IAAI;IAS5D,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAWhD,cAAc,IAAI,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;IAInC,OAAO,CAAC,qBAAqB;IAU7B,OAAO,CAAC,eAAe;CAyDxB"}

package/dist/src/typecheck/symbol_table.js

@@ -0,0 +1,208 @@
+export class DuplicateSymbolError extends Error {
+    symbol;
+    constructor(symbol) {
+        super(`Duplicate symbol '${symbol.name}' declared in the same scope`);
+        this.symbol = symbol;
+    }
+}
+class Scope {
+    parentScope;
+    scopeType;
+    symbols = new Map();
+    children = [];
+    constructor(parentScope, scopeType) {
+        this.parentScope = parentScope;
+        this.scopeType = scopeType;
+    }
+    define(symbol) {
+        if (this.symbols.has(symbol.name)) {
+            throw new DuplicateSymbolError(symbol);
+        }
+        const shadowed = this.findShadowed(symbol.name);
+        if (shadowed) {
+            symbol.shadowedFrom = shadowed;
+        }
+        this.symbols.set(symbol.name, symbol);
+    }
+    lookup(name) {
+        const local = this.symbols.get(name);
+        if (local)
+            return local;
+        return this.parentScope?.lookup(name);
+    }
+    lookupLocal(name) {
+        return this.symbols.get(name);
+    }
+    findShadowed(name) {
+        return this.parentScope?.lookup(name);
+    }
+    enterScope(type) {
+        const child = new Scope(this, type);
+        this.children.push(child);
+        return child;
+    }
+    exitScope() {
+        return this.parentScope;
+    }
+    markCaptured(name) {
+        const symbol = this.lookup(name);
+        if (symbol)
+            symbol.captured = true;
+    }
+    getCapturedSymbols() {
+        return [...this.symbols.values()].filter(sym => sym.captured);
+    }
+    getParent() {
+        return this.parentScope;
+    }
+    getType() {
+        return this.scopeType;
+    }
+}
+export class SymbolTable {
+    root;
+    current;
+    typeAliases = new Map();
+    aliasCache = new Map();
+    constructor() {
+        this.root = new Scope(null, 'module');
+        this.current = this.root;
+    }
+    enterScope(type) {
+        this.current = this.current.enterScope(type);
+    }
+    exitScope() {
+        const parent = this.current.exitScope();
+        if (!parent) {
+            throw new Error('Cannot exit root scope');
+        }
+        this.current = parent;
+    }
+    getCurrentScope() {
+        return this.current;
+    }
+    define(name, type, kind, options = {}) {
+        const symbol = {
+            name,
+            type,
+            kind,
+            mutable: options.mutable ?? false,
+            ...(options.span !== undefined && { span: options.span }),
+            captured: options.captured ?? false,
+        };
+        try {
+            this.current.define(symbol);
+        }
+        catch (error) {
+            if (error instanceof DuplicateSymbolError) {
+                throw error;
+            }
+            throw error;
+        }
+        if (symbol.shadowedFrom && options.onShadow) {
+            options.onShadow(symbol, symbol.shadowedFrom);
+        }
+    }
+    lookup(name) {
+        return this.current.lookup(name);
+    }
+    lookupInCurrentScope(name) {
+        return this.current.lookupLocal(name);
+    }
+    markCaptured(name) {
+        this.current.markCaptured(name);
+    }
+    getCapturedSymbols() {
+        return this.current.getCapturedSymbols();
+    }
+    defineTypeAlias(name, type, span) {
+        if (this.typeAliases.has(name)) {
+            throw new Error(`Duplicate type alias '${name}'`);
+        }
+        const entry = span !== undefined ? { type, span } : { type };
+        this.typeAliases.set(name, entry);
+        this.aliasCache.delete(name);
+    }
+    resolveTypeAlias(name) {
+        if (this.aliasCache.has(name)) {
+            return this.aliasCache.get(name);
+        }
+        const resolved = this.resolveAliasRecursive(name, new Set());
+        if (resolved) {
+            this.aliasCache.set(name, resolved);
+        }
+        return resolved;
+    }
+    getTypeAliases() {
+        return new Map([...this.typeAliases.entries()].map(([alias, entry]) => [alias, entry.type]));
+    }
+    resolveAliasRecursive(name, stack) {
+        const entry = this.typeAliases.get(name);
+        if (!entry)
+            return undefined;
+        if (stack.has(name))
+            return undefined;
+        stack.add(name);
+        const expanded = this.expandAliasType(entry.type, stack);
+        stack.delete(name);
+        return expanded;
+    }
+    expandAliasType(type, stack) {
+        switch (type.kind) {
+            case 'TypeName': {
+                const aliasName = type.name;
+                if (this.typeAliases.has(aliasName)) {
+                    const resolved = this.resolveAliasRecursive(aliasName, stack);
+                    return resolved ?? type;
+                }
+                return type;
+            }
+            case 'Maybe':
+                return {
+                    ...type,
+                    type: this.expandAliasType(type.type, stack),
+                };
+            case 'Option':
+                return {
+                    ...type,
+                    type: this.expandAliasType(type.type, stack),
+                };
+            case 'Result':
+                return {
+                    ...type,
+                    ok: this.expandAliasType(type.ok, stack),
+                    err: this.expandAliasType(type.err, stack),
+                };
+            case 'List':
+                return {
+                    ...type,
+                    type: this.expandAliasType(type.type, stack),
+                };
+            case 'Map':
+                return {
+                    ...type,
+                    key: this.expandAliasType(type.key, stack),
+                    val: this.expandAliasType(type.val, stack),
+                };
+            case 'TypeApp':
+                return {
+                    ...type,
+                    args: type.args.map(arg => this.expandAliasType(arg, stack)),
+                };
+            case 'FuncType':
+                return {
+                    ...type,
+                    params: type.params.map(param => this.expandAliasType(param, stack)),
+                    ret: this.expandAliasType(type.ret, stack),
+                };
+            case 'PiiType':
+                return {
+                    ...type,
+                    baseType: this.expandAliasType(type.baseType, stack),
+                };
+            default:
+                return type;
+        }
+    }
+}
+//# sourceMappingURL=symbol_table.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"symbol_table.js","sourceRoot":"","sources":["../../../src/typecheck/symbol_table.ts"],"names":[],"mappings":"AA0BA,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IACpC,MAAM,CAAa;IAE5B,YAAY,MAAkB;QAC5B,KAAK,CAAC,qBAAqB,MAAM,CAAC,IAAI,8BAA8B,CAAC,CAAC;QACtE,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAED,MAAM,KAAK;IAIoB;IAA4C;IAHxD,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;IACxC,QAAQ,GAAY,EAAE,CAAC;IAExC,YAA6B,WAAyB,EAAmB,SAAoB;QAAhE,gBAAW,GAAX,WAAW,CAAc;QAAmB,cAAS,GAAT,SAAS,CAAW;IAAG,CAAC;IAEjG,MAAM,CAAC,MAAkB;QACvB,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAC;QACzC,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAChD,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,CAAC,YAAY,GAAG,QAAQ,CAAC;QACjC,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IAED,MAAM,CAAC,IAAY;QACjB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;QACxB,OAAO,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IAED,WAAW,CAAC,IAAY;QACtB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IAED,YAAY,CAAC,IAAY;QACvB,OAAO,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IAED,UAAU,CAAC,IAAe;QACxB,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,SAAS;QACP,OAAO,IAAI,CAAC,WAAW,CAAC;IAC1B,CAAC;IAED,YAAY,CAAC,IAAY;QACvB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,MAAM;YAAE,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAC;IACrC,CAAC;IAED,kBAAkB;QAChB,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAChE,CAAC;IAED,SAAS;QACP,OAAO,IAAI,CAAC,WAAW,CAAC;IAC1B,CAAC;IAED,OAAO;QACL,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;CACF;AAOD,MAAM,OAAO,WAAW;IACL,IAAI,CAAQ;IACrB,OAAO,CAAQ;IACN,WAAW,GAAG,IAAI,GAAG,EAA0B,CAAC;IAChD,UAAU,GAAG,IAAI,GAAG,EAAgB,CAAC;IAEtD;QACE,IAAI,CAAC,IAAI,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACtC,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC;IAC3B,CAAC;IAED,UAAU,CAAC,IAAe;QACxB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC;IAED,SAAS;QACP,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QACxC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAC5C,CAAC;QACD,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;IACxB,CAAC;IAED,eAAe;QACb,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED,MAAM,CAAC,IAAY,EAAE,IAAU,EAAE,IAAgB,EAAE,UAAyB,EAAE;QAC5E,MAAM,MAAM,GAAe;YACzB,IAAI;YACJ,IAAI;YACJ,IAAI;YACJ,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,KAAK;YACjC,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;YACzD,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,KAAK;SACpC,CAAC;QAEF,IAAI,CAAC;YACH,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC9B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,oBAAoB,EAAE,CAAC;gBAC1C,MAAM,KAAK,CAAC;YACd,CAAC;YACD,MAAM,KAAK,CAAC;QACd,CAAC;QAED,IAAI,MAAM,CAAC,YAAY,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YAC5C,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IAED,MAAM,CAAC,IAAY;QACjB,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,oBAAoB,CAAC,IAAY;QAC/B,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IAED,YAAY,CAAC,IAAY;QACvB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;IAED,kBAAkB;QAChB,OAAO,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,CAAC;IAC3C,CAAC;IAED,eAAe,CAAC,IAAY,EAAE,IAAU,EAAE,IAAW;QACnD,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,GAAG,CAAC,CAAC;QACpD,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QAC7D,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAClC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,gBAAgB,CAAC,IAAY;QAC3B,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,qBAAqB,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAC7D,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACtC,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,cAAc;QACZ,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/F,CAAC;IAEO,qBAAqB,CAAC,IAAY,EAAE,KAAkB;QAC5D,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;QACtC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzD,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACnB,OAAO,QAAQ,CAAC;IAClB,CAAC;IAEO,eAAe,CAAC,IAAU,EAAE,KAAkB;QACpD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC;gBAC5B,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;oBACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;oBAC9D,OAAO,QAAQ,IAAI,IAAI,CAAC;gBAC1B,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,KAAK,OAAO;gBACV,OAAO;oBACL,GAAG,IAAI;oBACP,IAAI,EAAE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAY,EAAE,KAAK,CAAC;iBACrD,CAAC;YACJ,KAAK,QAAQ;gBACX,OAAO;oBACL,GAAG,IAAI;oBACP,IAAI,EAAE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAY,EAAE,KAAK,CAAC;iBACrD,CAAC;YACJ,KAAK,QAAQ;gBACX,OAAO;oBACL,GAAG,IAAI;oBACP,EAAE,EAAE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAAU,EAAE,KAAK,CAAC;oBAChD,GAAG,EAAE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,GAAW,EAAE,KAAK,CAAC;iBACnD,CAAC;YACJ,KAAK,MAAM;gBACT,OAAO;oBACL,GAAG,IAAI;oBACP,IAAI,EAAE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAY,EAAE,KAAK,CAAC;iBACrD,CAAC;YACJ,KAAK,KAAK;gBACR,OAAO;oBACL,GAAG,IAAI;oBACP,GAAG,EAAE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,GAAW,EAAE,KAAK,CAAC;oBAClD,GAAG,EAAE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,GAAW,EAAE,KAAK,CAAC;iBACnD,CAAC;YACJ,KAAK,SAAS;gBACZ,OAAO;oBACL,GAAG,IAAI;oBACP,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,GAAW,EAAE,KAAK,CAAC,CAAyB;iBAC7F,CAAC;YACJ,KAAK,UAAU;gBACb,OAAO;oBACL,GAAG,IAAI;oBACP,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,KAAa,EAAE,KAAK,CAAC,CAAyB;oBACpG,GAAG,EAAE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,GAAW,EAAE,KAAK,CAAC;iBACnD,CAAC;YACJ,KAAK,SAAS;gBACZ,OAAO;oBACL,GAAG,IAAI;oBACP,QAAQ,EAAE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,QAAgB,EAAE,KAAK,CAAC;iBAC7D,CAAC;YACJ;gBACE,OAAO,IAAI,CAAC;QAChB,CAAC;IACH,CAAC;CACF"}

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

@@ -0,0 +1,30 @@
+import type { Core, Span } from '../types.js';
+export type Type = Core.Type;
+export declare class TypeSystem {
+    static unknown(): Core.Type;
+    private static effectRank;
+    static equals(t1: Type, t2: Type, strict?: boolean): boolean;
+    static unify(t1: Type, t2: Type, bindings?: Map<string, Type>): boolean;
+    private static bindTypeVar;
+    private static bindEffectVar;
+    static isSubtype(sub: Type, sup: Type): boolean;
+    static expand(type: Type, aliases: Map<string, Type>): Type;
+    private static expandRecursive;
+    static inferListElementType(elements: readonly Core.Expression[]): Type;
+    static inferFunctionType(params: readonly Core.Parameter[], body: readonly Core.Statement[]): Core.FuncType;
+    static format(type: Type | undefined | null): string;
+    private static inferReturnType;
+    private static inferStaticType;
+}
+export interface TypeConstraint {
+    kind: 'equals' | 'subtype';
+    left: Type;
+    right: Type;
+    span?: Span;
+}
+export declare class ConstraintSolver {
+    private readonly constraints;
+    addConstraint(constraint: TypeConstraint): void;
+    solve(): Map<string, Type> | null;
+}
+//# sourceMappingURL=type_system.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"type_system.d.ts","sourceRoot":"","sources":["../../../src/typecheck/type_system.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAE9C,MAAM,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;AAwF7B,qBAAa,UAAU;IACrB,MAAM,CAAC,OAAO,IAAI,IAAI,CAAC,IAAI;IAI3B,OAAO,CAAC,MAAM,CAAC,UAAU;IAoBzB,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,UAAQ,GAAG,OAAO;IAkF1D,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,GAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAa,GAAG,OAAO;IA+ElF,OAAO,CAAC,MAAM,CAAC,WAAW;IAU1B,OAAO,CAAC,MAAM,CAAC,aAAa;IAe5B,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,GAAG,OAAO;IA0C/C,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,IAAI;IAK3D,OAAO,CAAC,MAAM,CAAC,eAAe;IAoD9B,MAAM,CAAC,oBAAoB,CAAC,QAAQ,EAAE,SAAS,IAAI,CAAC,UAAU,EAAE,GAAG,IAAI;IAgBvE,MAAM,CAAC,iBAAiB,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,IAAI,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,QAAQ;IAU3G,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,GAAG,SAAS,GAAG,IAAI,GAAG,MAAM;IAgCpD,OAAO,CAAC,MAAM,CAAC,eAAe;IAW9B,OAAO,CAAC,MAAM,CAAC,eAAe;CA6D/B;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,QAAQ,GAAG,SAAS,CAAC;IAC3B,IAAI,EAAE,IAAI,CAAC;IACX,KAAK,EAAE,IAAI,CAAC;IACZ,IAAI,CAAC,EAAE,IAAI,CAAC;CACb;AAED,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAwB;IAEpD,aAAa,CAAC,UAAU,EAAE,cAAc,GAAG,IAAI;IAI/C,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,IAAI;CAgBlC"}