@ascent-lang/dev 0.1.0

package/dist/parser/typechecker.js

@@ -0,0 +1,446 @@
+import { INT_TYPE, FLOAT_TYPE, BOOL_TYPE, STRING_TYPE, NONE_TYPE, DONE_TYPE, listOfType, leastCommonType, isAssignableTo, } from '../types/types.js';
+// A chain of scopes mirroring Environment in the interpreter.
+class TypeEnv {
+    parent;
+    vars = new Map();
+    constructor(parent = null) {
+        this.parent = parent;
+    }
+    get(name) {
+        return this.vars.get(name) ?? this.parent?.get(name) ?? null;
+    }
+    set(name, ty, mutable) {
+        this.vars.set(name, { ty, mutable });
+    }
+    child() {
+        return new TypeEnv(this);
+    }
+}
+const resolveTypeExpr = (te) => {
+    switch (te.kind) {
+        case 'TypeName': {
+            switch (te.name) {
+                case 'Int': return INT_TYPE;
+                case 'Float': return FLOAT_TYPE;
+                case 'Bool': return BOOL_TYPE;
+                case 'String': return STRING_TYPE;
+            }
+        }
+        case 'ListType':
+            return listOfType(resolveTypeExpr(te.elem));
+    }
+};
+// ---- Method type signatures ------------------------------------------
+const requireArity = (expected, got, markers, span) => {
+    if (got !== expected) {
+        markers.push({ code: 'T0007', span });
+        return false;
+    }
+    return true;
+};
+const intMethodType = (method, argTypes, markers, span) => {
+    switch (method) {
+        case 'toStr': return requireArity(0, argTypes.length, markers, span) ? STRING_TYPE : null;
+        case 'toFloat': return requireArity(0, argTypes.length, markers, span) ? FLOAT_TYPE : null;
+        case 'abs': return requireArity(0, argTypes.length, markers, span) ? INT_TYPE : null;
+        default:
+            markers.push({ code: 'T0006', span });
+            return null;
+    }
+};
+const floatMethodType = (method, argTypes, markers, span) => {
+    switch (method) {
+        case 'toStr': return requireArity(0, argTypes.length, markers, span) ? STRING_TYPE : null;
+        case 'toInt': return requireArity(0, argTypes.length, markers, span) ? INT_TYPE : null;
+        case 'abs': return requireArity(0, argTypes.length, markers, span) ? FLOAT_TYPE : null;
+        default:
+            markers.push({ code: 'T0006', span });
+            return null;
+    }
+};
+const listMethodType = (elemType, method, argTypes, markers, span) => {
+    switch (method) {
+        case 'length': return requireArity(0, argTypes.length, markers, span) ? INT_TYPE : null;
+        case 'isEmpty': return requireArity(0, argTypes.length, markers, span) ? BOOL_TYPE : null;
+        case 'reverse': return requireArity(0, argTypes.length, markers, span) ? listOfType(elemType) : null;
+        case 'append':
+        case 'prepend': {
+            if (!requireArity(1, argTypes.length, markers, span))
+                return null;
+            const ct = leastCommonType(elemType, argTypes[0]);
+            if (ct === null) {
+                markers.push({ code: 'T0008', span });
+                return null;
+            }
+            return listOfType(ct);
+        }
+        case 'concat': {
+            if (!requireArity(1, argTypes.length, markers, span))
+                return null;
+            const arg = argTypes[0];
+            if (arg.kind !== 'List') {
+                markers.push({ code: 'T0008', span });
+                return null;
+            }
+            const ct = leastCommonType(elemType, arg.elem);
+            if (ct === null) {
+                markers.push({ code: 'T0008', span });
+                return null;
+            }
+            return listOfType(ct);
+        }
+        default:
+            markers.push({ code: 'T0006', span });
+            return null;
+    }
+};
+// ---- Expression inference -------------------------------------------
+//
+// Returns a TypedExpr with the inferred type embedded, or null when
+// inference fails (error already recorded in markers). Callers that
+// get null should still continue checking siblings to surface more errors.
+const inferExpr = (expr, env, markers, contextType = null) => {
+    switch (expr.kind) {
+        case 'literal': {
+            switch (expr.valueType) {
+                case 'Int': return { ...expr, type: INT_TYPE };
+                case 'Float': return { ...expr, type: FLOAT_TYPE };
+                case 'Bool': return { ...expr, type: BOOL_TYPE };
+                case 'String': return { ...expr, type: STRING_TYPE };
+                case 'None': return { ...expr, type: NONE_TYPE };
+                case 'Done': return { ...expr, type: DONE_TYPE };
+            }
+        }
+        case 'slot': {
+            const binding = env.get(expr.name);
+            if (binding === null) {
+                markers.push({ code: 'N0001', span: expr.span });
+                return null;
+            }
+            return { ...expr, type: binding.ty };
+        }
+        case 'call': {
+            // floor is the only built-in for now.
+            if (expr.callee !== 'floor') {
+                markers.push({ code: 'T0006', span: expr.span });
+                return null;
+            }
+            if (!requireArity(1, expr.args.length, markers, expr.span))
+                return null;
+            const typedArg = inferExpr(expr.args[0], env, markers);
+            if (typedArg === null)
+                return null;
+            if (typedArg.type.kind !== 'Float') {
+                markers.push({ code: 'T0008', span: expr.span });
+                return null;
+            }
+            return { kind: 'call', callee: expr.callee, args: [typedArg], type: FLOAT_TYPE, span: expr.span };
+        }
+        case 'unary': {
+            const typedOperand = inferExpr(expr.operand, env, markers);
+            if (typedOperand === null)
+                return null;
+            if (typedOperand.type.kind !== 'Int' && typedOperand.type.kind !== 'Float') {
+                markers.push({ code: 'T0009', span: expr.span });
+                return null;
+            }
+            return { kind: 'unary', op: expr.op, operand: typedOperand, type: typedOperand.type, span: expr.span };
+        }
+        case 'binary': {
+            const typedLeft = inferExpr(expr.left, env, markers);
+            const typedRight = inferExpr(expr.right, env, markers);
+            if (typedLeft === null || typedRight === null)
+                return null;
+            const lt = typedLeft.type;
+            const rt = typedRight.type;
+            let type;
+            switch (expr.op) {
+                case '+':
+                case '-':
+                case '*': {
+                    if ((lt.kind !== 'Int' && lt.kind !== 'Float') || (rt.kind !== 'Int' && rt.kind !== 'Float')) {
+                        markers.push({ code: 'T0009', span: expr.span });
+                        return null;
+                    }
+                    type = (lt.kind === 'Float' || rt.kind === 'Float') ? FLOAT_TYPE : INT_TYPE;
+                    break;
+                }
+                case '/': {
+                    if ((lt.kind !== 'Int' && lt.kind !== 'Float') || (rt.kind !== 'Int' && rt.kind !== 'Float')) {
+                        markers.push({ code: 'T0009', span: expr.span });
+                        return null;
+                    }
+                    type = FLOAT_TYPE;
+                    break;
+                }
+                case 'div':
+                case 'mod': {
+                    if (lt.kind !== 'Int' || rt.kind !== 'Int') {
+                        markers.push({ code: 'T0009', span: expr.span });
+                        return null;
+                    }
+                    type = INT_TYPE;
+                    break;
+                }
+                case '==':
+                case '!=': {
+                    if (leastCommonType(lt, rt) === null) {
+                        markers.push({ code: 'T0009', span: expr.span });
+                        return null;
+                    }
+                    type = BOOL_TYPE;
+                    break;
+                }
+                case '<':
+                case '<=':
+                case '>':
+                case '>=': {
+                    if ((lt.kind !== 'Int' && lt.kind !== 'Float') || (rt.kind !== 'Int' && rt.kind !== 'Float')) {
+                        markers.push({ code: 'T0009', span: expr.span });
+                        return null;
+                    }
+                    type = BOOL_TYPE;
+                    break;
+                }
+            }
+            return { kind: 'binary', op: expr.op, left: typedLeft, right: typedRight, type, span: expr.span };
+        }
+        case 'list': {
+            if (expr.elements.length === 0) {
+                if (contextType !== null && contextType.kind === 'List') {
+                    return { kind: 'list', elements: [], type: contextType, span: expr.span };
+                }
+                markers.push({ code: 'T0003', span: expr.span });
+                return null;
+            }
+            const typedElements = [];
+            let failed = false;
+            for (const el of expr.elements) {
+                const te = inferExpr(el, env, markers);
+                if (te === null) {
+                    failed = true;
+                }
+                else {
+                    typedElements.push(te);
+                }
+            }
+            if (failed)
+                return null;
+            let elemType = typedElements[0].type;
+            for (const te of typedElements.slice(1)) {
+                const ct = leastCommonType(elemType, te.type);
+                if (ct === null) {
+                    markers.push({ code: 'T0002', span: expr.span });
+                    return null;
+                }
+                elemType = ct;
+            }
+            // If the surrounding context expects a List with a wider element type
+            // (e.g. List<Float> when elements are all Int), widen to match so that
+            // the interpreter can coerce elements using expr.type.elem.
+            if (contextType !== null && contextType.kind === 'List') {
+                const ct = leastCommonType(elemType, contextType.elem);
+                if (ct !== null)
+                    elemType = ct;
+            }
+            return { kind: 'list', elements: typedElements, type: listOfType(elemType), span: expr.span };
+        }
+        case 'index': {
+            const typedList = inferExpr(expr.list, env, markers);
+            const typedIndex = inferExpr(expr.index, env, markers);
+            if (typedList === null || typedIndex === null)
+                return null;
+            if (typedList.type.kind !== 'List') {
+                markers.push({ code: 'T0010', span: expr.span });
+                return null;
+            }
+            if (typedIndex.type.kind !== 'Int') {
+                markers.push({ code: 'T0011', span: expr.span });
+                return null;
+            }
+            return { kind: 'index', list: typedList, index: typedIndex, type: typedList.type.elem, span: expr.span };
+        }
+        case 'methodCall': {
+            const typedReceiver = inferExpr(expr.receiver, env, markers);
+            if (typedReceiver === null)
+                return null;
+            const typedArgs = [];
+            let failed = false;
+            for (const arg of expr.args) {
+                const ta = inferExpr(arg, env, markers);
+                if (ta === null) {
+                    failed = true;
+                }
+                else {
+                    typedArgs.push(ta);
+                }
+            }
+            if (failed)
+                return null;
+            const argTypes = typedArgs.map(a => a.type);
+            let resultType;
+            switch (typedReceiver.type.kind) {
+                case 'Int':
+                    resultType = intMethodType(expr.method, argTypes, markers, expr.span);
+                    break;
+                case 'Float':
+                    resultType = floatMethodType(expr.method, argTypes, markers, expr.span);
+                    break;
+                case 'List':
+                    resultType = listMethodType(typedReceiver.type.elem, expr.method, argTypes, markers, expr.span);
+                    break;
+                default:
+                    markers.push({ code: 'T0012', span: expr.span });
+                    return null;
+            }
+            if (resultType === null)
+                return null;
+            return {
+                kind: 'methodCall', receiver: typedReceiver, method: expr.method,
+                args: typedArgs, type: resultType, span: expr.span,
+            };
+        }
+        case 'block':
+            return inferBlock(expr, env, markers);
+        case 'if':
+            return inferIf(expr, env, markers);
+    }
+};
+const inferBlock = (block, env, markers) => {
+    const inner = env.child();
+    const typedStmts = [];
+    let failed = false;
+    let blockType = DONE_TYPE;
+    for (const stmt of block.stmts) {
+        const typedStmt = inferStmt(stmt, inner, markers);
+        if (typedStmt === null) {
+            failed = true;
+        }
+        else {
+            typedStmts.push(typedStmt);
+            blockType = typedStmt.kind === 'expr' ? typedStmt.expr.type : DONE_TYPE;
+        }
+    }
+    if (failed)
+        return null;
+    return { kind: 'block', stmts: typedStmts, type: blockType, span: block.span };
+};
+const inferIf = (expr, env, markers) => {
+    const typedCond = inferExpr(expr.cond, env, markers);
+    if (typedCond !== null && typedCond.type.kind !== 'Bool') {
+        markers.push({ code: 'T0004', span: expr.cond.span });
+    }
+    const typedThen = inferBlock(expr.then, env, markers);
+    if (expr.else === null) {
+        if (typedCond === null || typedThen === null)
+            return null;
+        return { kind: 'if', cond: typedCond, then: typedThen, else: null, type: DONE_TYPE, span: expr.span };
+    }
+    const typedElse = expr.else.kind === 'if'
+        ? inferIf(expr.else, env, markers)
+        : inferBlock(expr.else, env, markers);
+    if (typedCond === null || typedThen === null || typedElse === null)
+        return null;
+    const ct = leastCommonType(typedThen.type, typedElse.type);
+    if (ct === null) {
+        markers.push({ code: 'T0005', span: expr.span });
+        return null;
+    }
+    return { kind: 'if', cond: typedCond, then: typedThen, else: typedElse, type: ct, span: expr.span };
+};
+const inferStmt = (stmt, env, markers) => {
+    switch (stmt.kind) {
+        case 'fix':
+        case 'mut': {
+            const annotation = stmt.typeAnnotation !== null ? resolveTypeExpr(stmt.typeAnnotation) : null;
+            const typedInit = inferExpr(stmt.init, env, markers, annotation);
+            let slotType;
+            if (annotation !== null) {
+                if (typedInit !== null && !isAssignableTo(typedInit.type, annotation)) {
+                    markers.push({ code: 'T0001', span: stmt.span });
+                }
+                slotType = annotation;
+            }
+            else {
+                slotType = typedInit?.type ?? null;
+            }
+            if (slotType !== null)
+                env.set(stmt.name, slotType, stmt.kind === 'mut');
+            if (typedInit === null)
+                return null;
+            return {
+                kind: stmt.kind,
+                name: stmt.name,
+                typeAnnotation: stmt.typeAnnotation,
+                slotType: slotType ?? DONE_TYPE,
+                init: typedInit,
+                span: stmt.span,
+            };
+        }
+        case 'assign': {
+            const binding = env.get(stmt.name);
+            if (binding === null) {
+                markers.push({ code: 'N0001', span: stmt.span });
+            }
+            else if (!binding.mutable) {
+                markers.push({ code: 'N0002', span: stmt.span });
+            }
+            const typedValue = inferExpr(stmt.value, env, markers);
+            if (binding !== null && typedValue !== null && !isAssignableTo(typedValue.type, binding.ty)) {
+                markers.push({ code: 'T0001', span: stmt.span });
+            }
+            if (typedValue === null)
+                return null;
+            return {
+                kind: 'assign',
+                name: stmt.name,
+                slotType: binding?.ty ?? DONE_TYPE,
+                value: typedValue,
+                span: stmt.span,
+            };
+        }
+        case 'while': {
+            const typedCond = inferExpr(stmt.cond, env, markers);
+            if (typedCond !== null && typedCond.type.kind !== 'Bool') {
+                markers.push({ code: 'T0004', span: stmt.cond.span });
+            }
+            const typedBody = inferBlock(stmt.body, env, markers);
+            if (typedCond === null || typedBody === null)
+                return null;
+            return { kind: 'while', cond: typedCond, body: typedBody, span: stmt.span };
+        }
+        case 'expr': {
+            const typedExpr = inferExpr(stmt.expr, env, markers);
+            if (typedExpr === null)
+                return null;
+            return { kind: 'expr', expr: typedExpr, span: stmt.span };
+        }
+    }
+};
+export const typecheck = (program) => {
+    const markers = [];
+    const env = new TypeEnv();
+    for (const arg of program.args) {
+        const ty = arg.type === 'Int' ? INT_TYPE
+            : arg.type === 'Float' ? FLOAT_TYPE
+                : arg.type === 'Bool' ? BOOL_TYPE
+                    : STRING_TYPE;
+        env.set(arg.name, ty, false);
+    }
+    const typedStmts = [];
+    let failed = false;
+    for (const stmt of program.stmts) {
+        const typedStmt = inferStmt(stmt, env, markers);
+        if (typedStmt === null) {
+            failed = true;
+        }
+        else {
+            typedStmts.push(typedStmt);
+        }
+    }
+    if (failed || markers.length > 0) {
+        return { typedProgram: null, errorMarkers: markers };
+    }
+    return { typedProgram: { args: program.args, stmts: typedStmts }, errorMarkers: [] };
+};
+//# sourceMappingURL=typechecker.js.map

package/dist/parser/typechecker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typechecker.js","sourceRoot":"","sources":["../../src/parser/typechecker.ts"],"names":[],"mappings":"AAGA,OAAO,EACO,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAC1F,eAAe,EAAE,cAAc,GAChC,MAAM,mBAAmB,CAAC;AAO3B,8DAA8D;AAC9D,MAAM,OAAO;IAEyB;IAD5B,IAAI,GAAG,IAAI,GAAG,EAAgD,CAAC;IACvE,YAAoC,SAAyB,IAAI;QAA7B,WAAM,GAAN,MAAM,CAAuB;IAAI,CAAC;IAE/D,GAAG,CAAC,IAAY;QACrB,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;IAC/D,CAAC;IAEM,GAAG,CAAC,IAAY,EAAE,EAAc,EAAE,OAAgB;QACvD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IACvC,CAAC;IAEM,KAAK;QACV,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;CACF;AAED,MAAM,eAAe,GAAG,CAAC,EAAY,EAAc,EAAE;IACnD,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;gBAChB,KAAK,KAAK,CAAC,CAAC,OAAO,QAAQ,CAAC;gBAC5B,KAAK,OAAO,CAAC,CAAC,OAAO,UAAU,CAAC;gBAChC,KAAK,MAAM,CAAC,CAAC,OAAO,SAAS,CAAC;gBAC9B,KAAK,QAAQ,CAAC,CAAC,OAAO,WAAW,CAAC;YACpC,CAAC;QACH,CAAC;QACD,KAAK,UAAU;YACb,OAAO,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAChD,CAAC;AACH,CAAC,CAAC;AAEF,yEAAyE;AAEzE,MAAM,YAAY,GAAG,CAAC,QAAgB,EAAE,GAAW,EAAE,OAAiB,EAAE,IAAU,EAAW,EAAE;IAC7F,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;QAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAAC,OAAO,KAAK,CAAC;IAAC,CAAC;IAC9E,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,MAAc,EAAE,QAAsB,EAAE,OAAiB,EAAE,IAAU,EAAqB,EAAE;IACjH,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,OAAO,CAAC,CAAC,OAAO,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1F,KAAK,SAAS,CAAC,CAAC,OAAO,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3F,KAAK,KAAK,CAAC,CAAC,OAAO,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;QACrF;YAAS,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAAC,OAAO,IAAI,CAAC;IAC9D,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,MAAc,EAAE,QAAsB,EAAE,OAAiB,EAAE,IAAU,EAAqB,EAAE;IACnH,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,OAAO,CAAC,CAAC,OAAO,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1F,KAAK,OAAO,CAAC,CAAC,OAAO,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;QACvF,KAAK,KAAK,CAAC,CAAC,OAAO,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;QACvF;YAAS,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAAC,OAAO,IAAI,CAAC;IAC9D,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,QAAoB,EAAE,MAAc,EAAE,QAAsB,EAAE,OAAiB,EAAE,IAAU,EACxE,EAAE;IACrB,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,QAAQ,CAAC,CAAC,OAAO,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;QACxF,KAAK,SAAS,CAAC,CAAC,OAAO,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1F,KAAK,SAAS,CAAC,CAAC,OAAO,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACrG,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YAClE,MAAM,EAAE,GAAG,eAAe,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC;YACnD,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;gBAAC,OAAO,IAAI,CAAC;YAAC,CAAC;YACxE,OAAO,UAAU,CAAC,EAAE,CAAC,CAAC;QACxB,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YAClE,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;YACzB,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;gBAAC,OAAO,IAAI,CAAC;YAAC,CAAC;YAChF,MAAM,EAAE,GAAG,eAAe,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/C,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;gBAAC,OAAO,IAAI,CAAC;YAAC,CAAC;YACxE,OAAO,UAAU,CAAC,EAAE,CAAC,CAAC;QACxB,CAAC;QACD;YAAS,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAAC,OAAO,IAAI,CAAC;IAC9D,CAAC;AACH,CAAC,CAAC;AAEF,wEAAwE;AACxE,EAAE;AACF,oEAAoE;AACpE,oEAAoE;AACpE,2EAA2E;AAE3E,MAAM,SAAS,GAAG,CAChB,IAAU,EAAE,GAAY,EAAE,OAAiB,EAAE,cAAiC,IAAI,EAChE,EAAE;IACpB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,QAAQ,IAAI,CAAC,SAAS,EAAE,CAAC;gBACvB,KAAK,KAAK,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;gBAC/C,KAAK,OAAO,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;gBACnD,KAAK,MAAM,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;gBACjD,KAAK,QAAQ,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;gBACrD,KAAK,MAAM,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;gBACjD,KAAK,MAAM,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YACnD,CAAC;QACH,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;gBAAC,OAAO,IAAI,CAAC;YAAC,CAAC;YACxF,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC;QACvC,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,sCAAsC;YACtC,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;gBAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;gBAAC,OAAO,IAAI,CAAC;YAAC,CAAC;YAC/F,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACxE,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YACxD,IAAI,QAAQ,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YACnC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;gBAAC,OAAO,IAAI,CAAC;YAAC,CAAC;YACtG,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QACpG,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YAC3D,IAAI,YAAY,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YACvC,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC3E,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;gBAAC,OAAO,IAAI,CAAC;YAChE,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QACzG,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YACrD,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YACvD,IAAI,SAAS,KAAK,IAAI,IAAI,UAAU,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC3D,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC;YAC1B,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC;YAE3B,IAAI,IAAgB,CAAC;YACrB,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;gBAChB,KAAK,GAAG,CAAC;gBAAC,KAAK,GAAG,CAAC;gBAAC,KAAK,GAAG,CAAC,CAAC,CAAC;oBAC7B,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,CAAC;wBAC7F,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;wBAAC,OAAO,IAAI,CAAC;oBAChE,CAAC;oBACD,IAAI,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC;oBAC5E,MAAM;gBACR,CAAC;gBACD,KAAK,GAAG,CAAC,CAAC,CAAC;oBACT,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,CAAC;wBAC7F,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;wBAAC,OAAO,IAAI,CAAC;oBAChE,CAAC;oBACD,IAAI,GAAG,UAAU,CAAC;oBAClB,MAAM;gBACR,CAAC;gBACD,KAAK,KAAK,CAAC;gBAAC,KAAK,KAAK,CAAC,CAAC,CAAC;oBACvB,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;wBAC3C,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;wBAAC,OAAO,IAAI,CAAC;oBAChE,CAAC;oBACD,IAAI,GAAG,QAAQ,CAAC;oBAChB,MAAM;gBACR,CAAC;gBACD,KAAK,IAAI,CAAC;gBAAC,KAAK,IAAI,CAAC,CAAC,CAAC;oBACrB,IAAI,eAAe,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;wBACrC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;wBAAC,OAAO,IAAI,CAAC;oBAChE,CAAC;oBACD,IAAI,GAAG,SAAS,CAAC;oBACjB,MAAM;gBACR,CAAC;gBACD,KAAK,GAAG,CAAC;gBAAC,KAAK,IAAI,CAAC;gBAAC,KAAK,GAAG,CAAC;gBAAC,KAAK,IAAI,CAAC,CAAC,CAAC;oBACzC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,CAAC;wBAC7F,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;wBAAC,OAAO,IAAI,CAAC;oBAChE,CAAC;oBACD,IAAI,GAAG,SAAS,CAAC;oBACjB,MAAM;gBACR,CAAC;YACH,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QACpG,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC/B,IAAI,WAAW,KAAK,IAAI,IAAI,WAAW,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBACxD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC5E,CAAC;gBACD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;gBACjD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,aAAa,GAAgB,EAAE,CAAC;YACtC,IAAI,MAAM,GAAG,KAAK,CAAC;YACnB,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;gBACvC,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;oBAAC,MAAM,GAAG,IAAI,CAAC;gBAAC,CAAC;qBAAM,CAAC;oBAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAAC,CAAC;YACtE,CAAC;YACD,IAAI,MAAM;gBAAE,OAAO,IAAI,CAAC;YAExB,IAAI,QAAQ,GAAe,aAAa,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;YAClD,KAAK,MAAM,EAAE,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxC,MAAM,EAAE,GAAG,eAAe,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;gBAC9C,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;oBAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;oBAAC,OAAO,IAAI,CAAC;gBAAC,CAAC;gBACnF,QAAQ,GAAG,EAAE,CAAC;YAChB,CAAC;YACD,sEAAsE;YACtE,uEAAuE;YACvE,4DAA4D;YAC5D,IAAI,WAAW,KAAK,IAAI,IAAI,WAAW,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACxD,MAAM,EAAE,GAAG,eAAe,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;gBACvD,IAAI,EAAE,KAAK,IAAI;oBAAE,QAAQ,GAAG,EAAE,CAAC;YACjC,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QAChG,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YACrD,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YACvD,IAAI,SAAS,KAAK,IAAI,IAAI,UAAU,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC3D,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;gBAAC,OAAO,IAAI,CAAC;YAAC,CAAC;YACtG,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;gBAAC,OAAO,IAAI,CAAC;YAAC,CAAC;YACtG,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QAC3G,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,aAAa,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YAC7D,IAAI,aAAa,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAExC,MAAM,SAAS,GAAgB,EAAE,CAAC;YAClC,IAAI,MAAM,GAAG,KAAK,CAAC;YACnB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC5B,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;gBACxC,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;oBAAC,MAAM,GAAG,IAAI,CAAC;gBAAC,CAAC;qBAAM,CAAC;oBAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAAC,CAAC;YAClE,CAAC;YACD,IAAI,MAAM;gBAAE,OAAO,IAAI,CAAC;YAExB,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,UAA6B,CAAC;YAClC,QAAQ,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAChC,KAAK,KAAK;oBAAE,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;oBAAC,MAAM;gBACzF,KAAK,OAAO;oBAAE,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;oBAAC,MAAM;gBAC7F,KAAK,MAAM;oBAAE,UAAU,GAAG,cAAc,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;oBAAC,MAAM;gBACpH;oBAAS,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;oBAAC,OAAO,IAAI,CAAC;YACzE,CAAC;YACD,IAAI,UAAU,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YACrC,OAAO;gBACL,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM;gBAChE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI;aACnD,CAAC;QACJ,CAAC;QAED,KAAK,OAAO;YACV,OAAO,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAExC,KAAK,IAAI;YACP,OAAO,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;IACvC,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,KAAY,EAAE,GAAY,EAAE,OAAiB,EAAqB,EAAE;IACtF,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC;IAC1B,MAAM,UAAU,GAAqB,EAAE,CAAC;IACxC,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,SAAS,GAAe,SAAS,CAAC;IAEtC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QAClD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,MAAM,GAAG,IAAI,CAAC;QAChB,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC3B,SAAS,GAAG,SAAS,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1E,CAAC;IACH,CAAC;IAED,IAAI,MAAM;QAAE,OAAO,IAAI,CAAC;IACxB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;AACjF,CAAC,CAAC;AAEF,MAAM,OAAO,GAAG,CAAC,IAAQ,EAAE,GAAY,EAAE,OAAiB,EAAkB,EAAE;IAC5E,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;IACrD,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACxD,CAAC;IAED,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;IAEtD,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACvB,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC1D,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IACxG,CAAC;IAED,MAAM,SAAS,GAAgC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI;QACpE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC;QAClC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;IAExC,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEhF,MAAM,EAAE,GAAG,eAAe,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;QAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;IAEnF,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;AACtG,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAC,IAAe,EAAE,GAAY,EAAE,OAAiB,EAAyB,EAAE;IAC5F,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC9F,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;YAEjE,IAAI,QAA2B,CAAC;YAChC,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;gBACxB,IAAI,SAAS,KAAK,IAAI,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC;oBACtE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;gBACnD,CAAC;gBACD,QAAQ,GAAG,UAAU,CAAC;YACxB,CAAC;iBAAM,CAAC;gBACN,QAAQ,GAAG,SAAS,EAAE,IAAI,IAAI,IAAI,CAAC;YACrC,CAAC;YAED,IAAI,QAAQ,KAAK,IAAI;gBAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;YACzE,IAAI,SAAS,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAEpC,OAAO;gBACL,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,cAAc,EAAE,IAAI,CAAC,cAAc;gBACnC,QAAQ,EAAE,QAAQ,IAAI,SAAS;gBAC/B,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,IAAI,CAAC,IAAI;aAChB,CAAC;QACJ,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACnD,CAAC;iBAAM,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;gBAC5B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACnD,CAAC;YACD,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YACvD,IAAI,OAAO,KAAK,IAAI,IAAI,UAAU,KAAK,IAAI,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC5F,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACnD,CAAC;YACD,IAAI,UAAU,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YACrC,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,QAAQ,EAAE,OAAO,EAAE,EAAE,IAAI,SAAS;gBAClC,KAAK,EAAE,UAAU;gBACjB,IAAI,EAAE,IAAI,CAAC,IAAI;aAChB,CAAC;QACJ,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YACrD,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACzD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACxD,CAAC;YACD,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YACtD,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC1D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QAC9E,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YACrD,IAAI,SAAS,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YACpC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5D,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,OAAgB,EAAmB,EAAE;IAC7D,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,GAAG,GAAG,IAAI,OAAO,EAAE,CAAC;IAE1B,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QAC/B,MAAM,EAAE,GAAe,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ;YAClD,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU;gBACjC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS;oBAC/B,CAAC,CAAC,WAAW,CAAC;QACpB,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED,MAAM,UAAU,GAAqB,EAAE,CAAC;IACxC,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACjC,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAChD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YAAC,MAAM,GAAG,IAAI,CAAC;QAAC,CAAC;aAAM,CAAC;YAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAAC,CAAC;IACjF,CAAC;IAED,IAAI,MAAM,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC;IACvD,CAAC;IACD,OAAO,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC;AACvF,CAAC,CAAC"}

package/dist/parser/typed-ast.d.ts

@@ -0,0 +1,130 @@
+import type { Span } from '../lexer/token.js';
+import type { UnaryOp, BinaryOp, ArgDef, TypeExpr } from './ast.js';
+import type { AscentType } from '../types/types.js';
+export type TypedLiteral = ({
+    kind: 'literal';
+    valueType: 'Int';
+    value: bigint;
+    type: AscentType;
+    span: Span;
+} | {
+    kind: 'literal';
+    valueType: 'Float';
+    value: number;
+    type: AscentType;
+    span: Span;
+} | {
+    kind: 'literal';
+    valueType: 'Bool';
+    value: boolean;
+    type: AscentType;
+    span: Span;
+} | {
+    kind: 'literal';
+    valueType: 'String';
+    value: string;
+    type: AscentType;
+    span: Span;
+} | {
+    kind: 'literal';
+    valueType: 'None';
+    type: AscentType;
+    span: Span;
+} | {
+    kind: 'literal';
+    valueType: 'Done';
+    type: AscentType;
+    span: Span;
+});
+export type TypedExpr = (TypedLiteral | {
+    kind: 'slot';
+    name: string;
+    type: AscentType;
+    span: Span;
+} | {
+    kind: 'call';
+    callee: string;
+    args: TypedExpr[];
+    type: AscentType;
+    span: Span;
+} | {
+    kind: 'methodCall';
+    receiver: TypedExpr;
+    method: string;
+    args: TypedExpr[];
+    type: AscentType;
+    span: Span;
+} | {
+    kind: 'list';
+    elements: TypedExpr[];
+    type: AscentType;
+    span: Span;
+} | {
+    kind: 'index';
+    list: TypedExpr;
+    index: TypedExpr;
+    type: AscentType;
+    span: Span;
+} | {
+    kind: 'unary';
+    op: UnaryOp;
+    operand: TypedExpr;
+    type: AscentType;
+    span: Span;
+} | {
+    kind: 'binary';
+    op: BinaryOp;
+    left: TypedExpr;
+    right: TypedExpr;
+    type: AscentType;
+    span: Span;
+} | TypedBlock | TypedIf);
+export type TypedBlock = {
+    kind: 'block';
+    stmts: TypedStatement[];
+    type: AscentType;
+    span: Span;
+};
+export type TypedIf = {
+    kind: 'if';
+    cond: TypedExpr;
+    then: TypedBlock;
+    else: TypedBlock | TypedIf | null;
+    type: AscentType;
+    span: Span;
+};
+export type TypedStatement = ({
+    kind: 'fix';
+    name: string;
+    typeAnnotation: TypeExpr | null;
+    slotType: AscentType;
+    init: TypedExpr;
+    span: Span;
+} | {
+    kind: 'mut';
+    name: string;
+    typeAnnotation: TypeExpr | null;
+    slotType: AscentType;
+    init: TypedExpr;
+    span: Span;
+} | {
+    kind: 'assign';
+    name: string;
+    slotType: AscentType;
+    value: TypedExpr;
+    span: Span;
+} | {
+    kind: 'expr';
+    expr: TypedExpr;
+    span: Span;
+} | {
+    kind: 'while';
+    cond: TypedExpr;
+    body: TypedBlock;
+    span: Span;
+});
+export type TypedProgram = {
+    args: ArgDef[];
+    stmts: TypedStatement[];
+};
+//# sourceMappingURL=typed-ast.d.ts.map

package/dist/parser/typed-ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typed-ast.d.ts","sourceRoot":"","sources":["../../src/parser/typed-ast.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACpE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAMpD,MAAM,MAAM,YAAY,GAAG,CACvB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,SAAS,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAClF;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,SAAS,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACpF;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACpF;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,SAAS,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACrF;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACpE;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CACvE,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,CACpB,YAAY,GACZ;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAC5D;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,SAAS,EAAE,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACjF;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,SAAS,EAAE,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAC5G;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,SAAS,EAAE,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACrE;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAClF;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAChF;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACjG,UAAU,GACV,OAAO,CACV,CAAC;AAIF,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,IAAI,CAAC;CACZ,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,IAAI,EAAE,IAAI,CAAC;IACX,IAAI,EAAE,SAAS,CAAC;IAChB,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,UAAU,GAAG,OAAO,GAAG,IAAI,CAAC;IAClC,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,IAAI,CAAC;CACZ,CAAC;AAKF,MAAM,MAAM,cAAc,GAAG,CACzB;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,QAAQ,GAAG,IAAI,CAAC;IAAC,QAAQ,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACjH;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,QAAQ,GAAG,IAAI,CAAC;IAAC,QAAQ,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACjH;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACpF;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAC7C;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CACnE,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,KAAK,EAAE,cAAc,EAAE,CAAC;CACzB,CAAC"}

package/dist/parser/typed-ast.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=typed-ast.js.map

package/dist/parser/typed-ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typed-ast.js","sourceRoot":"","sources":["../../src/parser/typed-ast.ts"],"names":[],"mappings":""}

package/dist/parser/typed-printer.d.ts

@@ -0,0 +1,3 @@
+import type { TypedStatement } from './typed-ast.js';
+export declare const formatTypedStmt: (stmt: TypedStatement) => string;
+//# sourceMappingURL=typed-printer.d.ts.map

package/dist/parser/typed-printer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typed-printer.d.ts","sourceRoot":"","sources":["../../src/parser/typed-printer.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAa,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAsGhE,eAAO,MAAM,eAAe,GAAI,MAAM,cAAc,KAAG,MACtB,CAAC"}