yukigo-haskell-parser 0.1.0 → 0.1.2

package/dist/typechecker/TypeBuilder.js

@@ -1,6 +1,6 @@
-import { SimpleType, TypeVar as ASTTypeVar, } from "@yukigo/ast";
+import { SimpleType, TypeVar as ASTTypeVar, } from "yukigo-ast";
 import { typeMappings } from "../utils/types.js";
-import { functionType } from "./checker.js";
+import { functionType, stringType, charType } from "./checker.js";
 export class TypeBuilder {
     coreHM;
     constructor(coreHM) {
@@ -28,6 +28,10 @@ export class TypeBuilder {
                 }
                 // Uppercase = type constructor (e.g., Int, Bool, List)
                 const primitive = typeMappings[n.value] || n.value;
+                if (primitive === "YuString")
+                    return stringType;
+                if (primitive === "YuChar")
+                    return charType;
                 return {
                     type: "TypeConstructor",
                     name: primitive,

package/dist/typechecker/TypeBuilder.js.map

@@ -1 +1 @@
-{"version":3,"file":"TypeBuilder.js","sourceRoot":"","sources":["../../src/typechecker/TypeBuilder.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EACV,OAAO,IAAI,UAAU,GAStB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEjD,OAAO,EAAE,YAAY,EAAkC,MAAM,cAAc,CAAC;AAE5E,MAAM,OAAO,WAAW;IACF;IAApB,YAAoB,MAAc;QAAd,WAAM,GAAN,MAAM,CAAQ;IAAG,CAAC;IAEtC,KAAK,CACH,IAAgB,EAChB,aAAmC,IAAI,GAAG,EAAE;QAE5C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAoB,CAAC;QAEnD,wCAAwC;QACxC,MAAM,OAAO,GAAG;YACd,eAAe,EAAE,CAAC,CAAa,EAAQ,EAAE;gBACvC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC3B,4BAA4B;oBAC5B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;wBAC7B,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE;4BACtB,IAAI,EAAE,SAAS;4BACf,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE;4BACzB,IAAI,EAAE,CAAC,CAAC,KAAK;yBACd,CAAC,CAAC;oBACL,CAAC;oBACD,uCAAuC;oBACvC,KAAK,MAAM,UAAU,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;wBACvC,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC;oBACjE,CAAC;oBACD,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAE,CAAC;gBAClC,CAAC;gBAED,uDAAuD;gBACvD,MAAM,SAAS,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC;gBACnD,OAAO;oBACL,IAAI,EAAE,iBAAiB;oBACvB,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,EAAE;iBACT,CAAC;YACJ,CAAC;YAED,YAAY,EAAE,CAAC,CAAa,EAAQ,EAAE;gBACpC,wCAAwC;gBACxC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC7B,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE;wBACtB,IAAI,EAAE,SAAS;wBACf,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE;wBACzB,IAAI,EAAE,CAAC,CAAC,KAAK;qBACd,CAAC,CAAC;gBACL,CAAC;gBACD,KAAK,MAAM,UAAU,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;oBACvC,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC;gBACjE,CAAC;gBACD,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAE,CAAC;YAClC,CAAC;YAED,aAAa,EAAE,CAAC,CAAW,EAAQ,EAAE;gBACnC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC7C,OAAO;oBACL,IAAI,EAAE,iBAAiB;oBACvB,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,CAAC,WAAW,CAAC;iBACpB,CAAC;YACJ,CAAC;YAED,cAAc,EAAE,CAAC,CAAY,EAAQ,EAAE;gBACrC,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;gBAC5D,OAAO;oBACL,IAAI,EAAE,iBAAiB;oBACvB,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,YAAY;iBACnB,CAAC;YACJ,CAAC;YAED,oBAAoB,EAAE,CAAC,CAAkB,EAAQ,EAAE;gBACjD,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YAChC,CAAC;YAED,sBAAsB,EAAE,CAAC,CAAoB,EAAQ,EAAE;gBACrD,yDAAyD;gBACzD,wBAAwB;gBACxB,MAAM,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAChD,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;gBAElE,mCAAmC;gBACnC,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,CACrC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,EACxC,UAAU,CACX,CAAC;gBAEF,sBAAsB;gBACtB,KAAK,MAAM,UAAU,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;oBACvC,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC;gBACjE,CAAC;gBAED,OAAO,QAAQ,CAAC;YAClB,CAAC;YAED,oBAAoB,EAAE,CAAC,CAAkB,EAAQ,EAAE;gBACjD,sFAAsF;gBACtF,2BAA2B;gBAC3B,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;YAClE,CAAC;YACD,KAAK,CAAC,IAAa;gBACjB,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC9B,CAAC;SACF,CAAC;QAEF,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAClC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC;IAC/C,CAAC;IAEO,iBAAiB,CACvB,UAAsB,EACtB,UAAwD,EACxD,cAAqC;QAErC,oEAAoE;QACpE,IAAI,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QAE/C,MAAM,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5C,sCAAsC;QACtC,IACE,CAAC,UAAU,YAAY,UAAU,IAAI,UAAU,YAAY,UAAU,CAAC;YACtE,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAC/B,CAAC;YACD,MAAM,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAC5C,IAAI,EAAE,EAAE,CAAC;gBACP,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC/B,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;gBAChC,CAAC;gBACD,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAE,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;IACH,CAAC;CACF"}
+{"version":3,"file":"TypeBuilder.js","sourceRoot":"","sources":["../../src/typechecker/TypeBuilder.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EACV,OAAO,IAAI,UAAU,GAStB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEjD,OAAO,EAAE,YAAY,EAAkC,UAAU,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAElG,MAAM,OAAO,WAAW;IACF;IAApB,YAAoB,MAAc;QAAd,WAAM,GAAN,MAAM,CAAQ;IAAG,CAAC;IAEtC,KAAK,CACH,IAAgB,EAChB,aAAmC,IAAI,GAAG,EAAE;QAE5C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAoB,CAAC;QAEnD,wCAAwC;QACxC,MAAM,OAAO,GAAG;YACd,eAAe,EAAE,CAAC,CAAa,EAAQ,EAAE;gBACvC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC3B,4BAA4B;oBAC5B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;wBAC7B,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE;4BACtB,IAAI,EAAE,SAAS;4BACf,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE;4BACzB,IAAI,EAAE,CAAC,CAAC,KAAK;yBACd,CAAC,CAAC;oBACL,CAAC;oBACD,uCAAuC;oBACvC,KAAK,MAAM,UAAU,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;wBACvC,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC;oBACjE,CAAC;oBACD,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAE,CAAC;gBAClC,CAAC;gBAED,uDAAuD;gBACvD,MAAM,SAAS,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC;gBACnD,IAAI,SAAS,KAAK,UAAU;oBAAE,OAAO,UAAU,CAAC;gBAChD,IAAI,SAAS,KAAK,QAAQ;oBAAE,OAAO,QAAQ,CAAC;gBAC5C,OAAO;oBACL,IAAI,EAAE,iBAAiB;oBACvB,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,EAAE;iBACT,CAAC;YACJ,CAAC;YAED,YAAY,EAAE,CAAC,CAAa,EAAQ,EAAE;gBACpC,wCAAwC;gBACxC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC7B,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE;wBACtB,IAAI,EAAE,SAAS;wBACf,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE;wBACzB,IAAI,EAAE,CAAC,CAAC,KAAK;qBACd,CAAC,CAAC;gBACL,CAAC;gBACD,KAAK,MAAM,UAAU,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;oBACvC,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC;gBACjE,CAAC;gBACD,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAE,CAAC;YAClC,CAAC;YAED,aAAa,EAAE,CAAC,CAAW,EAAQ,EAAE;gBACnC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC7C,OAAO;oBACL,IAAI,EAAE,iBAAiB;oBACvB,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,CAAC,WAAW,CAAC;iBACpB,CAAC;YACJ,CAAC;YAED,cAAc,EAAE,CAAC,CAAY,EAAQ,EAAE;gBACrC,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;gBAC5D,OAAO;oBACL,IAAI,EAAE,iBAAiB;oBACvB,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,YAAY;iBACnB,CAAC;YACJ,CAAC;YAED,oBAAoB,EAAE,CAAC,CAAkB,EAAQ,EAAE;gBACjD,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YAChC,CAAC;YAED,sBAAsB,EAAE,CAAC,CAAoB,EAAQ,EAAE;gBACrD,yDAAyD;gBACzD,wBAAwB;gBACxB,MAAM,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAChD,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;gBAElE,mCAAmC;gBACnC,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,CACrC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,EACxC,UAAU,CACX,CAAC;gBAEF,sBAAsB;gBACtB,KAAK,MAAM,UAAU,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;oBACvC,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC;gBACjE,CAAC;gBAED,OAAO,QAAQ,CAAC;YAClB,CAAC;YAED,oBAAoB,EAAE,CAAC,CAAkB,EAAQ,EAAE;gBACjD,sFAAsF;gBACtF,2BAA2B;gBAC3B,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;YAClE,CAAC;YACD,KAAK,CAAC,IAAa;gBACjB,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC9B,CAAC;SACF,CAAC;QAEF,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAClC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC;IAC/C,CAAC;IAEO,iBAAiB,CACvB,UAAsB,EACtB,UAAwD,EACxD,cAAqC;QAErC,oEAAoE;QACpE,IAAI,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QAE/C,MAAM,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5C,sCAAsC;QACtC,IACE,CAAC,UAAU,YAAY,UAAU,IAAI,UAAU,YAAY,UAAU,CAAC;YACtE,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAC/B,CAAC;YACD,MAAM,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAC5C,IAAI,EAAE,EAAE,CAAC;gBACP,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC/B,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;gBAChC,CAAC;gBACD,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAE,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;IACH,CAAC;CACF"}

package/dist/typechecker/checker.d.ts

@@ -1,4 +1,4 @@
-import { AST, Function, UnguardedBody, GuardedBody, Visitor } from "@yukigo/ast";
+import { AST, Function, Visitor, Sequence, TestGroup, Test, Assert, ASTNode } from "yukigo-ast";
 import { CoreHM } from "./core.js";
 export interface TypeVar {
     type: "TypeVar";
@@ -44,13 +44,18 @@ export type Result<T> = {
 };
 export declare const booleanType: TypeConstructor;
 export declare const numberType: TypeConstructor;
-export declare const stringType: TypeConstructor;
+export declare const charType: TypeConstructor;
+export declare const stringType: Type;
 export declare class FunctionRegistrarVisitor implements Visitor<void> {
     private env;
     private signatureMap;
     private coreHM;
     constructor(env: Environment, signatureMap: Map<string, TypeScheme>, coreHM: CoreHM);
+    visitSequence(node: Sequence): void;
     visitFunction(node: Function): void;
+    visitTestGroup(node: TestGroup): void;
+    visitTest(node: Test): void;
+    visitAssert(node: Assert): void;
 }
 export declare class FunctionCheckerVisitor implements Visitor<void> {
     private environments;
@@ -58,6 +63,9 @@ export declare class FunctionCheckerVisitor implements Visitor<void> {
     private coreHM;
     private errors;
     constructor(environments: Environment[], signatureMap: Map<string, TypeScheme>, coreHM: CoreHM, errors: string[]);
+    visitTestGroup(node: TestGroup): void;
+    visitTest(node: Test): void;
+    visitAssert(node: Assert): void;
     visitFunction(node: Function): void;
 }
 export declare class TypeChecker {
@@ -66,15 +74,18 @@ export declare class TypeChecker {
     private errors;
     constructor();
     check(ast: AST): string[];
+    inferExpression(expr: ASTNode): string;
+    getKnownSymbols(): string[];
     inferencePass(ast: AST): void;
 }
-export declare function showType(t: Type): string;
+type SeenTypeNames = Map<number, string>;
+export declare function showType(t: Type, seen?: SeenTypeNames): string;
 export declare function getReturnType(type: Type): Type;
 export declare function getArgumentTypes(type: Type): Type[];
 export declare function getArity(type: Type): number;
-export declare function isUnguardedBody(body: UnguardedBody | GuardedBody[]): body is UnguardedBody;
 export declare function isFunctionType(t: Type): t is FunctionType;
 export declare function isListType(t: Type): t is ListType;
 export declare function isTupleType(t: Type): t is TupleType;
 export declare function functionType(params: Type, returnType: Type): FunctionType;
 export declare function listType(elementsType: Type): ListType;
+export {};

package/dist/typechecker/checker.js

@@ -1,7 +1,8 @@
-import { Function, Return, } from "@yukigo/ast";
+import { Function, Return, isUnguardedBody, Sequence, } from "yukigo-ast";
 import { InferenceEngine, PatternVisitor } from "./inference.js";
 import { CoreHM } from "./core.js";
 import { DeclarationCollectorVisitor } from "./DeclarationCollector.js";
+import { typeClasses as staticTypeClasses } from "../utils/types.js";
 export const booleanType = {
     type: "TypeConstructor",
     name: "YuBoolean",
@@ -12,11 +13,12 @@ export const numberType = {
     name: "YuNumber",
     args: [],
 };
-export const stringType = {
+export const charType = {
     type: "TypeConstructor",
-    name: "YuString",
+    name: "YuChar",
     args: [],
 };
+export const stringType = listType(charType);
 export class FunctionRegistrarVisitor {
     env;
     signatureMap;
@@ -26,6 +28,9 @@ export class FunctionRegistrarVisitor {
         this.signatureMap = signatureMap;
         this.coreHM = coreHM;
     }
+    visitSequence(node) {
+        node.statements.forEach((stmt) => stmt.accept(this));
+    }
     visitFunction(node) {
         const functionName = node.identifier.value;
         let funcScheme = this.signatureMap.get(functionName);
@@ -41,15 +46,27 @@ export class FunctionRegistrarVisitor {
         }
         for (const equation of node.equations) {
             if (isUnguardedBody(equation.body)) {
-                const { statements } = equation.body.sequence;
+                const statements = equation.body.sequence.statements;
                 statements
                     .filter((stmt) => stmt instanceof Function)
                     .forEach((func) => {
                     this.env.set(func.identifier.value, funcScheme);
                 });
             }
+            else {
+                for (const guard of equation.body) {
+                    guard.body.accept(this);
+                }
+            }
         }
     }
+    visitTestGroup(node) {
+        node.group.accept(this);
+    }
+    visitTest(node) {
+        node.body.accept(this);
+    }
+    visitAssert(node) { }
 }
 export class FunctionCheckerVisitor {
     environments;
@@ -62,6 +79,16 @@ export class FunctionCheckerVisitor {
         this.coreHM = coreHM;
         this.errors = errors;
     }
+    visitTestGroup(node) {
+        node.group.accept(this);
+    }
+    visitTest(node) {
+        node.body.accept(this);
+    }
+    visitAssert(node) {
+        const inferenceEngine = new InferenceEngine(this.signatureMap, this.coreHM, this.environments);
+        node.body.accept(inferenceEngine);
+    }
     visitFunction(node) {
         const functionName = node.identifier.value;
         let funcScheme = this.signatureMap.get(functionName);
@@ -105,19 +132,28 @@ export class FunctionCheckerVisitor {
         }
         const expectedArity = getArity(this.coreHM.instantiate(funcScheme));
         for (const [index, equation] of node.equations.entries()) {
-            if (equation.patterns.length !== expectedArity) {
-                this.errors.push(`Type error in '${functionName}': Arity mismatch in equation number ${index}`);
+            if (equation.patterns.length > expectedArity) {
+                this.errors.push(`Type error in '${functionName}': Too many parameters in equation ${index}. Expected max ${expectedArity}, got ${equation.patterns.length}`);
                 continue;
             }
             try {
                 const funcType = this.coreHM.instantiate(funcScheme);
-                const returnType = getReturnType(funcType);
+                // FIX 2: No buscamos el "ReturnType" final absoluto, sino el tipo restante
+                // Si funcType es A -> B -> C y consumimos 1 patrón, el cuerpo debe ser B -> C
+                let expectedBodyType = funcType;
+                // "Pelamos" el tipo función tantas veces como argumentos explícitos tengamos
+                for (let i = 0; i < equation.patterns.length; i++) {
+                    if (isFunctionType(expectedBodyType)) {
+                        expectedBodyType = expectedBodyType.args[1];
+                    }
+                }
                 const patternTypes = getArgumentTypes(funcType);
                 this.environments.unshift(new Map());
                 const inferenceEngine = new InferenceEngine(this.signatureMap, this.coreHM, this.environments);
-                patternTypes.forEach((argType, i) => {
+                equation.patterns.forEach((pattern, i) => {
+                    const argType = patternTypes[i]; // El tipo correspondiente a este patrón
                     try {
-                        equation.patterns[i].accept(new PatternVisitor(this.coreHM, this.signatureMap, argType, this.environments, inferenceEngine));
+                        pattern.accept(new PatternVisitor(this.coreHM, this.signatureMap, argType, this.environments, inferenceEngine));
                     }
                     catch (error) {
                         this.errors.push(`Type error in '${functionName}': ${error.message}`);
@@ -133,7 +169,7 @@ export class FunctionCheckerVisitor {
                         this.errors.push(`Type error in '${functionName}': ${returnResult.error}`);
                         return;
                     }
-                    const sub = this.coreHM.unify(returnResult.value, returnType);
+                    const sub = this.coreHM.unify(returnResult.value, expectedBodyType);
                     if (sub.success === false)
                         throw Error(sub.error);
                 }
@@ -147,10 +183,14 @@ export class FunctionCheckerVisitor {
                         const conditionSub = this.coreHM.unify(condition.value, booleanType);
                         if (conditionSub.success === false)
                             throw Error(conditionSub.error);
-                        const bodyResult = guard.body.accept(inferenceEngine);
+                        let body = guard.body;
+                        if (guard.body instanceof Sequence) {
+                            body = guard.body.statements.find((stmt) => stmt instanceof Return);
+                        }
+                        const bodyResult = body.accept(inferenceEngine);
                         if (bodyResult.success === false)
                             throw Error(bodyResult.error);
-                        const sub = this.coreHM.unify(bodyResult.value, returnType);
+                        const sub = this.coreHM.unify(bodyResult.value, expectedBodyType);
                         if (sub.success === false)
                             throw Error(sub.error);
                     }
@@ -169,11 +209,11 @@ export class TypeChecker {
     errors;
     constructor() {
         this.signatureMap = new Map();
-        this.coreHM = new CoreHM();
         this.errors = [];
     }
     check(ast) {
         const typeAliasMap = new Map();
+        this.coreHM = new CoreHM(typeAliasMap, new Map(staticTypeClasses));
         const recordMap = new Map();
         // Phase 1: Collect declarations
         const collector = new DeclarationCollectorVisitor(this.errors, typeAliasMap, recordMap, this.signatureMap, this.coreHM);
@@ -191,6 +231,19 @@ export class TypeChecker {
         this.inferencePass(ast);
         return this.errors;
     }
+    inferExpression(expr) {
+        if (!this.coreHM || !this.signatureMap)
+            throw new Error("Environment not initialized.");
+        const globalEnv = new Map(this.signatureMap);
+        const inferenceEngine = new InferenceEngine(this.signatureMap, this.coreHM, [globalEnv]);
+        const result = expr.accept(inferenceEngine);
+        if (result.success === false)
+            throw new Error(result.error);
+        return showType(result.value);
+    }
+    getKnownSymbols() {
+        return Array.from(this.signatureMap.keys());
+    }
     inferencePass(ast) {
         // Step 1: Register all functions in env
         const globalEnv = new Map(this.signatureMap);
@@ -205,22 +258,55 @@ export class TypeChecker {
         }
     }
 }
-export function showType(t) {
+const YuNameMap = {
+    YuNumber: "YuNumber",
+    YuString: "YuString",
+    YuBoolean: "YuBoolean",
+    YuChar: "YuChar",
+};
+const getVarName = (id, name, seen) => {
+    if (name)
+        return name;
+    if (seen.has(id))
+        return seen.get(id);
+    const index = seen.size;
+    const letter = String.fromCharCode(97 + (index % 26));
+    const suffix = index >= 26 ? Math.floor(index / 26).toString() : "";
+    const generatedName = `${letter}${suffix}`;
+    seen.set(id, generatedName);
+    return generatedName;
+};
+const collectTypeVars = (t) => t.type === "TypeVar" ? [t] : t.args.flatMap(collectTypeVars);
+const formatBody = (t, seen) => {
     if (t.type === "TypeVar")
-        return t.name ?? `t${t.id}`;
+        return getVarName(t.id, t.name, seen);
     if (isFunctionType(t)) {
-        const a = showType(t.args[0]);
-        const b = showType(t.args[1]);
-        const aDisp = isFunctionType(t.args[0]) ? `(${a})` : a;
-        return `${aDisp} -> ${b}`;
+        const left = formatBody(t.args[0], seen);
+        const right = formatBody(t.args[1], seen);
+        return isFunctionType(t.args[0])
+            ? `(${left}) -> ${right}`
+            : `${left} -> ${right}`;
     }
-    if (isListType(t))
+    if (isListType(t)) {
+        if (t.args[0].type === "TypeConstructor" && t.args[0].name === "YuChar") {
+            return "YuString";
+        }
         return `[${showType(t.args[0])}]`;
+    }
     if (isTupleType(t))
         return `(${t.args.map(showType.bind(this)).join(", ")})`;
+    const name = YuNameMap[t.name] || t.name;
     return t.args.length
-        ? `${t.name} ${t.args.map(showType.bind(this)).join(" ")}`
-        : t.name;
+        ? `${name} ${t.args.map((a) => formatBody(a, seen)).join(" ")}`
+        : name;
+};
+export function showType(t, seen = new Map()) {
+    const bodyStr = formatBody(t, seen);
+    const constraints = Array.from(new Set(collectTypeVars(t).flatMap(({ constraints, id, name }) => constraints.map((c) => `${c} ${getVarName(id, name, seen)}`))));
+    if (constraints.length === 0)
+        return bodyStr;
+    const context = constraints.length === 1 ? constraints[0] : `(${constraints.join(", ")})`;
+    return `${context} => ${bodyStr}`;
 }
 export function getReturnType(type) {
     let t = type;
@@ -240,9 +326,6 @@ export function getArgumentTypes(type) {
 export function getArity(type) {
     return getArgumentTypes(type).length;
 }
-export function isUnguardedBody(body) {
-    return !Array.isArray(body);
-}
 export function isFunctionType(t) {
     return t.type === "TypeConstructor" && t.name === "->" && t.args.length === 2;
 }

package/dist/typechecker/checker.js.map

@@ -1 +1 @@
-{"version":3,"file":"checker.js","sourceRoot":"","sources":["../../src/typechecker/checker.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,QAAQ,EAIR,MAAM,GACP,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACjE,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAEnC,OAAO,EAAE,2BAA2B,EAAE,MAAM,2BAA2B,CAAC;AA+CxE,MAAM,CAAC,MAAM,WAAW,GAAoB;IAC1C,IAAI,EAAE,iBAAiB;IACvB,IAAI,EAAE,WAAW;IACjB,IAAI,EAAE,EAAE;CACT,CAAC;AACF,MAAM,CAAC,MAAM,UAAU,GAAoB;IACzC,IAAI,EAAE,iBAAiB;IACvB,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,EAAE;CACT,CAAC;AACF,MAAM,CAAC,MAAM,UAAU,GAAoB;IACzC,IAAI,EAAE,iBAAiB;IACvB,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,EAAE;CACT,CAAC;AAEF,MAAM,OAAO,wBAAwB;IAEzB;IACA;IACA;IAHV,YACU,GAAgB,EAChB,YAAqC,EACrC,MAAc;QAFd,QAAG,GAAH,GAAG,CAAa;QAChB,iBAAY,GAAZ,YAAY,CAAyB;QACrC,WAAM,GAAN,MAAM,CAAQ;IACrB,CAAC;IACJ,aAAa,CAAC,IAAc;QAC1B,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;QAC3C,IAAI,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QACrD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YAC3C,UAAU,GAAG;gBACX,IAAI,EAAE,YAAY;gBAClB,WAAW,EAAE,EAAE;gBACf,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,IAAI,GAAG,EAAE;aACvB,CAAC;YACF,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;QACzC,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACtC,IAAI,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnC,MAAM,EAAE,UAAU,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAC9C,UAAU;qBACP,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,YAAY,QAAQ,CAAC;qBAC1C,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;oBAChB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;gBAClD,CAAC,CAAC,CAAC;YACP,CAAC;QACH,CAAC;IACH,CAAC;CACF;AACD,MAAM,OAAO,sBAAsB;IAEvB;IACA;IACA;IACA;IAJV,YACU,YAA2B,EAC3B,YAAqC,EACrC,MAAc,EACd,MAAgB;QAHhB,iBAAY,GAAZ,YAAY,CAAe;QAC3B,iBAAY,GAAZ,YAAY,CAAyB;QACrC,WAAM,GAAN,MAAM,CAAQ;QACd,WAAM,GAAN,MAAM,CAAU;IACvB,CAAC;IACJ,aAAa,CAAC,IAAc;QAC1B,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;QAC3C,IAAI,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QACrD,oCAAoC;QACpC,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAClC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;YACrC,MAAM,eAAe,GAAG,IAAI,eAAe,CACzC,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,YAAY,CAClB,CAAC;YACF,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;YAEtE,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;gBAC7B,IAAI,CAAC;oBACH,IAAI,cAAc,CAChB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,YAAY,EACjB,IAAI,EACJ,IAAI,CAAC,YAAY,EACjB,eAAe,CAChB,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC/B,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,YAAY,MAAM,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;gBACxE,CAAC;YACH,CAAC,CAAC,CAAC;YAEH,IAAI,gBAAsB,CAAC;YAC3B,IAAI,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClC,MAAM,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;gBAC5D,kBAAkB,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAClC,IAAI,CAAC,MAAM,CACT,IAAI,sBAAsB,CACxB,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,MAAM,CACZ,CACF,CACF,CAAC;gBACF,MAAM,YAAY,GAAG,kBAAkB;qBACpC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,YAAY,MAAM,CAAC;qBACtC,MAAM,CAAC,eAAe,CAAC,CAAC;gBAC3B,IAAI,YAAY,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;oBACnC,IAAI,CAAC,MAAM,CAAC,IAAI,CACd,kBAAkB,YAAY,MAAM,YAAY,CAAC,KAAK,EAAE,CACzD,CAAC;oBACF,OAAO;gBACT,CAAC;gBACD,gBAAgB,GAAG,YAAY,CAAC,KAAK,CAAC;YACxC,CAAC;iBAAM,CAAC;gBACN,6CAA6C;gBAC7C,gBAAgB,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,cAAc;YAC3D,CAAC;YAED,MAAM,YAAY,GAAG,UAAU,CAAC,WAAW,CACzC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,EACxC,gBAAgB,CACjB,CAAC;YAEF,mEAAmE;YACnE,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;YAC1B,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;YACxE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YAChD,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;QACrD,CAAC;QAED,MAAM,aAAa,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC;QACpE,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;YACzD,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;gBAC/C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,YAAY,wCAAwC,KAAK,EAAE,CAAC,CAAC;gBAChG,SAAS;YACX,CAAC;YACD,IAAI,CAAC;gBACH,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;gBAErD,MAAM,UAAU,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;gBAC3C,MAAM,YAAY,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;gBAEhD,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;gBACrC,MAAM,eAAe,GAAG,IAAI,eAAe,CACzC,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,YAAY,CAClB,CAAC;gBACF,YAAY,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE;oBAClC,IAAI,CAAC;wBACH,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CACzB,IAAI,cAAc,CAChB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,YAAY,EACjB,OAAO,EACP,IAAI,CAAC,YAAY,EACjB,eAAe,CAChB,CACF,CAAC;oBACJ,CAAC;oBAAC,OAAO,KAAK,EAAE,CAAC;wBACf,IAAI,CAAC,MAAM,CAAC,IAAI,CACd,kBAAkB,YAAY,MAAM,KAAK,CAAC,OAAO,EAAE,CACpD,CAAC;oBACJ,CAAC;gBACH,CAAC,CAAC,CAAC;gBACH,IAAI,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBACnC,MAAM,kBAAkB,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;oBAC7D,kBAAkB,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAClC,IAAI,CAAC,MAAM,CACT,IAAI,sBAAsB,CACxB,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,MAAM,CACZ,CACF,CACF,CAAC;oBACF,MAAM,YAAY,GAAG,kBAAkB;yBACpC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,YAAY,MAAM,CAAC;yBACtC,MAAM,CAAC,eAAe,CAAC,CAAC;oBAC3B,IAAI,YAAY,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;wBACnC,IAAI,CAAC,MAAM,CAAC,IAAI,CACd,kBAAkB,YAAY,MAAM,YAAY,CAAC,KAAK,EAAE,CACzD,CAAC;wBACF,OAAO;oBACT,CAAC;oBAED,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;oBAC9D,IAAI,GAAG,CAAC,OAAO,KAAK,KAAK;wBAAE,MAAM,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACpD,CAAC;qBAAM,CAAC;oBACN,2BAA2B;oBAC3B,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;wBAClC,qEAAqE;wBAErE,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;wBAC1D,IAAI,SAAS,CAAC,OAAO,KAAK,KAAK;4BAAE,MAAM,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;wBAE9D,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CACpC,SAAS,CAAC,KAAK,EACf,WAAW,CACZ,CAAC;wBACF,IAAI,YAAY,CAAC,OAAO,KAAK,KAAK;4BAAE,MAAM,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;wBAEpE,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;wBACtD,IAAI,UAAU,CAAC,OAAO,KAAK,KAAK;4BAAE,MAAM,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;wBAEhE,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;wBAC5D,IAAI,GAAG,CAAC,OAAO,KAAK,KAAK;4BAAE,MAAM,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;oBACpD,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;YAC5B,CAAC;YAAC,OAAO,KAAU,EAAE,CAAC;gBACpB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,YAAY,MAAM,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;YACxE,CAAC;QACH,CAAC;IACH,CAAC;CACF;AAED,MAAM,OAAO,WAAW;IACd,YAAY,CAA0B;IACtC,MAAM,CAAS;IACf,MAAM,CAAW;IAEzB;QACE,IAAI,CAAC,YAAY,GAAG,IAAI,GAAG,EAAsB,CAAC;QAClD,IAAI,CAAC,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;IACnB,CAAC;IACD,KAAK,CAAC,GAAQ;QACZ,MAAM,YAAY,GAAG,IAAI,GAAG,EAAgB,CAAC;QAC7C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAgB,CAAC;QAE1C,gCAAgC;QAChC,MAAM,SAAS,GAAG,IAAI,2BAA2B,CAC/C,IAAI,CAAC,MAAM,EACX,YAAY,EACZ,SAAS,EACT,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,MAAM,CACZ,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;YACvB,IAAI,CAAC;gBACH,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YACzB,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC;QAE/C,qCAAqC;QACrC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;QAExB,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IACD,aAAa,CAAC,GAAQ;QACpB,wCAAwC;QACxC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAqB,IAAI,CAAC,YAAY,CAAC,CAAC;QACjE,MAAM,QAAQ,GAAG,IAAI,wBAAwB,CAC3C,SAAS,EACT,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,MAAM,CACZ,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;YACvB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACxB,CAAC;QACD,wCAAwC;QACxC,MAAM,QAAQ,GAAG,IAAI,sBAAsB,CACzC,CAAC,SAAS,CAAC,EACX,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,MAAM,CACZ,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;YACvB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;CACF;AAED,MAAM,UAAU,QAAQ,CAAC,CAAO;IAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC;IAEtD,IAAI,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO,GAAG,KAAK,OAAO,CAAC,EAAE,CAAC;IAC5B,CAAC;IACD,IAAI,UAAU,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACrD,IAAI,WAAW,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAE7E,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM;QAClB,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;QAC1D,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACb,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAU;IACtC,IAAI,CAAC,GAAS,IAAI,CAAC;IACnB,OAAO,cAAc,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,OAAO,CAAC,CAAC;AACX,CAAC;AACD,MAAM,UAAU,gBAAgB,CAAC,IAAU;IACzC,MAAM,IAAI,GAAW,EAAE,CAAC;IACxB,IAAI,CAAC,GAAS,IAAI,CAAC;IACnB,OAAO,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AACD,MAAM,UAAU,QAAQ,CAAC,IAAU;IACjC,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,IAAmC;IAEnC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,CAAO;IACpC,OAAO,CAAC,CAAC,IAAI,KAAK,iBAAiB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC;AAChF,CAAC;AACD,MAAM,UAAU,UAAU,CAAC,CAAO;IAChC,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC;AAC3B,CAAC;AACD,MAAM,UAAU,WAAW,CAAC,CAAO;IACjC,OAAO,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,MAAY,EAAE,UAAgB;IACzD,OAAO;QACL,IAAI,EAAE,iBAAiB;QACvB,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC;KAC3B,CAAC;AACJ,CAAC;AACD,MAAM,UAAU,QAAQ,CAAC,YAAkB;IACzC,OAAO;QACL,IAAI,EAAE,iBAAiB;QACvB,IAAI,EAAE,MAAM;QACZ,IAAI,EAAE,CAAC,YAAY,CAAC;KACrB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"checker.js","sourceRoot":"","sources":["../../src/typechecker/checker.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,QAAQ,EAER,MAAM,EACN,eAAe,EACf,QAAQ,GAKT,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACjE,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AACnC,OAAO,EAAE,2BAA2B,EAAE,MAAM,2BAA2B,CAAC;AACxE,OAAO,EAAE,WAAW,IAAI,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AA+CrE,MAAM,CAAC,MAAM,WAAW,GAAoB;IAC1C,IAAI,EAAE,iBAAiB;IACvB,IAAI,EAAE,WAAW;IACjB,IAAI,EAAE,EAAE;CACT,CAAC;AACF,MAAM,CAAC,MAAM,UAAU,GAAoB;IACzC,IAAI,EAAE,iBAAiB;IACvB,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,EAAE;CACT,CAAC;AACF,MAAM,CAAC,MAAM,QAAQ,GAAoB;IACvC,IAAI,EAAE,iBAAiB;IACvB,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,EAAE;CACT,CAAC;AACF,MAAM,CAAC,MAAM,UAAU,GAAS,QAAQ,CAAC,QAAQ,CAAC,CAAC;AAEnD,MAAM,OAAO,wBAAwB;IAEzB;IACA;IACA;IAHV,YACU,GAAgB,EAChB,YAAqC,EACrC,MAAc;QAFd,QAAG,GAAH,GAAG,CAAa;QAChB,iBAAY,GAAZ,YAAY,CAAyB;QACrC,WAAM,GAAN,MAAM,CAAQ;IACrB,CAAC;IACJ,aAAa,CAAC,IAAc;QAC1B,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,aAAa,CAAC,IAAc;QAC1B,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;QAC3C,IAAI,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QACrD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YAC3C,UAAU,GAAG;gBACX,IAAI,EAAE,YAAY;gBAClB,WAAW,EAAE,EAAE;gBACf,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,IAAI,GAAG,EAAE;aACvB,CAAC;YACF,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;QACzC,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACtC,IAAI,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnC,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;gBACrD,UAAU;qBACP,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,YAAY,QAAQ,CAAC;qBAC1C,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;oBAChB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;gBAClD,CAAC,CAAC,CAAC;YACP,CAAC;iBAAM,CAAC;gBACN,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;oBAClC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAC1B,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,cAAc,CAAC,IAAe;QAC5B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IACD,SAAS,CAAC,IAAU;QAClB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;IACD,WAAW,CAAC,IAAY,IAAS,CAAC;CACnC;AACD,MAAM,OAAO,sBAAsB;IAEvB;IACA;IACA;IACA;IAJV,YACU,YAA2B,EAC3B,YAAqC,EACrC,MAAc,EACd,MAAgB;QAHhB,iBAAY,GAAZ,YAAY,CAAe;QAC3B,iBAAY,GAAZ,YAAY,CAAyB;QACrC,WAAM,GAAN,MAAM,CAAQ;QACd,WAAM,GAAN,MAAM,CAAU;IACvB,CAAC;IACJ,cAAc,CAAC,IAAe;QAC5B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IACD,SAAS,CAAC,IAAU;QAClB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;IACD,WAAW,CAAC,IAAY;QACtB,MAAM,eAAe,GAAG,IAAI,eAAe,CACzC,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,YAAY,CAClB,CAAC;QACF,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;IACpC,CAAC;IACD,aAAa,CAAC,IAAc;QAC1B,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;QAC3C,IAAI,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QACrD,oCAAoC;QACpC,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAClC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;YACrC,MAAM,eAAe,GAAG,IAAI,eAAe,CACzC,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,YAAY,CAClB,CAAC;YACF,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;YAEtE,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;gBAC7B,IAAI,CAAC;oBACH,IAAI,cAAc,CAChB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,YAAY,EACjB,IAAI,EACJ,IAAI,CAAC,YAAY,EACjB,eAAe,CAChB,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC/B,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,YAAY,MAAM,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;gBACxE,CAAC;YACH,CAAC,CAAC,CAAC;YAEH,IAAI,gBAAsB,CAAC;YAC3B,IAAI,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClC,MAAM,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;gBAC5D,kBAAkB,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAClC,IAAI,CAAC,MAAM,CACT,IAAI,sBAAsB,CACxB,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,MAAM,CACZ,CACF,CACF,CAAC;gBACF,MAAM,YAAY,GAAG,kBAAkB;qBACpC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,YAAY,MAAM,CAAC;qBACtC,MAAM,CAAC,eAAe,CAAC,CAAC;gBAC3B,IAAI,YAAY,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;oBACnC,IAAI,CAAC,MAAM,CAAC,IAAI,CACd,kBAAkB,YAAY,MAAM,YAAY,CAAC,KAAK,EAAE,CACzD,CAAC;oBACF,OAAO;gBACT,CAAC;gBACD,gBAAgB,GAAG,YAAY,CAAC,KAAK,CAAC;YACxC,CAAC;iBAAM,CAAC;gBACN,6CAA6C;gBAC7C,gBAAgB,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,cAAc;YAC3D,CAAC;YAED,MAAM,YAAY,GAAG,UAAU,CAAC,WAAW,CACzC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,EACxC,gBAAgB,CACjB,CAAC;YAEF,mEAAmE;YACnE,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;YAC1B,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;YACxE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YAChD,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;QACrD,CAAC;QAED,MAAM,aAAa,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC;QACpE,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;YACzD,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,aAAa,EAAE,CAAC;gBAC7C,IAAI,CAAC,MAAM,CAAC,IAAI,CACd,kBAAkB,YAAY,sCAAsC,KAAK,kBAAkB,aAAa,SAAS,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,CAC5I,CAAC;gBACF,SAAS;YACX,CAAC;YACD,IAAI,CAAC;gBACH,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;gBAErD,2EAA2E;gBAC3E,8EAA8E;gBAC9E,IAAI,gBAAgB,GAAG,QAAQ,CAAC;gBAEhC,6EAA6E;gBAC7E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAClD,IAAI,cAAc,CAAC,gBAAgB,CAAC,EAAE,CAAC;wBACrC,gBAAgB,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBAC9C,CAAC;gBACH,CAAC;gBACD,MAAM,YAAY,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;gBAEhD,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;gBACrC,MAAM,eAAe,GAAG,IAAI,eAAe,CACzC,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,YAAY,CAClB,CAAC;gBACF,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE;oBACvC,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,wCAAwC;oBACzE,IAAI,CAAC;wBACH,OAAO,CAAC,MAAM,CACZ,IAAI,cAAc,CAChB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,YAAY,EACjB,OAAO,EACP,IAAI,CAAC,YAAY,EACjB,eAAe,CAChB,CACF,CAAC;oBACJ,CAAC;oBAAC,OAAO,KAAK,EAAE,CAAC;wBACf,IAAI,CAAC,MAAM,CAAC,IAAI,CACd,kBAAkB,YAAY,MAAM,KAAK,CAAC,OAAO,EAAE,CACpD,CAAC;oBACJ,CAAC;gBACH,CAAC,CAAC,CAAC;gBACH,IAAI,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBACnC,MAAM,kBAAkB,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;oBAC7D,kBAAkB,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAClC,IAAI,CAAC,MAAM,CACT,IAAI,sBAAsB,CACxB,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,MAAM,CACZ,CACF,CACF,CAAC;oBACF,MAAM,YAAY,GAAG,kBAAkB;yBACpC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,YAAY,MAAM,CAAC;yBACtC,MAAM,CAAC,eAAe,CAAC,CAAC;oBAC3B,IAAI,YAAY,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;wBACnC,IAAI,CAAC,MAAM,CAAC,IAAI,CACd,kBAAkB,YAAY,MAAM,YAAY,CAAC,KAAK,EAAE,CACzD,CAAC;wBACF,OAAO;oBACT,CAAC;oBAED,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;oBACpE,IAAI,GAAG,CAAC,OAAO,KAAK,KAAK;wBAAE,MAAM,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACpD,CAAC;qBAAM,CAAC;oBACN,2BAA2B;oBAC3B,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;wBAClC,qEAAqE;wBACrE,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;wBAC1D,IAAI,SAAS,CAAC,OAAO,KAAK,KAAK;4BAAE,MAAM,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;wBAE9D,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CACpC,SAAS,CAAC,KAAK,EACf,WAAW,CACZ,CAAC;wBACF,IAAI,YAAY,CAAC,OAAO,KAAK,KAAK;4BAAE,MAAM,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;wBACpE,IAAI,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;wBACtB,IAAI,KAAK,CAAC,IAAI,YAAY,QAAQ,EAAE,CAAC;4BACnC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAC/B,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,YAAY,MAAM,CACjC,CAAC;wBACJ,CAAC;wBACD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;wBAChD,IAAI,UAAU,CAAC,OAAO,KAAK,KAAK;4BAAE,MAAM,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;wBAChE,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;wBAClE,IAAI,GAAG,CAAC,OAAO,KAAK,KAAK;4BAAE,MAAM,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;oBACpD,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;YAC5B,CAAC;YAAC,OAAO,KAAU,EAAE,CAAC;gBACpB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,YAAY,MAAM,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;YACxE,CAAC;QACH,CAAC;IACH,CAAC;CACF;AAED,MAAM,OAAO,WAAW;IACd,YAAY,CAA0B;IACtC,MAAM,CAAS;IACf,MAAM,CAAW;IAEzB;QACE,IAAI,CAAC,YAAY,GAAG,IAAI,GAAG,EAAsB,CAAC;QAClD,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;IACnB,CAAC;IACD,KAAK,CAAC,GAAQ;QACZ,MAAM,YAAY,GAAG,IAAI,GAAG,EAAgB,CAAC;QAC7C,IAAI,CAAC,MAAM,GAAG,IAAI,MAAM,CAAC,YAAY,EAAE,IAAI,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC;QACnE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAgB,CAAC;QAE1C,gCAAgC;QAChC,MAAM,SAAS,GAAG,IAAI,2BAA2B,CAC/C,IAAI,CAAC,MAAM,EACX,YAAY,EACZ,SAAS,EACT,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,MAAM,CACZ,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;YACvB,IAAI,CAAC;gBACH,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YACzB,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC;QAE/C,qCAAqC;QACrC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;QAExB,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IACM,eAAe,CAAC,IAAa;QAClC,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,YAAY;YACpC,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAElD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAqB,IAAI,CAAC,YAAY,CAAC,CAAC;QACjE,MAAM,eAAe,GAAG,IAAI,eAAe,CACzC,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,MAAM,EACX,CAAC,SAAS,CAAC,CACZ,CAAC;QACF,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QAC5C,IAAI,MAAM,CAAC,OAAO,KAAK,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAE5D,OAAO,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IACM,eAAe;QACpB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9C,CAAC;IACD,aAAa,CAAC,GAAQ;QACpB,wCAAwC;QACxC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAqB,IAAI,CAAC,YAAY,CAAC,CAAC;QACjE,MAAM,QAAQ,GAAG,IAAI,wBAAwB,CAC3C,SAAS,EACT,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,MAAM,CACZ,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;YACvB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACxB,CAAC;QACD,wCAAwC;QACxC,MAAM,QAAQ,GAAG,IAAI,sBAAsB,CACzC,CAAC,SAAS,CAAC,EACX,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,MAAM,CACZ,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;YACvB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;CACF;AAGD,MAAM,SAAS,GAAG;IAChB,QAAQ,EAAE,UAAU;IACpB,QAAQ,EAAE,UAAU;IACpB,SAAS,EAAE,WAAW;IACtB,MAAM,EAAE,QAAQ;CACjB,CAAC;AACF,MAAM,UAAU,GAAG,CACjB,EAAU,EACV,IAAwB,EACxB,IAAmB,EACX,EAAE;IACV,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC;IACtB,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;IAEvC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;IACxB,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACpE,MAAM,aAAa,GAAG,GAAG,MAAM,GAAG,MAAM,EAAE,CAAC;IAE3C,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IAC5B,OAAO,aAAa,CAAC;AACvB,CAAC,CAAC;AACF,MAAM,eAAe,GAAG,CAAC,CAAO,EAAa,EAAE,CAC7C,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;AAC/D,MAAM,UAAU,GAAG,CAAC,CAAO,EAAE,IAAmB,EAAU,EAAE;IAC1D,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAEhE,IAAI,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC1C,OAAO,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9B,CAAC,CAAC,IAAI,IAAI,QAAQ,KAAK,EAAE;YACzB,CAAC,CAAC,GAAG,IAAI,OAAO,KAAK,EAAE,CAAC;IAC5B,CAAC;IACD,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;QAClB,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxE,OAAO,UAAU,CAAC;QACpB,CAAC;QACD,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACpC,CAAC;IACD,IAAI,WAAW,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAE7E,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;IACzC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM;QAClB,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;QAC/D,CAAC,CAAC,IAAI,CAAC;AACX,CAAC,CAAC;AAEF,MAAM,UAAU,QAAQ,CAAC,CAAO,EAAE,OAAsB,IAAI,GAAG,EAAE;IAC/D,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAC5B,IAAI,GAAG,CACL,eAAe,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CACvD,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAC7D,CACF,CACF,CAAC;IACF,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IAC7C,MAAM,OAAO,GACX,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAC5E,OAAO,GAAG,OAAO,OAAO,OAAO,EAAE,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAU;IACtC,IAAI,CAAC,GAAS,IAAI,CAAC;IACnB,OAAO,cAAc,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,OAAO,CAAC,CAAC;AACX,CAAC;AACD,MAAM,UAAU,gBAAgB,CAAC,IAAU;IACzC,MAAM,IAAI,GAAW,EAAE,CAAC;IACxB,IAAI,CAAC,GAAS,IAAI,CAAC;IACnB,OAAO,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AACD,MAAM,UAAU,QAAQ,CAAC,IAAU;IACjC,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,CAAO;IACpC,OAAO,CAAC,CAAC,IAAI,KAAK,iBAAiB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC;AAChF,CAAC;AACD,MAAM,UAAU,UAAU,CAAC,CAAO;IAChC,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC;AAC3B,CAAC;AACD,MAAM,UAAU,WAAW,CAAC,CAAO;IACjC,OAAO,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,MAAY,EAAE,UAAgB;IACzD,OAAO;QACL,IAAI,EAAE,iBAAiB;QACvB,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC;KAC3B,CAAC;AACJ,CAAC;AACD,MAAM,UAAU,QAAQ,CAAC,YAAkB;IACzC,OAAO;QACL,IAAI,EAAE,iBAAiB;QACvB,IAAI,EAAE,MAAM;QACZ,IAAI,EAAE,CAAC,YAAY,CAAC;KACrB,CAAC;AACJ,CAAC"}

package/dist/typechecker/core.d.ts

@@ -1,6 +1,10 @@
 import { Environment, Result, Substitution, Type, TypeConstructor, TypeScheme, TypeVar } from "./checker.js";
 export declare class CoreHM {
+    private aliases;
+    typeClasses: Map<string, string[]>;
     private nextVarId;
+    constructor(aliases?: Map<string, Type>, typeClasses?: Map<string, string[]>);
+    resolve(t: Type): Type;
     freshVar(constraints?: string[]): TypeVar;
     freeTypeVars(t: Type): Map<number, string[]>;
     generalize(env: Environment, t: Type): TypeScheme;

package/dist/typechecker/core.js

@@ -1,7 +1,17 @@
-import { typeClasses } from "../utils/types.js";
-import { showType, } from "./checker.js";
+import { charType, showType, } from "./checker.js";
 export class CoreHM {
+    aliases;
+    typeClasses;
     nextVarId = 0;
+    constructor(aliases = new Map(), typeClasses = new Map()) {
+        this.aliases = aliases;
+        this.typeClasses = typeClasses;
+    }
+    resolve(t) {
+        if (t.type === "TypeConstructor" && this.aliases.has(t.name))
+            return this.resolve(this.aliases.get(t.name));
+        return t;
+    }
     freshVar(constraints = []) {
         return { type: "TypeVar", id: this.nextVarId++, constraints };
     }
@@ -71,21 +81,29 @@ export class CoreHM {
         return result;
     }
     unify(t1, t2) {
-        if (t1.type === "TypeVar")
-            return this.unifyVar(t1, t2);
-        if (t2.type === "TypeVar")
-            return this.unifyVar(t2, t1);
-        if (t1.type === "TypeConstructor" && t2.type === "TypeConstructor") {
-            if (t1.name !== t2.name || t1.args.length !== t2.args.length) {
+        const rt1 = this.resolve(t1);
+        const rt2 = this.resolve(t2);
+        if (rt1.type === "TypeVar")
+            return this.unifyVar(rt1, rt2);
+        if (rt2.type === "TypeVar")
+            return this.unifyVar(rt2, rt1);
+        if (rt1.type === "TypeConstructor" && rt2.type === "TypeConstructor") {
+            const isStringList = (a, b) => (a.name === "YuString" && b.name === "List") ||
+                (b.name === "YuString" && a.name === "List");
+            if (isStringList(rt1, rt2)) {
+                const listType = rt1.name === "List" ? rt1 : rt2;
+                return this.unify(listType.args[0], charType);
+            }
+            if (rt1.name !== rt2.name || rt1.args.length !== rt2.args.length) {
                 return {
                     success: false,
-                    error: `Cannot unify ${showType(t1)} with ${showType(t2)}`,
+                    error: `Cannot unify ${showType(rt1)} with ${showType(rt2)}`,
                 };
             }
             let sub = new Map();
-            for (let i = 0; i < t1.args.length; i++) {
-                const arg1 = this.applySubst(sub, t1.args[i]);
-                const arg2 = this.applySubst(sub, t2.args[i]);
+            for (let i = 0; i < rt1.args.length; i++) {
+                const arg1 = this.applySubst(sub, rt1.args[i]);
+                const arg2 = this.applySubst(sub, rt2.args[i]);
                 const argSubRes = this.unify(arg1, arg2);
                 if (!argSubRes.success)
                     return argSubRes;
@@ -119,15 +137,23 @@ export class CoreHM {
         return { success: true, value: new Map([[v.id, t]]) };
     }
     checkConstraint(constraintName, t) {
-        if (t.type === "TypeVar") {
-            if (!t.constraints.includes(constraintName)) {
-                t.constraints.push(constraintName);
+        const rt = this.resolve(t);
+        if (rt.type === "TypeVar") {
+            if (!rt.constraints.includes(constraintName)) {
+                rt.constraints.push(constraintName);
             }
         }
-        else if (t.type === "TypeConstructor") {
-            const instances = typeClasses.get(constraintName);
-            if (!instances || !instances.includes(t.name)) {
-                throw new Error(`Type '${showType(t)}' is not an instance of '${constraintName}'`);
+        else if (rt.type === "TypeConstructor") {
+            let typeName = rt.name;
+            if (typeName === "List" &&
+                rt.args.length === 1 &&
+                rt.args[0].type === "TypeConstructor" &&
+                rt.args[0].name === "YuChar") {
+                typeName = "YuString";
+            }
+            const instances = this.typeClasses.get(constraintName);
+            if (!instances || !instances.includes(typeName)) {
+                throw new Error(`Type '${showType(rt)}' is not an instance of '${constraintName}'`);
             }
         }
     }

package/dist/typechecker/core.js.map

@@ -1 +1 @@
-{"version":3,"file":"core.js","sourceRoot":"","sources":["../../src/typechecker/core.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAGL,QAAQ,GAMT,MAAM,cAAc,CAAC;AAEtB,MAAM,OAAO,MAAM;IACT,SAAS,GAAG,CAAC,CAAC;IAEf,QAAQ,CAAC,cAAwB,EAAE;QACxC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,WAAW,EAAE,CAAC;IAChE,CAAC;IAEM,YAAY,CAAC,CAAO;QACzB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC7C,MAAM,OAAO,GAAG,CAAC,IAAU,EAAE,EAAE;YAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC5B,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;YAC1C,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBAC3C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC,CAAC;QACF,OAAO,CAAC,CAAC,CAAC,CAAC;QACX,OAAO,QAAQ,CAAC;IAClB,CAAC;IACM,UAAU,CAAC,GAAgB,EAAE,CAAO;QACzC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACtC,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC;YAClC,MAAM,cAAc,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACtD,KAAK,MAAM,EAAE,IAAI,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC;gBACvC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;oBACrC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACtB,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAE1C,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;QAEhD,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC;YAClD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACzB,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACrB,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACtB,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;gBAC9B,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC;IACnE,CAAC;IAEM,WAAW,CAAC,MAAkB;QACnC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAgB,CAAC;QAC9C,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE;YAChC,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;YACrD,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,UAAU,CAAC,aAAa,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC;IAEM,UAAU,CAAC,KAAmB,EAAE,CAAO;QAC5C,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACpC,OAAO,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACxC,OAAO;gBACL,IAAI,EAAE,iBAAiB;gBACvB,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;aACvD,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,CAAC;IAEM,YAAY,CAAC,EAAgB,EAAE,EAAgB;QACpD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3B,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;QAC5C,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAEM,KAAK,CAAC,EAAQ,EAAE,EAAQ;QAC7B,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACxD,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACxD,IAAI,EAAE,CAAC,IAAI,KAAK,iBAAiB,IAAI,EAAE,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACnE,IAAI,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;gBAC7D,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,gBAAgB,QAAQ,CAAC,EAAE,CAAC,SAAS,QAAQ,CAAC,EAAE,CAAC,EAAE;iBAC3D,CAAC;YACJ,CAAC;YACD,IAAI,GAAG,GAAiB,IAAI,GAAG,EAAE,CAAC;YAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACxC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC9C,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBACzC,IAAI,CAAC,SAAS,CAAC,OAAO;oBAAE,OAAO,SAAS,CAAC;gBACzC,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;YAChD,CAAC;YACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACvC,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,wBAAwB,EAAE,CAAC;IAC7D,CAAC;IAEM,QAAQ,CAAC,CAAU,EAAE,CAAO;QACjC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YAC1C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;QAC7C,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;YACzB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC;QAC1D,CAAC;QAED,KAAK,MAAM,UAAU,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YACvC,IAAI,CAAC,eAAe,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;QACtC,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzB,KAAK,MAAM,UAAU,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;gBACvC,IAAI,CAAC,eAAe,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;YACtC,CAAC;YACD,oBAAoB;YACpB,MAAM,iBAAiB,GAAG;gBACxB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;aACjD,CAAC;YACF,CAAC,CAAC,WAAW,GAAG,iBAAiB,CAAC;YAClC,CAAC,CAAC,WAAW,GAAG,iBAAiB,CAAC;QACpC,CAAC;QAED,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACxD,CAAC;IAEM,eAAe,CAAC,cAAsB,EAAE,CAAO;QACpD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzB,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;gBAC5C,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACxC,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;YAClD,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9C,MAAM,IAAI,KAAK,CACb,SAAS,QAAQ,CAAC,CAAC,CAAC,4BAA4B,cAAc,GAAG,CAClE,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAEM,MAAM,CAAC,KAAa,EAAE,CAAO;QAClC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC;QAChD,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB;YAC9B,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;QACnD,OAAO,KAAK,CAAC;IACf,CAAC;CACF"}
+{"version":3,"file":"core.js","sourceRoot":"","sources":["../../src/typechecker/core.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAGR,QAAQ,GAMT,MAAM,cAAc,CAAC;AAEtB,MAAM,OAAO,MAAM;IAGP;IACD;IAHD,SAAS,GAAG,CAAC,CAAC;IACtB,YACU,UAA6B,IAAI,GAAG,EAAE,EACvC,cAAqC,IAAI,GAAG,EAAE;QAD7C,YAAO,GAAP,OAAO,CAA+B;QACvC,gBAAW,GAAX,WAAW,CAAmC;IACpD,CAAC;IACG,OAAO,CAAC,CAAO;QACpB,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAC1D,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC,CAAC;QACjD,OAAO,CAAC,CAAC;IACX,CAAC;IACM,QAAQ,CAAC,cAAwB,EAAE;QACxC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,WAAW,EAAE,CAAC;IAChE,CAAC;IAEM,YAAY,CAAC,CAAO;QACzB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC7C,MAAM,OAAO,GAAG,CAAC,IAAU,EAAE,EAAE;YAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC5B,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;YAC1C,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBAC3C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC,CAAC;QACF,OAAO,CAAC,CAAC,CAAC,CAAC;QACX,OAAO,QAAQ,CAAC;IAClB,CAAC;IACM,UAAU,CAAC,GAAgB,EAAE,CAAO;QACzC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACtC,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC;YAClC,MAAM,cAAc,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACtD,KAAK,MAAM,EAAE,IAAI,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC;gBACvC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;oBACrC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACtB,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAE1C,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;QAEhD,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC;YAClD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACzB,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACrB,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACtB,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;gBAC9B,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC;IACnE,CAAC;IAEM,WAAW,CAAC,MAAkB;QACnC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAgB,CAAC;QAC9C,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE;YAChC,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;YACrD,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,UAAU,CAAC,aAAa,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC;IAEM,UAAU,CAAC,KAAmB,EAAE,CAAO;QAC5C,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACpC,OAAO,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACxC,OAAO;gBACL,IAAI,EAAE,iBAAiB;gBACvB,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;aACvD,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,CAAC;IAEM,YAAY,CAAC,EAAgB,EAAE,EAAgB;QACpD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3B,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;QAC5C,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAEM,KAAK,CAAC,EAAQ,EAAE,EAAQ;QAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3D,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3D,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAiB,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACrE,MAAM,YAAY,GAAG,CAAC,CAAkB,EAAE,CAAkB,EAAE,EAAE,CAC9D,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC;gBAC5C,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;YAE/C,IAAI,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;gBAC3B,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;gBACjD,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;YAChD,CAAC;YAED,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACjE,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,gBAAgB,QAAQ,CAAC,GAAG,CAAC,SAAS,QAAQ,CAAC,GAAG,CAAC,EAAE;iBAC7D,CAAC;YACJ,CAAC;YACD,IAAI,GAAG,GAAiB,IAAI,GAAG,EAAE,CAAC;YAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC/C,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBACzC,IAAI,CAAC,SAAS,CAAC,OAAO;oBAAE,OAAO,SAAS,CAAC;gBACzC,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;YAChD,CAAC;YACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACvC,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,wBAAwB,EAAE,CAAC;IAC7D,CAAC;IAEM,QAAQ,CAAC,CAAU,EAAE,CAAO;QACjC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YAC1C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;QAC7C,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;YACzB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC;QAC1D,CAAC;QAED,KAAK,MAAM,UAAU,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YACvC,IAAI,CAAC,eAAe,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;QACtC,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzB,KAAK,MAAM,UAAU,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;gBACvC,IAAI,CAAC,eAAe,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;YACtC,CAAC;YACD,oBAAoB;YACpB,MAAM,iBAAiB,GAAG;gBACxB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;aACjD,CAAC;YACF,CAAC,CAAC,WAAW,GAAG,iBAAiB,CAAC;YAClC,CAAC,CAAC,WAAW,GAAG,iBAAiB,CAAC;QACpC,CAAC;QAED,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACxD,CAAC;IAEM,eAAe,CAAC,cAAsB,EAAE,CAAO;QACpD,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;gBAC7C,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACzC,IAAI,QAAQ,GAAG,EAAE,CAAC,IAAI,CAAC;YACvB,IACE,QAAQ,KAAK,MAAM;gBACnB,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;gBACpB,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB;gBACrC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,EAC5B,CAAC;gBACD,QAAQ,GAAG,UAAU,CAAC;YACxB,CAAC;YAED,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;YACvD,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAChD,MAAM,IAAI,KAAK,CACb,SAAS,QAAQ,CAAC,EAAE,CAAC,4BAA4B,cAAc,GAAG,CACnE,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAEM,MAAM,CAAC,KAAa,EAAE,CAAO;QAClC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC;QAChD,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB;YAC9B,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;QACnD,OAAO,KAAK,CAAC;IACf,CAAC;CACF"}

package/dist/typechecker/inference.d.ts

@@ -1,4 +1,4 @@
-import { Application, ApplicationPattern, ArithmeticBinaryOperation, ArithmeticUnaryOperation, AsPattern, AssignOperation, ASTNode, BitwiseBinaryOperation, BitwiseUnaryOperation, BooleanPrimitive, CharPrimitive, ComparisonOperation, CompositionExpression, ConsExpression, ConsPattern, ConstructorPattern, DataExpression, FieldExpression, For, FunctorPattern, Generator, If, Lambda, LetInExpression, ListBinaryOperation, ListComprehension, ListPattern, ListPrimitive, ListUnaryOperation, LiteralPattern, LogicalBinaryOperation, LogicalUnaryOperation, NilPrimitive, NumberPrimitive, Otherwise, Pattern, Print, Raise, RangeExpression, Return, StringOperation, StringPrimitive, Switch, SymbolPrimitive, TupleExpression, TuplePattern, TypeCast, UnifyOperation, UnionPattern, VariablePattern, Visitor, WildcardPattern, Yield } from "@yukigo/ast";
+import { Application, ApplicationPattern, ArithmeticBinaryOperation, ArithmeticUnaryOperation, AsPattern, AssignOperation, ASTNode, BitwiseBinaryOperation, BitwiseUnaryOperation, BooleanPrimitive, CharPrimitive, ComparisonOperation, CompositionExpression, ConsExpression, ConsPattern, ConstructorPattern, DataExpression, FieldExpression, For, FunctorPattern, Generator, If, Lambda, LetInExpression, ListBinaryOperation, ListComprehension, ListPattern, ListPrimitive, ListUnaryOperation, LiteralPattern, LogicalBinaryOperation, LogicalUnaryOperation, NilPrimitive, NumberPrimitive, Otherwise, Pattern, Print, Raise, RangeExpression, Return, StringOperation, StringPrimitive, Switch, SymbolPrimitive, TupleExpression, TuplePattern, TypeCast, TypePattern, UnifyOperation, UnionPattern, VariablePattern, Visitor, WildcardPattern, Yield, Truth, Equality, Failure } from "yukigo-ast";
 import { Environment, Result, Type, TypeScheme } from "./checker.js";
 import { CoreHM } from "./core.js";
 export declare class PatternVisitor implements Visitor<void> {
@@ -19,6 +19,7 @@ export declare class PatternVisitor implements Visitor<void> {
     visitUnionPattern(node: UnionPattern): Result<Type>;
     visitConstructorPattern(node: ConstructorPattern): void;
     visitConsPattern(node: ConsPattern): void;
+    visitTypePattern(node: TypePattern): void;
     visit(node: Pattern): void;
 }
 export declare class InferenceEngine implements Visitor<Result<Type>> {
@@ -65,5 +66,8 @@ export declare class InferenceEngine implements Visitor<Result<Type>> {
     visitFor(node: For): Result<Type>;
     visitSwitch(node: Switch): Result<Type>;
     visitRangeExpression(node: RangeExpression): Result<Type>;
+    visitTruth(node: Truth): Result<Type>;
+    visitEquality(node: Equality): Result<Type>;
+    visitFailure(node: Failure): Result<Type>;
     visit(node: ASTNode): Result<Type>;
 }