yukigo-haskell-parser 0.1.3 → 0.2.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/.mocharc.json +3 -3
- package/CHANGELOG.md +51 -9
- package/README.md +5 -5
- package/dist/index.js +21 -13
- package/dist/index.js.map +1 -1
- package/dist/parser/grammar.cjs +397 -0
- package/dist/parser/grammar.cjs.map +1 -0
- package/dist/parser/grammar.d.cts +38 -0
- package/dist/parser/lexer.d.ts +2 -1
- package/dist/parser/lexer.js +6 -1
- package/dist/parser/lexer.js.map +1 -1
- package/dist/prelude.js +279 -279
- package/dist/typechecker/DeclarationCollector.d.ts +2 -0
- package/dist/typechecker/DeclarationCollector.js +6 -5
- package/dist/typechecker/DeclarationCollector.js.map +1 -1
- package/dist/typechecker/TypeBuilder.js +9 -7
- package/dist/typechecker/TypeBuilder.js.map +1 -1
- package/dist/typechecker/checker.d.ts +9 -4
- package/dist/typechecker/checker.js +66 -94
- package/dist/typechecker/checker.js.map +1 -1
- package/dist/typechecker/core.js +8 -7
- package/dist/typechecker/core.js.map +1 -1
- package/dist/typechecker/inference.d.ts +4 -1
- package/dist/typechecker/inference.js +39 -19
- package/dist/typechecker/inference.js.map +1 -1
- package/dist/utils/helpers.d.ts +3 -0
- package/dist/utils/helpers.js +5 -0
- package/dist/utils/helpers.js.map +1 -1
- package/dist/utils/types.d.ts +12 -3
- package/dist/utils/types.js +34 -22
- package/dist/utils/types.js.map +1 -1
- package/package.json +6 -9
- package/src/index.ts +223 -192
- package/src/parser/{grammar.ts → grammar.cjs} +191 -223
- package/src/parser/grammar.d.ts +3 -0
- package/src/parser/grammar.ne +521 -518
- package/src/parser/lexer.ts +357 -353
- package/src/prelude.ts +281 -281
- package/src/typechecker/DeclarationCollector.ts +160 -157
- package/src/typechecker/TypeBuilder.ts +153 -150
- package/src/typechecker/checker.ts +487 -501
- package/src/typechecker/core.ts +195 -192
- package/src/typechecker/inference.ts +1442 -1421
- package/src/utils/helpers.ts +34 -29
- package/src/utils/types.ts +75 -63
- package/tests/hspec.spec.ts +95 -92
- package/tests/lexer.spec.ts +175 -175
- package/tests/parser.spec.ts +838 -829
- package/tests/prelude.spec.ts +17 -17
- package/tests/typechecker.spec.ts +326 -327
- package/tsconfig.build.json +16 -0
- package/tsconfig.build.tsbuildinfo +1 -0
- package/tsconfig.json +29 -26
- package/tsconfig.tsbuildinfo +1 -1
- package/dist/parser/grammar.d.ts +0 -28
- package/dist/parser/grammar.js +0 -393
- package/dist/parser/grammar.js.map +0 -1
|
@@ -1,6 +1,7 @@
|
|
|
1
1
|
import { SimpleType, TypeVar as ASTTypeVar, } from "yukigo-ast";
|
|
2
|
-
import { typeMappings } from "../utils/types.js";
|
|
2
|
+
import { typeMappings, YUTYPES } from "../utils/types.js";
|
|
3
3
|
import { functionType, stringType, charType } from "./checker.js";
|
|
4
|
+
import { UnexpectedNode } from "../utils/helpers.js";
|
|
4
5
|
export class TypeBuilder {
|
|
5
6
|
coreHM;
|
|
6
7
|
constructor(coreHM) {
|
|
@@ -15,7 +16,6 @@ export class TypeBuilder {
|
|
|
15
16
|
// Lowercase = type variable
|
|
16
17
|
if (!typeVarMap.has(n.value)) {
|
|
17
18
|
typeVarMap.set(n.value, {
|
|
18
|
-
type: "TypeVar",
|
|
19
19
|
...this.coreHM.freshVar(),
|
|
20
20
|
name: n.value,
|
|
21
21
|
});
|
|
@@ -28,9 +28,9 @@ export class TypeBuilder {
|
|
|
28
28
|
}
|
|
29
29
|
// Uppercase = type constructor (e.g., Int, Bool, List)
|
|
30
30
|
const primitive = typeMappings[n.value] || n.value;
|
|
31
|
-
if (primitive ===
|
|
31
|
+
if (primitive === YUTYPES.YuString)
|
|
32
32
|
return stringType;
|
|
33
|
-
if (primitive ===
|
|
33
|
+
if (primitive === YUTYPES.YuChar)
|
|
34
34
|
return charType;
|
|
35
35
|
return {
|
|
36
36
|
type: "TypeConstructor",
|
|
@@ -42,7 +42,6 @@ export class TypeBuilder {
|
|
|
42
42
|
// Same as SimpleType for type variables
|
|
43
43
|
if (!typeVarMap.has(n.value)) {
|
|
44
44
|
typeVarMap.set(n.value, {
|
|
45
|
-
type: "TypeVar",
|
|
46
45
|
...this.coreHM.freshVar(),
|
|
47
46
|
name: n.value,
|
|
48
47
|
});
|
|
@@ -56,7 +55,7 @@ export class TypeBuilder {
|
|
|
56
55
|
const elementType = n.values.accept(visitor);
|
|
57
56
|
return {
|
|
58
57
|
type: "TypeConstructor",
|
|
59
|
-
name:
|
|
58
|
+
name: YUTYPES.List,
|
|
60
59
|
args: [elementType],
|
|
61
60
|
};
|
|
62
61
|
},
|
|
@@ -64,7 +63,7 @@ export class TypeBuilder {
|
|
|
64
63
|
const elementTypes = n.values.map((v) => v.accept(visitor));
|
|
65
64
|
return {
|
|
66
65
|
type: "TypeConstructor",
|
|
67
|
-
name:
|
|
66
|
+
name: YUTYPES.Tuple,
|
|
68
67
|
args: elementTypes,
|
|
69
68
|
};
|
|
70
69
|
},
|
|
@@ -92,6 +91,9 @@ export class TypeBuilder {
|
|
|
92
91
|
visit(node) {
|
|
93
92
|
return node.accept(visitor);
|
|
94
93
|
},
|
|
94
|
+
fallback(node) {
|
|
95
|
+
throw new UnexpectedNode(node.constructor.toString(), "TypeBuilder");
|
|
96
|
+
}
|
|
95
97
|
};
|
|
96
98
|
const type = node.accept(visitor);
|
|
97
99
|
return { type, constraints: constraintsMap };
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"TypeBuilder.js","sourceRoot":"","sources":["../../src/typechecker/TypeBuilder.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EACV,OAAO,IAAI,UAAU,
|
|
1
|
+
{"version":3,"file":"TypeBuilder.js","sourceRoot":"","sources":["../../src/typechecker/TypeBuilder.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EACV,OAAO,IAAI,UAAU,GAUtB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAE1D,OAAO,EAAE,YAAY,EAAkC,UAAU,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAClG,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAErD,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,GAAkB;YAC7B,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,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,OAAO,CAAC,QAAQ;oBAAE,OAAO,UAAU,CAAC;gBACtD,IAAI,SAAS,KAAK,OAAO,CAAC,MAAM;oBAAE,OAAO,QAAQ,CAAC;gBAClD,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,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,OAAO,CAAC,IAAI;oBAClB,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,CAAC,KAAK;oBACnB,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;YACD,QAAQ,CAAC,IAAa;gBACpB,MAAM,IAAI,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,aAAa,CAAC,CAAA;YACtE,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"}
|
|
@@ -1,5 +1,6 @@
|
|
|
1
1
|
import { AST, Function, Visitor, Sequence, TestGroup, Test, Assert, ASTNode } from "yukigo-ast";
|
|
2
2
|
import { CoreHM } from "./core.js";
|
|
3
|
+
import { YUTYPES } from "../utils/types.js";
|
|
3
4
|
export interface TypeVar {
|
|
4
5
|
type: "TypeVar";
|
|
5
6
|
id: number;
|
|
@@ -13,17 +14,17 @@ export interface TypeConstructor {
|
|
|
13
14
|
}
|
|
14
15
|
export interface FunctionType {
|
|
15
16
|
type: "TypeConstructor";
|
|
16
|
-
name:
|
|
17
|
+
name: YUTYPES.Arrow;
|
|
17
18
|
args: [Type, Type];
|
|
18
19
|
}
|
|
19
20
|
export interface ListType {
|
|
20
21
|
type: "TypeConstructor";
|
|
21
|
-
name:
|
|
22
|
+
name: YUTYPES.List;
|
|
22
23
|
args: [Type];
|
|
23
24
|
}
|
|
24
25
|
export interface TupleType {
|
|
25
26
|
type: "TypeConstructor";
|
|
26
|
-
name:
|
|
27
|
+
name: YUTYPES.Tuple;
|
|
27
28
|
args: Type[];
|
|
28
29
|
}
|
|
29
30
|
export interface TypeScheme {
|
|
@@ -56,6 +57,7 @@ export declare class FunctionRegistrarVisitor implements Visitor<void> {
|
|
|
56
57
|
visitTestGroup(node: TestGroup): void;
|
|
57
58
|
visitTest(node: Test): void;
|
|
58
59
|
visitAssert(node: Assert): void;
|
|
60
|
+
fallback(node: ASTNode): void;
|
|
59
61
|
}
|
|
60
62
|
export declare class FunctionCheckerVisitor implements Visitor<void> {
|
|
61
63
|
private environments;
|
|
@@ -67,11 +69,13 @@ export declare class FunctionCheckerVisitor implements Visitor<void> {
|
|
|
67
69
|
visitTest(node: Test): void;
|
|
68
70
|
visitAssert(node: Assert): void;
|
|
69
71
|
visitFunction(node: Function): void;
|
|
72
|
+
fallback(node: ASTNode): void;
|
|
70
73
|
}
|
|
71
74
|
export declare class TypeChecker {
|
|
72
75
|
private signatureMap;
|
|
73
|
-
private coreHM;
|
|
74
76
|
private errors;
|
|
77
|
+
private typeAliasMap;
|
|
78
|
+
private coreHM;
|
|
75
79
|
constructor();
|
|
76
80
|
check(ast: AST): string[];
|
|
77
81
|
inferExpression(expr: ASTNode): string;
|
|
@@ -86,6 +90,7 @@ export declare function getArity(type: Type): number;
|
|
|
86
90
|
export declare function isFunctionType(t: Type): t is FunctionType;
|
|
87
91
|
export declare function isListType(t: Type): t is ListType;
|
|
88
92
|
export declare function isTupleType(t: Type): t is TupleType;
|
|
93
|
+
export declare const isString: (t: Type) => boolean;
|
|
89
94
|
export declare function functionType(params: Type, returnType: Type): FunctionType;
|
|
90
95
|
export declare function listType(elementsType: Type): ListType;
|
|
91
96
|
export {};
|
|
@@ -1,21 +1,21 @@
|
|
|
1
|
-
import { Function, Return,
|
|
1
|
+
import { Function, Return, UnguardedBody, } from "yukigo-ast";
|
|
2
2
|
import { InferenceEngine, PatternVisitor } from "./inference.js";
|
|
3
3
|
import { CoreHM } from "./core.js";
|
|
4
4
|
import { DeclarationCollectorVisitor } from "./DeclarationCollector.js";
|
|
5
|
-
import { typeClasses as staticTypeClasses } from "../utils/types.js";
|
|
5
|
+
import { typeClasses as staticTypeClasses, YUTYPES } from "../utils/types.js";
|
|
6
6
|
export const booleanType = {
|
|
7
7
|
type: "TypeConstructor",
|
|
8
|
-
name:
|
|
8
|
+
name: YUTYPES.YuBoolean,
|
|
9
9
|
args: [],
|
|
10
10
|
};
|
|
11
11
|
export const numberType = {
|
|
12
12
|
type: "TypeConstructor",
|
|
13
|
-
name:
|
|
13
|
+
name: YUTYPES.YuNumber,
|
|
14
14
|
args: [],
|
|
15
15
|
};
|
|
16
16
|
export const charType = {
|
|
17
17
|
type: "TypeConstructor",
|
|
18
|
-
name:
|
|
18
|
+
name: YUTYPES.YuChar,
|
|
19
19
|
args: [],
|
|
20
20
|
};
|
|
21
21
|
export const stringType = listType(charType);
|
|
@@ -45,19 +45,14 @@ export class FunctionRegistrarVisitor {
|
|
|
45
45
|
this.env.set(functionName, funcScheme);
|
|
46
46
|
}
|
|
47
47
|
for (const equation of node.equations) {
|
|
48
|
-
if (
|
|
49
|
-
|
|
50
|
-
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
|
|
55
|
-
}
|
|
56
|
-
else {
|
|
57
|
-
for (const guard of equation.body) {
|
|
58
|
-
guard.body.accept(this);
|
|
59
|
-
}
|
|
60
|
-
}
|
|
48
|
+
if (!equation.body.is(UnguardedBody))
|
|
49
|
+
continue;
|
|
50
|
+
const statements = equation.body.sequence.statements;
|
|
51
|
+
statements
|
|
52
|
+
.filter((stmt) => stmt instanceof Function)
|
|
53
|
+
.forEach((func) => {
|
|
54
|
+
this.env.set(func.identifier.value, funcScheme);
|
|
55
|
+
});
|
|
61
56
|
}
|
|
62
57
|
}
|
|
63
58
|
visitTestGroup(node) {
|
|
@@ -67,6 +62,7 @@ export class FunctionRegistrarVisitor {
|
|
|
67
62
|
node.body.accept(this);
|
|
68
63
|
}
|
|
69
64
|
visitAssert(node) { }
|
|
65
|
+
fallback(node) { }
|
|
70
66
|
}
|
|
71
67
|
export class FunctionCheckerVisitor {
|
|
72
68
|
environments;
|
|
@@ -95,6 +91,8 @@ export class FunctionCheckerVisitor {
|
|
|
95
91
|
// Handle function without signature
|
|
96
92
|
if (!funcScheme) {
|
|
97
93
|
const firstEq = node.equations[0];
|
|
94
|
+
if (!firstEq.body.is(UnguardedBody))
|
|
95
|
+
return;
|
|
98
96
|
this.environments.unshift(new Map());
|
|
99
97
|
const inferenceEngine = new InferenceEngine(this.signatureMap, this.coreHM, this.environments);
|
|
100
98
|
const paramTypes = firstEq.patterns.map(() => this.coreHM.freshVar());
|
|
@@ -103,26 +101,20 @@ export class FunctionCheckerVisitor {
|
|
|
103
101
|
new PatternVisitor(this.coreHM, this.signatureMap, type, this.environments, inferenceEngine).visit(firstEq.patterns[i]);
|
|
104
102
|
}
|
|
105
103
|
catch (error) {
|
|
106
|
-
this.errors.push(`Type error in '${functionName}': ${error.message}`);
|
|
104
|
+
this.errors.push(`Type error in '${functionName}': ${error instanceof Error ? error.message : String(error)}`);
|
|
107
105
|
}
|
|
108
106
|
});
|
|
109
|
-
|
|
110
|
-
|
|
111
|
-
|
|
112
|
-
|
|
113
|
-
|
|
114
|
-
|
|
115
|
-
|
|
116
|
-
|
|
117
|
-
|
|
118
|
-
return;
|
|
119
|
-
}
|
|
120
|
-
inferredBodyType = returnResult.value;
|
|
121
|
-
}
|
|
122
|
-
else {
|
|
123
|
-
// Handle guarded body inference if necessary
|
|
124
|
-
inferredBodyType = this.coreHM.freshVar(); // Placeholder
|
|
107
|
+
const equationStatements = firstEq.body.sequence.statements;
|
|
108
|
+
equationStatements.forEach((stmt) => stmt.accept(new FunctionCheckerVisitor(this.environments, this.signatureMap, this.coreHM, this.errors)));
|
|
109
|
+
const returnNode = equationStatements.find((stmt) => stmt instanceof Return);
|
|
110
|
+
if (!returnNode)
|
|
111
|
+
return;
|
|
112
|
+
const returnResult = returnNode.accept(inferenceEngine);
|
|
113
|
+
if (returnResult.success === false) {
|
|
114
|
+
this.errors.push(`Type error in '${functionName}': ${returnResult.error}`);
|
|
115
|
+
return;
|
|
125
116
|
}
|
|
117
|
+
const inferredBodyType = returnResult.value;
|
|
126
118
|
const fullFuncType = paramTypes.reduceRight((acc, param) => functionType(param, acc), inferredBodyType);
|
|
127
119
|
// Generalize the inferred type to create a polymorphic type scheme
|
|
128
120
|
this.environments.shift();
|
|
@@ -132,16 +124,15 @@ export class FunctionCheckerVisitor {
|
|
|
132
124
|
}
|
|
133
125
|
const expectedArity = getArity(this.coreHM.instantiate(funcScheme));
|
|
134
126
|
for (const [index, equation] of node.equations.entries()) {
|
|
127
|
+
if (!equation.body.is(UnguardedBody))
|
|
128
|
+
continue;
|
|
135
129
|
if (equation.patterns.length > expectedArity) {
|
|
136
130
|
this.errors.push(`Type error in '${functionName}': Too many parameters in equation ${index}. Expected max ${expectedArity}, got ${equation.patterns.length}`);
|
|
137
131
|
continue;
|
|
138
132
|
}
|
|
139
133
|
try {
|
|
140
134
|
const funcType = this.coreHM.instantiate(funcScheme);
|
|
141
|
-
// FIX 2: No buscamos el "ReturnType" final absoluto, sino el tipo restante
|
|
142
|
-
// Si funcType es A -> B -> C y consumimos 1 patrón, el cuerpo debe ser B -> C
|
|
143
135
|
let expectedBodyType = funcType;
|
|
144
|
-
// "Pelamos" el tipo función tantas veces como argumentos explícitos tengamos
|
|
145
136
|
for (let i = 0; i < equation.patterns.length; i++) {
|
|
146
137
|
if (isFunctionType(expectedBodyType)) {
|
|
147
138
|
expectedBodyType = expectedBodyType.args[1];
|
|
@@ -156,45 +147,22 @@ export class FunctionCheckerVisitor {
|
|
|
156
147
|
pattern.accept(new PatternVisitor(this.coreHM, this.signatureMap, argType, this.environments, inferenceEngine));
|
|
157
148
|
}
|
|
158
149
|
catch (error) {
|
|
159
|
-
this.errors.push(`Type error in '${functionName}': ${error.message}`);
|
|
150
|
+
this.errors.push(`Type error in '${functionName}': ${error instanceof Error ? error.message : String(error)}`);
|
|
160
151
|
}
|
|
161
152
|
});
|
|
162
|
-
|
|
163
|
-
|
|
164
|
-
|
|
165
|
-
|
|
166
|
-
|
|
167
|
-
|
|
168
|
-
|
|
169
|
-
|
|
170
|
-
|
|
171
|
-
}
|
|
172
|
-
const sub = this.coreHM.unify(returnResult.value, expectedBodyType);
|
|
173
|
-
if (sub.success === false)
|
|
174
|
-
throw Error(sub.error);
|
|
175
|
-
}
|
|
176
|
-
else {
|
|
177
|
-
// Handles GuardedBody case
|
|
178
|
-
for (const guard of equation.body) {
|
|
179
|
-
// checks if condition expression in guard is a resolves to YuBoolean
|
|
180
|
-
const condition = guard.condition.accept(inferenceEngine);
|
|
181
|
-
if (condition.success === false)
|
|
182
|
-
throw Error(condition.error);
|
|
183
|
-
const conditionSub = this.coreHM.unify(condition.value, booleanType);
|
|
184
|
-
if (conditionSub.success === false)
|
|
185
|
-
throw Error(conditionSub.error);
|
|
186
|
-
let body = guard.body;
|
|
187
|
-
if (guard.body instanceof Sequence) {
|
|
188
|
-
body = guard.body.statements.find((stmt) => stmt instanceof Return);
|
|
189
|
-
}
|
|
190
|
-
const bodyResult = body.accept(inferenceEngine);
|
|
191
|
-
if (bodyResult.success === false)
|
|
192
|
-
throw Error(bodyResult.error);
|
|
193
|
-
const sub = this.coreHM.unify(bodyResult.value, expectedBodyType);
|
|
194
|
-
if (sub.success === false)
|
|
195
|
-
throw Error(sub.error);
|
|
196
|
-
}
|
|
153
|
+
const equationStatements = equation.body.sequence.statements;
|
|
154
|
+
equationStatements.forEach((stmt) => stmt.accept(new FunctionCheckerVisitor(this.environments, this.signatureMap, this.coreHM, this.errors)));
|
|
155
|
+
const returnNode = equationStatements.find((stmt) => stmt instanceof Return);
|
|
156
|
+
if (!returnNode)
|
|
157
|
+
return;
|
|
158
|
+
const returnResult = returnNode.accept(inferenceEngine);
|
|
159
|
+
if (returnResult.success === false) {
|
|
160
|
+
this.errors.push(`Type error in '${functionName}': ${returnResult.error}`);
|
|
161
|
+
return;
|
|
197
162
|
}
|
|
163
|
+
const sub = this.coreHM.unify(returnResult.value, expectedBodyType);
|
|
164
|
+
if (sub.success === false)
|
|
165
|
+
throw Error(sub.error);
|
|
198
166
|
this.environments.shift();
|
|
199
167
|
}
|
|
200
168
|
catch (error) {
|
|
@@ -202,27 +170,27 @@ export class FunctionCheckerVisitor {
|
|
|
202
170
|
}
|
|
203
171
|
}
|
|
204
172
|
}
|
|
173
|
+
fallback(node) { }
|
|
205
174
|
}
|
|
206
175
|
export class TypeChecker {
|
|
207
176
|
signatureMap;
|
|
208
|
-
coreHM;
|
|
209
177
|
errors;
|
|
178
|
+
typeAliasMap = new Map();
|
|
179
|
+
coreHM = new CoreHM(this.typeAliasMap, new Map(staticTypeClasses));
|
|
210
180
|
constructor() {
|
|
211
181
|
this.signatureMap = new Map();
|
|
212
182
|
this.errors = [];
|
|
213
183
|
}
|
|
214
184
|
check(ast) {
|
|
215
|
-
const typeAliasMap = new Map();
|
|
216
|
-
this.coreHM = new CoreHM(typeAliasMap, new Map(staticTypeClasses));
|
|
217
185
|
const recordMap = new Map();
|
|
218
186
|
// Phase 1: Collect declarations
|
|
219
|
-
const collector = new DeclarationCollectorVisitor(this.errors, typeAliasMap, recordMap, this.signatureMap, this.coreHM);
|
|
187
|
+
const collector = new DeclarationCollectorVisitor(this.errors, this.typeAliasMap, recordMap, this.signatureMap, this.coreHM);
|
|
220
188
|
for (const node of ast) {
|
|
221
189
|
try {
|
|
222
190
|
node.accept(collector);
|
|
223
191
|
}
|
|
224
192
|
catch (error) {
|
|
225
|
-
this.errors.push(error);
|
|
193
|
+
this.errors.push(error instanceof Error ? error.message : String(error));
|
|
226
194
|
}
|
|
227
195
|
}
|
|
228
196
|
if (this.errors.length > 0)
|
|
@@ -258,12 +226,6 @@ export class TypeChecker {
|
|
|
258
226
|
}
|
|
259
227
|
}
|
|
260
228
|
}
|
|
261
|
-
const YuNameMap = {
|
|
262
|
-
YuNumber: "YuNumber",
|
|
263
|
-
YuString: "YuString",
|
|
264
|
-
YuBoolean: "YuBoolean",
|
|
265
|
-
YuChar: "YuChar",
|
|
266
|
-
};
|
|
267
229
|
const getVarName = (id, name, seen) => {
|
|
268
230
|
if (name)
|
|
269
231
|
return name;
|
|
@@ -288,14 +250,15 @@ const formatBody = (t, seen) => {
|
|
|
288
250
|
: `${left} -> ${right}`;
|
|
289
251
|
}
|
|
290
252
|
if (isListType(t)) {
|
|
291
|
-
if (t.args[0].type === "TypeConstructor" &&
|
|
292
|
-
|
|
253
|
+
if (t.args[0].type === "TypeConstructor" &&
|
|
254
|
+
t.args[0].name === YUTYPES.YuChar) {
|
|
255
|
+
return YUTYPES.YuString;
|
|
293
256
|
}
|
|
294
257
|
return `[${showType(t.args[0])}]`;
|
|
295
258
|
}
|
|
296
259
|
if (isTupleType(t))
|
|
297
|
-
return `(${t.args.map(showType
|
|
298
|
-
const name =
|
|
260
|
+
return `(${t.args.map((arg) => showType(arg, seen)).join(", ")})`;
|
|
261
|
+
const name = t.name;
|
|
299
262
|
return t.args.length
|
|
300
263
|
? `${name} ${t.args.map((a) => formatBody(a, seen)).join(" ")}`
|
|
301
264
|
: name;
|
|
@@ -327,25 +290,34 @@ export function getArity(type) {
|
|
|
327
290
|
return getArgumentTypes(type).length;
|
|
328
291
|
}
|
|
329
292
|
export function isFunctionType(t) {
|
|
330
|
-
return t.type === "TypeConstructor" &&
|
|
293
|
+
return (t.type === "TypeConstructor" &&
|
|
294
|
+
t.name === YUTYPES.Arrow &&
|
|
295
|
+
t.args.length === 2);
|
|
331
296
|
}
|
|
332
297
|
export function isListType(t) {
|
|
333
|
-
return t.name ===
|
|
298
|
+
return t.name === YUTYPES.List;
|
|
334
299
|
}
|
|
335
300
|
export function isTupleType(t) {
|
|
336
|
-
return t.name ===
|
|
301
|
+
return t.name === YUTYPES.Tuple;
|
|
337
302
|
}
|
|
303
|
+
// If either side is a string primitive or already inferred as stringType,
|
|
304
|
+
// we treat the whole operation as string concatenation.
|
|
305
|
+
export const isString = (t) => (t.type === "TypeConstructor" && t.name === YUTYPES.YuString) ||
|
|
306
|
+
(t.type === "TypeConstructor" &&
|
|
307
|
+
t.name === YUTYPES.List &&
|
|
308
|
+
t.args[0].type === "TypeConstructor" &&
|
|
309
|
+
t.args[0].name === YUTYPES.YuChar);
|
|
338
310
|
export function functionType(params, returnType) {
|
|
339
311
|
return {
|
|
340
312
|
type: "TypeConstructor",
|
|
341
|
-
name:
|
|
313
|
+
name: YUTYPES.Arrow,
|
|
342
314
|
args: [params, returnType],
|
|
343
315
|
};
|
|
344
316
|
}
|
|
345
317
|
export function listType(elementsType) {
|
|
346
318
|
return {
|
|
347
319
|
type: "TypeConstructor",
|
|
348
|
-
name:
|
|
320
|
+
name: YUTYPES.List,
|
|
349
321
|
args: [elementsType],
|
|
350
322
|
};
|
|
351
323
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"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"}
|
|
1
|
+
{"version":3,"file":"checker.js","sourceRoot":"","sources":["../../src/typechecker/checker.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,QAAQ,EAER,MAAM,EAMN,aAAa,GAEd,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,OAAO,EAAE,MAAM,mBAAmB,CAAC;AA+C9E,MAAM,CAAC,MAAM,WAAW,GAAoB;IAC1C,IAAI,EAAE,iBAAiB;IACvB,IAAI,EAAE,OAAO,CAAC,SAAS;IACvB,IAAI,EAAE,EAAE;CACT,CAAC;AACF,MAAM,CAAC,MAAM,UAAU,GAAoB;IACzC,IAAI,EAAE,iBAAiB;IACvB,IAAI,EAAE,OAAO,CAAC,QAAQ;IACtB,IAAI,EAAE,EAAE;CACT,CAAC;AACF,MAAM,CAAC,MAAM,QAAQ,GAAoB;IACvC,IAAI,EAAE,iBAAiB;IACvB,IAAI,EAAE,OAAO,CAAC,MAAM;IACpB,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,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC;gBAAE,SAAS;YAC/C,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;YACrD,UAAU;iBACP,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,YAAY,QAAQ,CAAC;iBAC1C,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;gBAChB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;YAClD,CAAC,CAAC,CAAC;QACP,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;IAClC,QAAQ,CAAC,IAAa,IAAS,CAAC;CACjC;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,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC;gBAAE,OAAO;YAC5C,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,CACd,kBAAkB,YAAY,MAAM,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAC7F,CAAC;gBACJ,CAAC;YACH,CAAC,CAAC,CAAC;YAEH,MAAM,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;YAC5D,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;YACF,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CACxC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,YAAY,MAAM,CACjC,CAAC;YACF,IAAI,CAAC,UAAU;gBAAE,OAAO;YAExB,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;YACxD,IAAI,YAAY,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;gBACnC,IAAI,CAAC,MAAM,CAAC,IAAI,CACd,kBAAkB,YAAY,MAAM,YAAY,CAAC,KAAK,EAAE,CACzD,CAAC;gBACF,OAAO;YACT,CAAC;YACD,MAAM,gBAAgB,GAAG,YAAY,CAAC,KAAK,CAAC;YAE5C,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,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC;gBAAE,SAAS;YAC/C,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;gBACrD,IAAI,gBAAgB,GAAG,QAAQ,CAAC;gBAEhC,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,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAC7F,CAAC;oBACJ,CAAC;gBACH,CAAC,CAAC,CAAC;gBAEH,MAAM,kBAAkB,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;gBAC7D,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,UAAU,GAAG,kBAAkB,CAAC,IAAI,CACxC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,YAAY,MAAM,CACjC,CAAC;gBACF,IAAI,CAAC,UAAU;oBAAE,OAAO;gBACxB,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;gBACxD,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;gBAED,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;gBACpE,IAAI,GAAG,CAAC,OAAO,KAAK,KAAK;oBAAE,MAAM,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAClD,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;IACD,QAAQ,CAAC,IAAa,IAAS,CAAC;CACjC;AAED,MAAM,OAAO,WAAW;IACd,YAAY,CAA0B;IACtC,MAAM,CAAW;IACjB,YAAY,GAAG,IAAI,GAAG,EAAgB,CAAC;IACvC,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAE3E;QACE,IAAI,CAAC,YAAY,GAAG,IAAI,GAAG,EAAsB,CAAC;QAClD,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;IACnB,CAAC;IACD,KAAK,CAAC,GAAQ;QACZ,MAAM,SAAS,GAAG,IAAI,GAAG,EAAgB,CAAC;QAE1C,gCAAgC;QAChC,MAAM,SAAS,GAAG,IAAI,2BAA2B,CAC/C,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,YAAY,EACjB,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,CACd,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CACvD,CAAC;YACJ,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;AAID,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,IACE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB;YACpC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,EACjC,CAAC;YACD,OAAO,OAAO,CAAC,QAAQ,CAAC;QAC1B,CAAC;QACD,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACpC,CAAC;IACD,IAAI,WAAW,CAAC,CAAC,CAAC;QAChB,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAEpE,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;IACpB,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,CACL,CAAC,CAAC,IAAI,KAAK,iBAAiB;QAC5B,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,KAAK;QACxB,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CACpB,CAAC;AACJ,CAAC;AACD,MAAM,UAAU,UAAU,CAAC,CAAO;IAChC,OAAO,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC;AACjC,CAAC;AACD,MAAM,UAAU,WAAW,CAAC,CAAO;IACjC,OAAO,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,KAAK,CAAC;AAClC,CAAC;AAED,0EAA0E;AAC1E,wDAAwD;AACxD,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAO,EAAE,EAAE,CAClC,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,QAAQ,CAAC;IAC7D,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB;QAC3B,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI;QACvB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB;QACpC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;AAEvC,MAAM,UAAU,YAAY,CAAC,MAAY,EAAE,UAAgB;IACzD,OAAO;QACL,IAAI,EAAE,iBAAiB;QACvB,IAAI,EAAE,OAAO,CAAC,KAAK;QACnB,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,OAAO,CAAC,IAAI;QAClB,IAAI,EAAE,CAAC,YAAY,CAAC;KACrB,CAAC;AACJ,CAAC"}
|
package/dist/typechecker/core.js
CHANGED
|
@@ -1,4 +1,5 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { YUTYPES } from "../utils/types.js";
|
|
2
|
+
import { charType, isListType, isString, showType, } from "./checker.js";
|
|
2
3
|
export class CoreHM {
|
|
3
4
|
aliases;
|
|
4
5
|
typeClasses;
|
|
@@ -88,10 +89,10 @@ export class CoreHM {
|
|
|
88
89
|
if (rt2.type === "TypeVar")
|
|
89
90
|
return this.unifyVar(rt2, rt1);
|
|
90
91
|
if (rt1.type === "TypeConstructor" && rt2.type === "TypeConstructor") {
|
|
91
|
-
const isStringList = (a, b) => (a
|
|
92
|
-
(b
|
|
92
|
+
const isStringList = (a, b) => (isString(a) && isListType(b)) ||
|
|
93
|
+
(isString(b) && isListType(a));
|
|
93
94
|
if (isStringList(rt1, rt2)) {
|
|
94
|
-
const listType = rt1.name ===
|
|
95
|
+
const listType = rt1.name === YUTYPES.List ? rt1 : rt2;
|
|
95
96
|
return this.unify(listType.args[0], charType);
|
|
96
97
|
}
|
|
97
98
|
if (rt1.name !== rt2.name || rt1.args.length !== rt2.args.length) {
|
|
@@ -145,11 +146,11 @@ export class CoreHM {
|
|
|
145
146
|
}
|
|
146
147
|
else if (rt.type === "TypeConstructor") {
|
|
147
148
|
let typeName = rt.name;
|
|
148
|
-
if (typeName ===
|
|
149
|
+
if (typeName === YUTYPES.List &&
|
|
149
150
|
rt.args.length === 1 &&
|
|
150
151
|
rt.args[0].type === "TypeConstructor" &&
|
|
151
|
-
rt.args[0].name ===
|
|
152
|
-
typeName =
|
|
152
|
+
rt.args[0].name === YUTYPES.YuChar) {
|
|
153
|
+
typeName = YUTYPES.YuString;
|
|
153
154
|
}
|
|
154
155
|
const instances = this.typeClasses.get(constraintName);
|
|
155
156
|
if (!instances || !instances.includes(typeName)) {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"core.js","sourceRoot":"","sources":["../../src/typechecker/core.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,
|
|
1
|
+
{"version":3,"file":"core.js","sourceRoot":"","sources":["../../src/typechecker/core.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAC5C,OAAO,EACL,QAAQ,EAER,UAAU,EACV,QAAQ,EAER,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,QAAQ,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC9B,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YAEjC,IAAI,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;gBAC3B,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;gBACvD,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,OAAO,CAAC,IAAI;gBACzB,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,OAAO,CAAC,MAAM,EAClC,CAAC;gBACD,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;YAC9B,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"}
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
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";
|
|
1
|
+
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, GuardedExpression } from "yukigo-ast";
|
|
2
2
|
import { Environment, Result, Type, TypeScheme } from "./checker.js";
|
|
3
3
|
import { CoreHM } from "./core.js";
|
|
4
4
|
export declare class PatternVisitor implements Visitor<void> {
|
|
@@ -21,6 +21,7 @@ export declare class PatternVisitor implements Visitor<void> {
|
|
|
21
21
|
visitConsPattern(node: ConsPattern): void;
|
|
22
22
|
visitTypePattern(node: TypePattern): void;
|
|
23
23
|
visit(node: Pattern): void;
|
|
24
|
+
fallback(node: ASTNode): void;
|
|
24
25
|
}
|
|
25
26
|
export declare class InferenceEngine implements Visitor<Result<Type>> {
|
|
26
27
|
private signatureMap;
|
|
@@ -58,6 +59,7 @@ export declare class InferenceEngine implements Visitor<Result<Type>> {
|
|
|
58
59
|
visitYield(node: Yield): Result<Type>;
|
|
59
60
|
visitRaise(node: Raise): Result<Type>;
|
|
60
61
|
visitIf(node: If): Result<Type>;
|
|
62
|
+
visitGuardedExpression(node: GuardedExpression): Result<Type>;
|
|
61
63
|
visitReturn(node: Return): Result<Type>;
|
|
62
64
|
visitTypeCast(node: TypeCast): Result<Type>;
|
|
63
65
|
visitPrint(node: Print): Result<Type>;
|
|
@@ -70,4 +72,5 @@ export declare class InferenceEngine implements Visitor<Result<Type>> {
|
|
|
70
72
|
visitEquality(node: Equality): Result<Type>;
|
|
71
73
|
visitFailure(node: Failure): Result<Type>;
|
|
72
74
|
visit(node: ASTNode): Result<Type>;
|
|
75
|
+
fallback(node: ASTNode): Result<Type>;
|
|
73
76
|
}
|