@aster-cloud/aster-lang-ts 0.0.1

package/dist/src/typecheck/diagnostics.js

@@ -0,0 +1,92 @@
+import { ERROR_MESSAGES, ERROR_METADATA } from '../diagnostics/error_codes.js';
+import { TypeSystem } from './type_system.js';
+function formatMessage(template, params) {
+    return template.replace(/\{(\w+)\}/g, (_, key) => {
+        const value = params[key];
+        if (value === undefined || value === null)
+            return `{${key}}`;
+        if (Array.isArray(value))
+            return value.join(', ');
+        return String(value);
+    });
+}
+export class DiagnosticBuilder {
+    diagnostics = [];
+    error(code, span, params = {}) {
+        return this.add(code, span, params, 'error');
+    }
+    warning(code, span, params = {}) {
+        return this.add(code, span, params, 'warning');
+    }
+    info(code, span, params = {}) {
+        return this.add(code, span, params, 'info');
+    }
+    typeMismatch(expected, actual, span) {
+        return this.error("E001" /* ErrorCode.TYPE_MISMATCH */, span, {
+            expected: TypeSystem.format(expected),
+            actual: TypeSystem.format(actual),
+        });
+    }
+    undefinedVariable(name, span) {
+        return this.error("E101" /* ErrorCode.UNDEFINED_VARIABLE */, span, { name });
+    }
+    effectViolation(declared, inferred, span) {
+        const declaredSet = new Set(declared);
+        const inferredSet = new Set(inferred);
+        const missing = [...inferredSet].filter(effect => !declaredSet.has(effect));
+        const redundant = [...declaredSet].filter(effect => !inferredSet.has(effect));
+        for (const effect of missing) {
+            if (effect === 'io') {
+                this.error("E205" /* ErrorCode.EFF_INFER_MISSING_IO */, span, { func: '' });
+            }
+            else if (effect === 'cpu') {
+                this.error("E206" /* ErrorCode.EFF_INFER_MISSING_CPU */, span, { func: '' });
+            }
+            else {
+                this.error("E301" /* ErrorCode.EFF_CAP_MISSING */, span, { func: '', cap: effect, declared: declared.join(', ') });
+            }
+        }
+        for (const effect of redundant) {
+            if (effect === 'io') {
+                this.warning("E207" /* ErrorCode.EFF_INFER_REDUNDANT_IO */, span, { func: '' });
+            }
+            else if (effect === 'cpu') {
+                if (declaredSet.has('io')) {
+                    this.warning("E209" /* ErrorCode.EFF_INFER_REDUNDANT_CPU_WITH_IO */, span, { func: '' });
+                }
+                else {
+                    this.warning("E208" /* ErrorCode.EFF_INFER_REDUNDANT_CPU */, span, { func: '' });
+                }
+            }
+            else {
+                this.info("E302" /* ErrorCode.EFF_CAP_SUPERFLUOUS */, span, { func: '', cap: effect });
+            }
+        }
+        return this;
+    }
+    getDiagnostics() {
+        return [...this.diagnostics];
+    }
+    hasErrors() {
+        return this.diagnostics.some(diag => diag.severity === 'error');
+    }
+    add(code, span, params, severityOverride) {
+        const metadata = ERROR_METADATA[code];
+        const template = ERROR_MESSAGES[code] ?? metadata.message;
+        const severity = severityOverride ?? metadata.severity;
+        const diagnostic = {
+            severity,
+            code,
+            message: formatMessage(template, params),
+        };
+        if (span)
+            diagnostic.span = span;
+        if (metadata.help)
+            diagnostic.help = metadata.help;
+        if (Object.keys(params).length > 0)
+            diagnostic.data = params;
+        this.diagnostics.push(diagnostic);
+        return this;
+    }
+}
+//# sourceMappingURL=diagnostics.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../../../src/typecheck/diagnostics.ts"],"names":[],"mappings":"AACA,OAAO,EAAa,cAAc,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC1F,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAI9C,SAAS,aAAa,CAAC,QAAgB,EAAE,MAA+B;IACtE,OAAO,QAAQ,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,GAAW,EAAE,EAAE;QACvD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,GAAG,GAAG,CAAC;QAC7D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,OAAO,iBAAiB;IACX,WAAW,GAA0B,EAAE,CAAC;IAEzD,KAAK,CAAC,IAAe,EAAE,IAAsB,EAAE,SAAkC,EAAE;QACjF,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,CAAC,IAAe,EAAE,IAAsB,EAAE,SAAkC,EAAE;QACnF,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IACjD,CAAC;IAED,IAAI,CAAC,IAAe,EAAE,IAAsB,EAAE,SAAkC,EAAE;QAChF,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9C,CAAC;IAED,YAAY,CAAC,QAAmB,EAAE,MAAiB,EAAE,IAAsB;QACzE,OAAO,IAAI,CAAC,KAAK,uCAA0B,IAAI,EAAE;YAC/C,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC;YACrC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC;SAClC,CAAC,CAAC;IACL,CAAC;IAED,iBAAiB,CAAC,IAAY,EAAE,IAAsB;QACpD,OAAO,IAAI,CAAC,KAAK,4CAA+B,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IAClE,CAAC;IAED,eAAe,CAAC,QAAkB,EAAE,QAAkB,EAAE,IAAsB;QAC5E,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;QACtC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;QAEtC,MAAM,OAAO,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QAC5E,MAAM,SAAS,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QAE9E,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBACpB,IAAI,CAAC,KAAK,8CAAiC,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;YACjE,CAAC;iBAAM,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;gBAC5B,IAAI,CAAC,KAAK,+CAAkC,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;YAClE,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,KAAK,yCAA4B,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACxG,CAAC;QACH,CAAC;QAED,KAAK,MAAM,MAAM,IAAI,SAAS,EAAE,CAAC;YAC/B,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBACpB,IAAI,CAAC,OAAO,gDAAmC,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;YACrE,CAAC;iBAAM,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;gBAC5B,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC1B,IAAI,CAAC,OAAO,yDAA4C,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC9E,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,OAAO,iDAAoC,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;gBACtE,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,IAAI,6CAAgC,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;YAC5E,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED,cAAc;QACZ,OAAO,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;IAC/B,CAAC;IAED,SAAS;QACP,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IAClE,CAAC;IAEO,GAAG,CAAC,IAAe,EAAE,IAAsB,EAAE,MAA+B,EAAE,gBAA2B;QAC/G,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC;QAC1D,MAAM,QAAQ,GAAG,gBAAgB,IAAI,QAAQ,CAAC,QAAQ,CAAC;QAEvD,MAAM,UAAU,GAAwB;YACtC,QAAQ;YACR,IAAI;YACJ,OAAO,EAAE,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC;SACzC,CAAC;QAEF,IAAI,IAAI;YAAE,UAAU,CAAC,IAAI,GAAG,IAAI,CAAC;QACjC,IAAI,QAAQ,CAAC,IAAI;YAAE,UAAU,CAAC,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;QACnD,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,UAAU,CAAC,IAAI,GAAG,MAAM,CAAC;QAE7D,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC;CACF"}

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

@@ -0,0 +1,16 @@
+import type { Core } from '../types.js';
+import type { ModuleContext } from './context.js';
+import type { DiagnosticBuilder } from './diagnostics.js';
+/**
+ * 收集块中观察到的效应，按 CPU/IO 分类
+ */
+export declare function collectEffects(ctx: ModuleContext, block: Core.Block): Set<'io' | 'cpu'>;
+/**
+ * 检查函数的效应声明是否覆盖实际使用
+ */
+export declare function checkEffects(ctx: ModuleContext, func: Core.Func, diagnostics: DiagnosticBuilder): void;
+/**
+ * 根据观察到的能力推断效应声明，若缺失则提示
+ */
+export declare function checkCapabilityInferredEffects(func: Core.Func, diagnostics: DiagnosticBuilder): void;
+//# sourceMappingURL=effects.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../../../src/typecheck/effects.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAIxC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAa1D;;GAEG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,CA4BvF;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,iBAAiB,GAAG,IAAI,CAyDtG;AAED;;GAEG;AACH,wBAAgB,8BAA8B,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,iBAAiB,GAAG,IAAI,CAoCpG"}

package/dist/src/typecheck/effects.js

@@ -0,0 +1,122 @@
+import { CapabilityKind } from '../config/semantic.js';
+import { DefaultCoreVisitor, createVisitorContext } from '../core/visitor.js';
+import { CPU_PREFIXES, IO_PREFIXES, originToSpan, resolveAlias, } from './utils.js';
+import { collectCapabilities, collectWorkflows, reportWorkflowCapabilityViolation, } from './capabilities.js';
+/**
+ * 收集块中观察到的效应，按 CPU/IO 分类
+ */
+export function collectEffects(ctx, block) {
+    const effects = new Set();
+    class EffectsVisitor extends DefaultCoreVisitor {
+        visitStatement(statement, context) {
+            if (statement.kind === 'workflow') {
+                // workflow 自身由运行时驱动，默认需要 IO 效果
+                effects.add('io');
+                for (const step of statement.steps) {
+                    this.visitBlock(step.body, context);
+                    if (step.compensate)
+                        this.visitBlock(step.compensate, context);
+                }
+                return;
+            }
+            super.visitStatement(statement, context);
+        }
+        visitExpression(expression, context) {
+            if (expression.kind === 'Call' && expression.target.kind === 'Name') {
+                const rawName = expression.target.name;
+                const resolvedName = resolveAlias(rawName, ctx.imports);
+                if (IO_PREFIXES.some(prefix => resolvedName.startsWith(prefix)))
+                    effects.add('io');
+                if (CPU_PREFIXES.some(prefix => resolvedName.startsWith(prefix)))
+                    effects.add('cpu');
+            }
+            super.visitExpression(expression, context);
+        }
+    }
+    new EffectsVisitor().visitBlock(block, createVisitorContext());
+    return effects;
+}
+/**
+ * 检查函数的效应声明是否覆盖实际使用
+ */
+export function checkEffects(ctx, func, diagnostics) {
+    const observed = collectEffects(ctx, func.body);
+    const hasIO = func.effects.some(eff => String(eff).toLowerCase() === 'io');
+    const hasCPU = func.effects.some(eff => String(eff).toLowerCase() === 'cpu');
+    if (observed.has('io') && !hasIO)
+        diagnostics.error("E200" /* ErrorCode.EFF_MISSING_IO */, func.span, { func: func.name });
+    if (observed.has('cpu') && !(hasCPU || hasIO))
+        diagnostics.error("E201" /* ErrorCode.EFF_MISSING_CPU */, func.span, { func: func.name });
+    if (!observed.has('io') && hasIO && observed.has('cpu'))
+        diagnostics.info("E202" /* ErrorCode.EFF_SUPERFLUOUS_IO_CPU_ONLY */, func.span, { func: func.name });
+    if (!observed.has('cpu') && hasCPU)
+        diagnostics.warning("E204" /* ErrorCode.EFF_SUPERFLUOUS_CPU */, func.span, { func: func.name });
+    const workflows = collectWorkflows(func.body);
+    if (workflows.length === 0)
+        return;
+    if (!hasIO) {
+        diagnostics.error("E026" /* ErrorCode.WORKFLOW_MISSING_IO_EFFECT */, func.span, { func: func.name });
+    }
+    const meta = func;
+    const declaredCaps = new Set(meta.effectCaps ?? []);
+    for (const workflow of workflows) {
+        for (const step of workflow.steps) {
+            const stepSpan = originToSpan(step.origin);
+            const bodyCaps = collectCapabilities(step.body);
+            reportWorkflowCapabilityViolation(diagnostics, declaredCaps, bodyCaps, func.name, step.name, stepSpan);
+            if (!step.compensate)
+                continue;
+            const compensateCaps = collectCapabilities(step.compensate);
+            const compensateSpan = originToSpan(step.compensate.origin ?? step.origin);
+            reportWorkflowCapabilityViolation(diagnostics, declaredCaps, compensateCaps, func.name, step.name, compensateSpan);
+            const bodyCapSet = new Set(bodyCaps.keys());
+            for (const cap of compensateCaps.keys()) {
+                if (!bodyCapSet.has(cap)) {
+                    diagnostics.error("E028" /* ErrorCode.COMPENSATE_NEW_CAPABILITY */, compensateSpan, {
+                        func: func.name,
+                        step: step.name,
+                        capability: cap,
+                    });
+                }
+            }
+        }
+    }
+}
+/**
+ * 根据观察到的能力推断效应声明，若缺失则提示
+ */
+export function checkCapabilityInferredEffects(func, diagnostics) {
+    if (!func.body)
+        return;
+    const observed = collectCapabilities(func.body);
+    if (observed.size === 0)
+        return;
+    const hasIO = func.effects.some(eff => String(eff).toLowerCase() === 'io');
+    const hasCPU = func.effects.some(eff => String(eff).toLowerCase() === 'cpu');
+    const ioCaps = [];
+    for (const cap of observed.keys()) {
+        if (cap !== CapabilityKind.CPU) {
+            ioCaps.push(cap);
+        }
+    }
+    if (ioCaps.length > 0 && !hasIO) {
+        const capNames = ioCaps.join(', ');
+        const calls = ioCaps
+            .flatMap(cap => observed.get(cap) ?? [])
+            .slice(0, 3)
+            .join(', ');
+        diagnostics.error("E303" /* ErrorCode.CAPABILITY_INFER_MISSING_IO */, func.span, {
+            func: func.name,
+            capabilities: capNames,
+            calls: calls || undefined,
+        });
+    }
+    if (observed.has(CapabilityKind.CPU) && !(hasCPU || hasIO)) {
+        const cpuCalls = (observed.get(CapabilityKind.CPU) ?? []).slice(0, 3).join(', ');
+        diagnostics.error("E304" /* ErrorCode.CAPABILITY_INFER_MISSING_CPU */, func.span, {
+            func: func.name,
+            calls: cpuCalls || undefined,
+        });
+    }
+}
+//# sourceMappingURL=effects.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effects.js","sourceRoot":"","sources":["../../../src/typecheck/effects.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAI9E,OAAO,EACL,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,YAAY,GACb,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,iCAAiC,GAClC,MAAM,mBAAmB,CAAC;AAE3B;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,GAAkB,EAAE,KAAiB;IAClE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAgB,CAAC;IACxC,MAAM,cAAe,SAAQ,kBAAkB;QACpC,cAAc,CAAC,SAAyB,EAAE,OAAoD;YACrG,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAClC,+BAA+B;gBAC/B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAClB,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;oBACnC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;oBACpC,IAAI,IAAI,CAAC,UAAU;wBAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBACjE,CAAC;gBACD,OAAO;YACT,CAAC;YACD,KAAK,CAAC,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC3C,CAAC;QAEQ,eAAe,CAAC,UAA2B,EAAE,OAAoD;YACxG,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACpE,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;gBACvC,MAAM,YAAY,GAAG,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;gBACxD,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACnF,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACvF,CAAC;YACD,KAAK,CAAC,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAC7C,CAAC;KACF;IACD,IAAI,cAAc,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,oBAAoB,EAAE,CAAC,CAAC;IAC/D,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,GAAkB,EAAE,IAAe,EAAE,WAA8B;IAC9F,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,CAAC;IAC3E,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,CAAC;IAE7E,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;QAC9B,WAAW,CAAC,KAAK,wCAA2B,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAE9E,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC;QAC3C,WAAW,CAAC,KAAK,yCAA4B,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAE/E,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;QACrD,WAAW,CAAC,IAAI,qDAAwC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAE1F,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,MAAM;QAChC,WAAW,CAAC,OAAO,6CAAgC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAErF,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAEnC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,WAAW,CAAC,KAAK,oDAAuC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1F,CAAC;IAED,MAAM,IAAI,GAAG,IAA6D,CAAC;IAC3E,MAAM,YAAY,GAAG,IAAI,GAAG,CAAiB,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;IAEpE,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC3C,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,iCAAiC,CAAC,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACvG,IAAI,CAAC,IAAI,CAAC,UAAU;gBAAE,SAAS;YAE/B,MAAM,cAAc,GAAG,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC5D,MAAM,cAAc,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC;YAC3E,iCAAiC,CAC/B,WAAW,EACX,YAAY,EACZ,cAAc,EACd,IAAI,CAAC,IAAI,EACT,IAAI,CAAC,IAAI,EACT,cAAc,CACf,CAAC;YAEF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;YAC5C,KAAK,MAAM,GAAG,IAAI,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC;gBACxC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACzB,WAAW,CAAC,KAAK,mDAAsC,cAAc,EAAE;wBACrE,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,UAAU,EAAE,GAAG;qBAChB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,8BAA8B,CAAC,IAAe,EAAE,WAA8B;IAC5F,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO;IAEvB,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO;IAEhC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,CAAC;IAC3E,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,CAAC;IAE7E,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;QAClC,IAAI,GAAG,KAAK,cAAc,CAAC,GAAG,EAAE,CAAC;YAC/B,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,KAAK,GAAG,MAAM;aACjB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;aACvC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;aACX,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,WAAW,CAAC,KAAK,qDAAwC,IAAI,CAAC,IAAI,EAAE;YAClE,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,YAAY,EAAE,QAAQ;YACtB,KAAK,EAAE,KAAK,IAAI,SAAS;SAC1B,CAAC,CAAC;IACL,CAAC;IAED,IAAI,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,EAAE,CAAC;QAC3D,MAAM,QAAQ,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjF,WAAW,CAAC,KAAK,sDAAyC,IAAI,CAAC,IAAI,EAAE;YACnE,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,KAAK,EAAE,QAAQ,IAAI,SAAS;SAC7B,CAAC,CAAC;IACL,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,12 @@
+import type { Core } from '../types.js';
+import { DefaultCoreVisitor } from '../core/visitor.js';
+import type { ModuleContext, TypecheckWalkerContext } from './context.js';
+import type { DiagnosticBuilder } from './diagnostics.js';
+import { SymbolTable } from './symbol_table.js';
+export declare class TypeOfExprVisitor extends DefaultCoreVisitor<TypecheckWalkerContext> {
+    handled: boolean;
+    result: Core.Type;
+    visitExpression(expression: Core.Expression, context: TypecheckWalkerContext): void;
+}
+export declare function typeOfExpr(ctx: ModuleContext, symbols: SymbolTable, expr: Core.Expression, diagnostics: DiagnosticBuilder): Core.Type;
+//# sourceMappingURL=expression.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"expression.d.ts","sourceRoot":"","sources":["../../../src/typecheck/expression.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAQ,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAGxD,OAAO,KAAK,EAAE,aAAa,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAC1E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAShD,qBAAa,iBAAkB,SAAQ,kBAAkB,CAAC,sBAAsB,CAAC;IACxE,OAAO,UAAS;IAChB,MAAM,EAAE,IAAI,CAAC,IAAI,CAAiB;IAEhC,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,sBAAsB,GAAG,IAAI;CAmR7F;AAqBD,wBAAgB,UAAU,CACxB,GAAG,EAAE,aAAa,EAClB,OAAO,EAAE,WAAW,EACpB,IAAI,EAAE,IAAI,CAAC,UAAU,EACrB,WAAW,EAAE,iBAAiB,GAC7B,IAAI,CAAC,IAAI,CAIX"}

package/dist/src/typecheck/expression.js

@@ -0,0 +1,306 @@
+import { DefaultCoreVisitor } from '../core/visitor.js';
+import { TypeSystem } from './type_system.js';
+import { formatType, isUnknown, normalizeType, typesEqual, unknownType, } from './utils.js';
+export class TypeOfExprVisitor extends DefaultCoreVisitor {
+    handled = false;
+    result = unknownType();
+    visitExpression(expression, context) {
+        const { module, symbols, diagnostics } = context;
+        switch (expression.kind) {
+            case 'Name': {
+                if (expression.name.includes('.')) {
+                    const parts = expression.name.split('.');
+                    const baseName = parts[0];
+                    const fieldPath = parts.slice(1);
+                    const baseSymbol = symbols.lookup(baseName);
+                    if (!baseSymbol) {
+                        diagnostics.undefinedVariable(baseName, expression.span);
+                        this.result = unknownType();
+                        this.handled = true;
+                        return;
+                    }
+                    let currentType = baseSymbol.type;
+                    for (const fieldName of fieldPath) {
+                        const expanded = TypeSystem.expand(currentType, symbols.getTypeAliases());
+                        if (expanded.kind === 'TypeName') {
+                            const dataDecl = module.datas.get(expanded.name);
+                            const resolvedDataDecl = dataDecl ?? inferDataDeclFromField(module, baseName, fieldName);
+                            if (!resolvedDataDecl) {
+                                diagnostics.error("E011" /* ErrorCode.UNKNOWN_FIELD */, expression.span, {
+                                    field: fieldName,
+                                    type: formatType(currentType),
+                                });
+                                this.result = unknownType();
+                                this.handled = true;
+                                return;
+                            }
+                            const field = resolvedDataDecl.fields.find(item => item.name === fieldName);
+                            if (!field) {
+                                diagnostics.error("E011" /* ErrorCode.UNKNOWN_FIELD */, expression.span, {
+                                    field: fieldName,
+                                    type: resolvedDataDecl.name,
+                                });
+                                this.result = unknownType();
+                                this.handled = true;
+                                return;
+                            }
+                            currentType = field.type;
+                        }
+                        else {
+                            diagnostics.error("E011" /* ErrorCode.UNKNOWN_FIELD */, expression.span, {
+                                field: fieldName,
+                                type: formatType(currentType),
+                            });
+                            this.result = unknownType();
+                            this.handled = true;
+                            return;
+                        }
+                    }
+                    this.result = currentType;
+                    this.handled = true;
+                    return;
+                }
+                const symbol = symbols.lookup(expression.name);
+                if (symbol) {
+                    this.result = symbol.type;
+                }
+                else {
+                    let matched;
+                    for (const en of module.enums.values()) {
+                        if (en.variants.includes(expression.name)) {
+                            matched = en;
+                            break;
+                        }
+                    }
+                    if (matched) {
+                        this.result = { kind: 'TypeName', name: matched.name };
+                    }
+                    else {
+                        diagnostics.undefinedVariable(expression.name, expression.span);
+                        this.result = unknownType();
+                    }
+                }
+                this.handled = true;
+                return;
+            }
+            case 'Bool':
+                this.result = { kind: 'TypeName', name: 'Bool' };
+                this.handled = true;
+                return;
+            case 'Int':
+                this.result = { kind: 'TypeName', name: 'Int' };
+                this.handled = true;
+                return;
+            case 'Long':
+                this.result = { kind: 'TypeName', name: 'Long' };
+                this.handled = true;
+                return;
+            case 'Double':
+                this.result = { kind: 'TypeName', name: 'Double' };
+                this.handled = true;
+                return;
+            case 'String':
+                this.result = { kind: 'TypeName', name: 'Text' };
+                this.handled = true;
+                return;
+            case 'Null':
+                this.result = { kind: 'Maybe', type: unknownType() };
+                this.handled = true;
+                return;
+            case 'Ok': {
+                const inner = typeOfExpr(module, symbols, expression.expr, diagnostics);
+                this.result = {
+                    kind: 'Result',
+                    ok: isUnknown(inner) ? unknownType() : inner,
+                    err: unknownType(),
+                };
+                this.handled = true;
+                return;
+            }
+            case 'Err': {
+                const inner = typeOfExpr(module, symbols, expression.expr, diagnostics);
+                this.result = {
+                    kind: 'Result',
+                    ok: unknownType(),
+                    err: isUnknown(inner) ? unknownType() : inner,
+                };
+                this.handled = true;
+                return;
+            }
+            case 'Some': {
+                const inner = typeOfExpr(module, symbols, expression.expr, diagnostics);
+                this.result = {
+                    kind: 'Option',
+                    type: isUnknown(inner) ? unknownType() : inner,
+                };
+                this.handled = true;
+                return;
+            }
+            case 'None':
+                this.result = { kind: 'Option', type: unknownType() };
+                this.handled = true;
+                return;
+            case 'Construct': {
+                const dataDecl = module.datas.get(expression.typeName);
+                if (!dataDecl) {
+                    this.result = unknownType();
+                    this.handled = true;
+                    return;
+                }
+                const provided = new Set();
+                for (const field of expression.fields) {
+                    provided.add(field.name);
+                    const schemaField = dataDecl.fields.find(item => item.name === field.name);
+                    if (!schemaField) {
+                        diagnostics.error("E011" /* ErrorCode.UNKNOWN_FIELD */, expression.span, {
+                            field: field.name,
+                            type: dataDecl.name,
+                        });
+                        continue;
+                    }
+                    const valueType = typeOfExpr(module, symbols, field.expr, diagnostics);
+                    if (!typesEqual(schemaField.type, valueType)) {
+                        diagnostics.error("E012" /* ErrorCode.FIELD_TYPE_MISMATCH */, field.expr.span ?? expression.span, {
+                            field: field.name,
+                            expected: formatType(schemaField.type),
+                            actual: formatType(valueType),
+                        });
+                    }
+                }
+                for (const field of dataDecl.fields) {
+                    if (!provided.has(field.name)) {
+                        diagnostics.error("E013" /* ErrorCode.MISSING_REQUIRED_FIELD */, expression.span, {
+                            type: dataDecl.name,
+                            field: field.name,
+                        });
+                    }
+                }
+                this.result = { kind: 'TypeName', name: expression.typeName };
+                this.handled = true;
+                return;
+            }
+            case 'Await': {
+                const awaited = typeOfExpr(module, symbols, expression.expr, diagnostics);
+                if (!isUnknown(awaited) && awaited.kind === 'Maybe') {
+                    this.result = awaited.type;
+                }
+                else if (!isUnknown(awaited) && awaited.kind === 'Result') {
+                    this.result = awaited.ok;
+                }
+                else {
+                    diagnostics.warning("E015" /* ErrorCode.AWAIT_TYPE */, expression.span, { type: formatType(awaited) });
+                    this.result = unknownType();
+                }
+                this.handled = true;
+                return;
+            }
+            case 'Lambda': {
+                const params = expression.params.map(param => normalizeType(param.type));
+                const funcType = {
+                    kind: 'FuncType',
+                    params,
+                    ret: normalizeType(expression.ret),
+                    effectParams: [],
+                    declaredEffects: [],
+                };
+                this.result = funcType;
+                this.handled = true;
+                return;
+            }
+            case 'Call': {
+                if (expression.target.kind === 'Name' && expression.target.name === 'not') {
+                    if (expression.args.length !== 1) {
+                        diagnostics.error("E014" /* ErrorCode.NOT_CALL_ARITY */, expression.span ?? expression.target.span, {});
+                    }
+                    else {
+                        void typeOfExpr(module, symbols, expression.args[0], diagnostics);
+                    }
+                    this.result = { kind: 'TypeName', name: 'Bool' };
+                    this.handled = true;
+                    return;
+                }
+                for (const arg of expression.args) {
+                    void typeOfExpr(module, symbols, arg, diagnostics);
+                }
+                if (expression.target.kind === 'Name' && expression.target.name.includes('.')) {
+                    let hasInt = false;
+                    let hasLong = false;
+                    let hasDouble = false;
+                    for (const arg of expression.args) {
+                        switch (arg.kind) {
+                            case 'Int':
+                                hasInt = true;
+                                break;
+                            case 'Long':
+                                hasLong = true;
+                                break;
+                            case 'Double':
+                                hasDouble = true;
+                                break;
+                        }
+                    }
+                    const kindCount = (hasInt ? 1 : 0) + (hasLong ? 1 : 0) + (hasDouble ? 1 : 0);
+                    if (kindCount > 1) {
+                        diagnostics.warning("E019" /* ErrorCode.AMBIGUOUS_INTEROP_NUMERIC */, expression.span ?? expression.target.span, {
+                            target: expression.target.name,
+                            hasInt,
+                            hasLong,
+                            hasDouble,
+                        });
+                    }
+                }
+                if (expression.target.kind === 'Name' && expression.target.name === 'await' && expression.args.length === 1) {
+                    const awaitedType = typeOfExpr(module, symbols, expression.args[0], diagnostics);
+                    if (!isUnknown(awaitedType) && awaitedType.kind === 'Maybe') {
+                        this.result = awaitedType.type;
+                    }
+                    else if (!isUnknown(awaitedType) && awaitedType.kind === 'Result') {
+                        this.result = awaitedType.ok;
+                    }
+                    else {
+                        diagnostics.warning("E015" /* ErrorCode.AWAIT_TYPE */, expression.span, { type: formatType(awaitedType) });
+                        this.result = unknownType();
+                    }
+                    this.handled = true;
+                    return;
+                }
+                if (expression.target.kind === 'Name') {
+                    const signature = module.funcSignatures.get(expression.target.name);
+                    if (signature) {
+                        this.result = signature.ret;
+                        this.handled = true;
+                        return;
+                    }
+                }
+                this.result = unknownType();
+                this.handled = true;
+                return;
+            }
+            default:
+                break;
+        }
+    }
+}
+function inferDataDeclFromField(module, baseName, fieldName) {
+    const matches = [];
+    for (const dataDecl of module.datas.values()) {
+        if (dataDecl.fields.some(field => field.name === fieldName)) {
+            matches.push(dataDecl);
+        }
+    }
+    if (matches.length === 0)
+        return null;
+    if (matches.length === 1)
+        return matches[0];
+    const loweredBase = baseName.toLowerCase().replace(/[_-]/g, '');
+    const narrowed = matches.filter(item => item.name.toLowerCase().includes(loweredBase));
+    if (narrowed.length === 1)
+        return narrowed[0];
+    return null;
+}
+export function typeOfExpr(ctx, symbols, expr, diagnostics) {
+    const visitor = new TypeOfExprVisitor();
+    visitor.visitExpression(expr, { module: ctx, symbols, diagnostics });
+    return visitor.result;
+}
+//# sourceMappingURL=expression.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"expression.js","sourceRoot":"","sources":["../../../src/typecheck/expression.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAExD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAI9C,OAAO,EACL,UAAU,EACV,SAAS,EACT,aAAa,EACb,UAAU,EACV,WAAW,GACZ,MAAM,YAAY,CAAC;AAEpB,MAAM,OAAO,iBAAkB,SAAQ,kBAA0C;IACxE,OAAO,GAAG,KAAK,CAAC;IAChB,MAAM,GAAc,WAAW,EAAE,CAAC;IAEhC,eAAe,CAAC,UAA2B,EAAE,OAA+B;QACnF,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC;QACjD,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;YACxB,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBAClC,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;oBACzC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;oBAC3B,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;oBACjC,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;oBAC5C,IAAI,CAAC,UAAU,EAAE,CAAC;wBAChB,WAAW,CAAC,iBAAiB,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;wBACzD,IAAI,CAAC,MAAM,GAAG,WAAW,EAAE,CAAC;wBAC5B,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;wBACpB,OAAO;oBACT,CAAC;oBACD,IAAI,WAAW,GAAG,UAAU,CAAC,IAAI,CAAC;oBAClC,KAAK,MAAM,SAAS,IAAI,SAAS,EAAE,CAAC;wBAClC,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC;wBAC1E,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;4BACjC,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;4BACjD,MAAM,gBAAgB,GACpB,QAAQ,IAAI,sBAAsB,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;4BAClE,IAAI,CAAC,gBAAgB,EAAE,CAAC;gCACtB,WAAW,CAAC,KAAK,uCAA0B,UAAU,CAAC,IAAI,EAAE;oCAC1D,KAAK,EAAE,SAAS;oCAChB,IAAI,EAAE,UAAU,CAAC,WAAW,CAAC;iCAC9B,CAAC,CAAC;gCACH,IAAI,CAAC,MAAM,GAAG,WAAW,EAAE,CAAC;gCAC5B,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;gCACpB,OAAO;4BACT,CAAC;4BACD,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;4BAC5E,IAAI,CAAC,KAAK,EAAE,CAAC;gCACX,WAAW,CAAC,KAAK,uCAA0B,UAAU,CAAC,IAAI,EAAE;oCAC1D,KAAK,EAAE,SAAS;oCAChB,IAAI,EAAE,gBAAgB,CAAC,IAAI;iCAC5B,CAAC,CAAC;gCACH,IAAI,CAAC,MAAM,GAAG,WAAW,EAAE,CAAC;gCAC5B,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;gCACpB,OAAO;4BACT,CAAC;4BACD,WAAW,GAAG,KAAK,CAAC,IAAiB,CAAC;wBACxC,CAAC;6BAAM,CAAC;4BACN,WAAW,CAAC,KAAK,uCAA0B,UAAU,CAAC,IAAI,EAAE;gCAC1D,KAAK,EAAE,SAAS;gCAChB,IAAI,EAAE,UAAU,CAAC,WAAW,CAAC;6BAC9B,CAAC,CAAC;4BACH,IAAI,CAAC,MAAM,GAAG,WAAW,EAAE,CAAC;4BAC5B,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;4BACpB,OAAO;wBACT,CAAC;oBACH,CAAC;oBACD,IAAI,CAAC,MAAM,GAAG,WAAW,CAAC;oBAC1B,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;oBACpB,OAAO;gBACT,CAAC;gBAED,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gBAC/C,IAAI,MAAM,EAAE,CAAC;oBACX,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;gBAC5B,CAAC;qBAAM,CAAC;oBACN,IAAI,OAA8B,CAAC;oBACnC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;wBACvC,IAAI,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;4BAC1C,OAAO,GAAG,EAAE,CAAC;4BACb,MAAM;wBACR,CAAC;oBACH,CAAC;oBACD,IAAI,OAAO,EAAE,CAAC;wBACZ,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAmB,CAAC;oBAC1E,CAAC;yBAAM,CAAC;wBACN,WAAW,CAAC,iBAAiB,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;wBAChE,IAAI,CAAC,MAAM,GAAG,WAAW,EAAE,CAAC;oBAC9B,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;gBACpB,OAAO;YACT,CAAC;YACD,KAAK,MAAM;gBACT,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAmB,CAAC;gBAClE,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;gBACpB,OAAO;YACT,KAAK,KAAK;gBACR,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAmB,CAAC;gBACjE,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;gBACpB,OAAO;YACT,KAAK,MAAM;gBACT,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAmB,CAAC;gBAClE,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;gBACpB,OAAO;YACT,KAAK,QAAQ;gBACX,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAmB,CAAC;gBACpE,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;gBACpB,OAAO;YACT,KAAK,QAAQ;gBACX,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAmB,CAAC;gBAClE,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;gBACpB,OAAO;YACT,KAAK,MAAM;gBACT,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAgB,CAAC;gBACnE,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;gBACpB,OAAO;YACT,KAAK,IAAI,CAAC,CAAC,CAAC;gBACV,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBACxE,IAAI,CAAC,MAAM,GAAG;oBACZ,IAAI,EAAE,QAAQ;oBACd,EAAE,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,KAAK;oBAC5C,GAAG,EAAE,WAAW,EAAE;iBACJ,CAAC;gBACjB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;gBACpB,OAAO;YACT,CAAC;YACD,KAAK,KAAK,CAAC,CAAC,CAAC;gBACX,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBACxE,IAAI,CAAC,MAAM,GAAG;oBACZ,IAAI,EAAE,QAAQ;oBACd,EAAE,EAAE,WAAW,EAAE;oBACjB,GAAG,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,KAAK;iBAC/B,CAAC;gBACjB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;gBACpB,OAAO;YACT,CAAC;YACD,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBACxE,IAAI,CAAC,MAAM,GAAG;oBACZ,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,KAAK;iBAChC,CAAC;gBACjB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;gBACpB,OAAO;YACT,CAAC;YACD,KAAK,MAAM;gBACT,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,EAAiB,CAAC;gBACrE,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;gBACpB,OAAO;YACT,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;gBACvD,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,IAAI,CAAC,MAAM,GAAG,WAAW,EAAE,CAAC;oBAC5B,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;oBACpB,OAAO;gBACT,CAAC;gBACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;gBACnC,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;oBACtC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACzB,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC;oBAC3E,IAAI,CAAC,WAAW,EAAE,CAAC;wBACjB,WAAW,CAAC,KAAK,uCAA0B,UAAU,CAAC,IAAI,EAAE;4BAC1D,KAAK,EAAE,KAAK,CAAC,IAAI;4BACjB,IAAI,EAAE,QAAQ,CAAC,IAAI;yBACpB,CAAC,CAAC;wBACH,SAAS;oBACX,CAAC;oBACD,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;oBACvE,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,IAAiB,EAAE,SAAS,CAAC,EAAE,CAAC;wBAC1D,WAAW,CAAC,KAAK,6CAAiC,KAAK,CAAC,IAAwB,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,EAAE;4BACxG,KAAK,EAAE,KAAK,CAAC,IAAI;4BACjB,QAAQ,EAAE,UAAU,CAAC,WAAW,CAAC,IAAiB,CAAC;4BACnD,MAAM,EAAE,UAAU,CAAC,SAAS,CAAC;yBAC9B,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;oBACpC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC9B,WAAW,CAAC,KAAK,gDAAmC,UAAU,CAAC,IAAI,EAAE;4BACnE,IAAI,EAAE,QAAQ,CAAC,IAAI;4BACnB,KAAK,EAAE,KAAK,CAAC,IAAI;yBAClB,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,CAAC,QAAQ,EAAmB,CAAC;gBAC/E,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;gBACpB,OAAO;YACT,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBAC1E,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBACpD,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC,IAAiB,CAAC;gBAC1C,CAAC;qBAAM,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC5D,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC,EAAe,CAAC;gBACxC,CAAC;qBAAM,CAAC;oBACN,WAAW,CAAC,OAAO,oCAAuB,UAAU,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;oBAC1F,IAAI,CAAC,MAAM,GAAG,WAAW,EAAE,CAAC;gBAC9B,CAAC;gBACD,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;gBACpB,OAAO;YACT,CAAC;YACD,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,IAAiB,CAAC,CAAyB,CAAC;gBAC9G,MAAM,QAAQ,GAAkB;oBAC9B,IAAI,EAAE,UAAU;oBAChB,MAAM;oBACN,GAAG,EAAE,aAAa,CAAC,UAAU,CAAC,GAAgB,CAAC;oBAC/C,YAAY,EAAE,EAAE;oBAChB,eAAe,EAAE,EAAE;iBACpB,CAAC;gBACF,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;gBACvB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;gBACpB,OAAO;YACT,CAAC;YACD,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;oBAC1E,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBACjC,WAAW,CAAC,KAAK,wCAA2B,UAAU,CAAC,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBAC7F,CAAC;yBAAM,CAAC;wBACN,KAAK,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,WAAW,CAAC,CAAC;oBACrE,CAAC;oBACD,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAmB,CAAC;oBAClE,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;oBACpB,OAAO;gBACT,CAAC;gBAED,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;oBAClC,KAAK,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;gBACrD,CAAC;gBAED,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC9E,IAAI,MAAM,GAAG,KAAK,CAAC;oBACnB,IAAI,OAAO,GAAG,KAAK,CAAC;oBACpB,IAAI,SAAS,GAAG,KAAK,CAAC;oBACtB,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;wBAClC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;4BACjB,KAAK,KAAK;gCACR,MAAM,GAAG,IAAI,CAAC;gCACd,MAAM;4BACR,KAAK,MAAM;gCACT,OAAO,GAAG,IAAI,CAAC;gCACf,MAAM;4BACR,KAAK,QAAQ;gCACX,SAAS,GAAG,IAAI,CAAC;gCACjB,MAAM;wBACV,CAAC;oBACH,CAAC;oBACD,MAAM,SAAS,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC7E,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;wBAClB,WAAW,CAAC,OAAO,mDAAsC,UAAU,CAAC,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE;4BAClG,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI;4BAC9B,MAAM;4BACN,OAAO;4BACP,SAAS;yBACV,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBAED,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC5G,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,WAAW,CAAC,CAAC;oBAClF,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;wBAC5D,IAAI,CAAC,MAAM,GAAG,WAAW,CAAC,IAAiB,CAAC;oBAC9C,CAAC;yBAAM,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBACpE,IAAI,CAAC,MAAM,GAAG,WAAW,CAAC,EAAe,CAAC;oBAC5C,CAAC;yBAAM,CAAC;wBACN,WAAW,CAAC,OAAO,oCAAuB,UAAU,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;wBAC9F,IAAI,CAAC,MAAM,GAAG,WAAW,EAAE,CAAC;oBAC9B,CAAC;oBACD,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;oBACpB,OAAO;gBACT,CAAC;gBAED,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBACtC,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;oBACpE,IAAI,SAAS,EAAE,CAAC;wBACd,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC;wBAC5B,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;wBACpB,OAAO;oBACT,CAAC;gBACH,CAAC;gBAED,IAAI,CAAC,MAAM,GAAG,WAAW,EAAE,CAAC;gBAC5B,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;gBACpB,OAAO;YACT,CAAC;YACD;gBACE,MAAM;QACV,CAAC;IACH,CAAC;CACF;AAED,SAAS,sBAAsB,CAC7B,MAAqB,EACrB,QAAgB,EAChB,SAAiB;IAEjB,MAAM,OAAO,GAAgB,EAAE,CAAC;IAChC,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;QAC7C,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;YAC5D,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,CAAC,CAAE,CAAC;IAC7C,MAAM,WAAW,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;IACvF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC,CAAC,CAAE,CAAC;IAC/C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,GAAkB,EAClB,OAAoB,EACpB,IAAqB,EACrB,WAA8B;IAE9B,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;IACxC,OAAO,CAAC,eAAe,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;IACrE,OAAO,OAAO,CAAC,MAAM,CAAC;AACxB,CAAC"}

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

@@ -0,0 +1,6 @@
+import type { Core, Span } from '../types.js';
+import { DiagnosticBuilder } from './diagnostics.js';
+import type { ModuleContext } from './context.js';
+export declare function unifyTypeParameters(expected: Core.Type, actual: Core.Type, bindings: Map<string, Core.Type>, diagnostics: DiagnosticBuilder, span: Span | undefined): void;
+export declare function checkGenericTypeParameters(ctx: ModuleContext, f: Core.Func, diagnostics: DiagnosticBuilder): void;
+//# sourceMappingURL=generics.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"generics.d.ts","sourceRoot":"","sources":["../../../src/typecheck/generics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAKlD,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,IAAI,CAAC,IAAI,EACnB,MAAM,EAAE,IAAI,CAAC,IAAI,EACjB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,EAChC,WAAW,EAAE,iBAAiB,EAC9B,IAAI,EAAE,IAAI,GAAG,SAAS,GACrB,IAAI,CAkBN;AAED,wBAAgB,0BAA0B,CACxC,GAAG,EAAE,aAAa,EAClB,CAAC,EAAE,IAAI,CAAC,IAAI,EACZ,WAAW,EAAE,iBAAiB,GAC7B,IAAI,CAuEN"}