edict-lang 1.2.0 → 1.6.0

package/dist/codegen/compile-match.js

@@ -0,0 +1,195 @@
+// =============================================================================
+// Match expression compiler — pattern matching
+// =============================================================================
+import binaryen from "binaryen";
+import { wasmValidationError } from "../errors/structured-errors.js";
+import { compileExpr, inferExprWasmType } from "./compile-expr.js";
+export function compileMatch(expr, cc, ctx) {
+    const { mod, strings, errors } = cc;
+    // Attempt to determine the Edict type name of the target for enum matching
+    let targetEdictTypeName;
+    if (expr.target.kind === "ident") {
+        const local = ctx.getLocal(expr.target.name);
+        targetEdictTypeName = local?.edictTypeName;
+    }
+    else if (expr.target.kind === "call") {
+        // Can't easily infer return named type yet without a type env here,
+        // but let's be pragmatic if it's annotated
+    }
+    else if ("type" in expr.target && expr.target.type && expr.target.type.kind === "named") {
+        targetEdictTypeName = expr.target.type.name;
+    }
+    else if ("type" in expr.target && expr.target.type && expr.target.type.kind === "option") {
+        targetEdictTypeName = "Option";
+    }
+    else if ("type" in expr.target && expr.target.type && expr.target.type.kind === "result") {
+        targetEdictTypeName = "Result";
+    }
+    // Infer the target and result types
+    const targetType = inferExprWasmType(expr.target, cc, ctx);
+    const matchResultType = inferExprWasmType(expr, cc, ctx);
+    // Evaluate target once and store in a temporary local
+    const targetExpr = compileExpr(expr.target, cc, ctx);
+    const tmpIndex = ctx.addLocal(`__match_${expr.id}`, targetType);
+    const setTarget = mod.local.set(tmpIndex, targetExpr);
+    const getTarget = () => mod.local.get(tmpIndex, targetType);
+    // Compile body of a match arm (list of expressions → single expression)
+    function compileArmBody(body) {
+        const compiled = body.map((e) => compileExpr(e, cc, ctx));
+        if (compiled.length === 0)
+            return mod.nop();
+        if (compiled.length === 1)
+            return compiled[0];
+        const bodyType = body.length > 0
+            ? inferExprWasmType(body[body.length - 1], cc, ctx)
+            : binaryen.i32;
+        return mod.block(null, compiled, bodyType);
+    }
+    // Build condition for a pattern match against the target
+    function compilePatternCondition(pattern) {
+        switch (pattern.kind) {
+            case "literal_pattern": {
+                const val = pattern.value;
+                // Int64 literal pattern — value may be string or number
+                if (pattern.type?.kind === "basic" && pattern.type.name === "Int64") {
+                    const big = BigInt(val);
+                    const low = Number(big & 0xffffffffn);
+                    const high = Number((big >> 32n) & 0xffffffffn);
+                    return mod.i64.eq(getTarget(), mod.i64.const(low, high));
+                }
+                if (typeof val === "number" && Number.isInteger(val)) {
+                    return mod.i32.eq(getTarget(), mod.i32.const(val));
+                }
+                if (typeof val === "boolean") {
+                    return mod.i32.eq(getTarget(), mod.i32.const(val ? 1 : 0));
+                }
+                // String/float literal patterns — compare i32 representation
+                if (typeof val === "number") {
+                    // Float literal pattern — not yet supported in i32 mode
+                    errors.push(wasmValidationError(`float literal patterns not yet supported in match`));
+                    return null;
+                }
+                if (typeof val === "string") {
+                    const interned = strings.intern(val);
+                    return mod.i32.eq(getTarget(), mod.i32.const(interned.offset));
+                }
+                return null;
+            }
+            case "wildcard":
+                return null; // always matches
+            case "binding":
+                return null; // always matches (binding is set up in compileArmWithBinding)
+            case "constructor": {
+                // Determine the tag value from the enum layout
+                let tagValue = -1;
+                if (targetEdictTypeName) {
+                    const enumLayout = cc.enumLayouts.get(targetEdictTypeName);
+                    if (enumLayout) {
+                        const variantLayout = enumLayout.variants.find(v => v.name === pattern.name);
+                        if (variantLayout) {
+                            tagValue = variantLayout.tag;
+                        }
+                        else {
+                            errors.push(wasmValidationError(`unknown variant ${pattern.name} for enum ${targetEdictTypeName}`));
+                            return null;
+                        }
+                    }
+                    else {
+                        errors.push(wasmValidationError(`unknown enum ${targetEdictTypeName}`));
+                        return null;
+                    }
+                }
+                else {
+                    errors.push(wasmValidationError(`cannot infer enum type for match target ${expr.id}`));
+                    return null;
+                }
+                if (tagValue === -1)
+                    return null;
+                // Load tag at offset 0 from the heap pointer (target)
+                const loadTag = mod.i32.load(0, 0, getTarget());
+                return mod.i32.eq(loadTag, mod.i32.const(tagValue));
+            }
+        }
+    }
+    // Pre-register binding locals so they're available during body compilation.
+    // We must do this before compiling arm bodies, otherwise ident lookups
+    // for bound names will fail.
+    const bindingLocals = new Map(); // arm index → local index
+    const constructorFieldBindings = new Map();
+    for (let i = 0; i < expr.arms.length; i++) {
+        const pattern = expr.arms[i].pattern;
+        if (pattern.kind === "binding") {
+            const bindIndex = ctx.addLocal(pattern.name, targetType);
+            bindingLocals.set(i, bindIndex);
+        }
+        else if (pattern.kind === "constructor") {
+            if (targetEdictTypeName) {
+                const enumLayout = cc.enumLayouts.get(targetEdictTypeName);
+                if (enumLayout) {
+                    const variantLayout = enumLayout.variants.find(v => v.name === pattern.name);
+                    if (variantLayout) {
+                        const fieldBindings = [];
+                        for (let j = 0; j < pattern.fields.length; j++) {
+                            const subPattern = pattern.fields[j];
+                            if (subPattern.kind === "binding") {
+                                const fieldLayout = variantLayout.fields[j];
+                                if (fieldLayout) {
+                                    const bindIndex = ctx.addLocal(subPattern.name, fieldLayout.wasmType);
+                                    fieldBindings.push({
+                                        localIndex: bindIndex,
+                                        offset: fieldLayout.offset,
+                                        wasmType: fieldLayout.wasmType
+                                    });
+                                }
+                            }
+                            else if (subPattern.kind !== "wildcard") {
+                                errors.push(wasmValidationError(`nested patterns inside constructor patterns not yet supported`));
+                            }
+                        }
+                        constructorFieldBindings.set(i, fieldBindings);
+                    }
+                }
+            }
+        }
+    }
+    // Build nested if/else chain from arms (right to left)
+    // Start from the last arm and work backwards
+    let result = mod.unreachable();
+    for (let i = expr.arms.length - 1; i >= 0; i--) {
+        const arm = expr.arms[i];
+        const bodyExpr = compileArmBody(arm.body);
+        // Wrap with binding set if this is a binding pattern
+        let armExpr = bodyExpr;
+        const bindIndex = bindingLocals.get(i);
+        if (bindIndex !== undefined) {
+            const setBinding = mod.local.set(bindIndex, getTarget());
+            armExpr = mod.block(null, [setBinding, bodyExpr], matchResultType);
+        }
+        else if (arm.pattern.kind === "constructor") {
+            const fieldBindings = constructorFieldBindings.get(i);
+            if (fieldBindings && fieldBindings.length > 0) {
+                const sets = [];
+                for (const binding of fieldBindings) {
+                    const loadField = binding.wasmType === binaryen.f64
+                        ? mod.f64.load(binding.offset, 0, getTarget())
+                        : mod.i32.load(binding.offset, 0, getTarget());
+                    sets.push(mod.local.set(binding.localIndex, loadField));
+                }
+                armExpr = mod.block(null, [...sets, bodyExpr], matchResultType);
+            }
+        }
+        const condition = compilePatternCondition(arm.pattern);
+        if (condition === null) {
+            // Wildcard or binding — this arm always matches
+            // It becomes the else (or the whole result if it's the only/last arm)
+            result = armExpr;
+        }
+        else {
+            // Conditional arm — if condition then this arm else previous result
+            result = mod.if(condition, armExpr, result);
+        }
+    }
+    // Wrap: set target, then evaluate the if/else chain
+    return mod.block(null, [setTarget, result], matchResultType);
+}
+//# sourceMappingURL=compile-match.js.map

package/dist/codegen/compile-match.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile-match.js","sourceRoot":"","sources":["../../src/codegen/compile-match.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,+CAA+C;AAC/C,gFAAgF;AAEhF,OAAO,QAAQ,MAAM,UAAU,CAAC;AAEhC,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAKrE,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAEnE,MAAM,UAAU,YAAY,CACxB,IAAoC,EACpC,EAAsB,EACtB,GAAoB;IAEpB,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACpC,2EAA2E;IAC3E,IAAI,mBAAuC,CAAC;IAC5C,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7C,mBAAmB,GAAG,KAAK,EAAE,aAAa,CAAC;IAC/C,CAAC;SAAM,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACrC,oEAAoE;QACpE,2CAA2C;IAC/C,CAAC;SAAM,IAAI,MAAM,IAAI,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACxF,mBAAmB,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAChD,CAAC;SAAM,IAAI,MAAM,IAAI,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACzF,mBAAmB,GAAG,QAAQ,CAAC;IACnC,CAAC;SAAM,IAAI,MAAM,IAAI,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACzF,mBAAmB,GAAG,QAAQ,CAAC;IACnC,CAAC;IAED,oCAAoC;IACpC,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IAC3D,MAAM,eAAe,GAAG,iBAAiB,CAAC,IAAkB,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IAEvE,sDAAsD;IACtD,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,WAAW,IAAI,CAAC,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;IAChE,MAAM,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACtD,MAAM,SAAS,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAE5D,wEAAwE;IACxE,SAAS,cAAc,CAAC,IAAkB;QACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5B,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAC1B,CAAC;QACF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,GAAG,CAAC,GAAG,EAAE,CAAC;QAC5C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,QAAQ,CAAC,CAAC,CAAE,CAAC;QAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC;YAC5B,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,EAAE,EAAE,EAAE,GAAG,CAAC;YACpD,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;QACnB,OAAO,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC/C,CAAC;IAED,yDAAyD;IACzD,SAAS,uBAAuB,CAAC,OAAgB;QAC7C,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,iBAAiB,CAAC,CAAC,CAAC;gBACrB,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC;gBAC1B,wDAAwD;gBACxD,IAAK,OAAe,CAAC,IAAI,EAAE,IAAI,KAAK,OAAO,IAAK,OAAe,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBACpF,MAAM,GAAG,GAAG,MAAM,CAAC,GAAsB,CAAC,CAAC;oBAC3C,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,GAAG,WAAW,CAAC,CAAC;oBACtC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC;oBAChD,OAAO,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;gBAC7D,CAAC;gBACD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;oBACnD,OAAO,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;gBACvD,CAAC;gBACD,IAAI,OAAO,GAAG,KAAK,SAAS,EAAE,CAAC;oBAC3B,OAAO,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC/D,CAAC;gBACD,6DAA6D;gBAC7D,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;oBAC1B,wDAAwD;oBACxD,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,mDAAmD,CAAC,CAAC,CAAC;oBACtF,OAAO,IAAI,CAAC;gBAChB,CAAC;gBACD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;oBAC1B,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oBACrC,OAAO,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;gBACnE,CAAC;gBACD,OAAO,IAAI,CAAC;YAChB,CAAC;YACD,KAAK,UAAU;gBACX,OAAO,IAAI,CAAC,CAAC,iBAAiB;YAClC,KAAK,SAAS;gBACV,OAAO,IAAI,CAAC,CAAC,8DAA8D;YAC/E,KAAK,aAAa,CAAC,CAAC,CAAC;gBACjB,+CAA+C;gBAC/C,IAAI,QAAQ,GAAG,CAAC,CAAC,CAAC;gBAElB,IAAI,mBAAmB,EAAE,CAAC;oBACtB,MAAM,UAAU,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;oBAC3D,IAAI,UAAU,EAAE,CAAC;wBACb,MAAM,aAAa,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;wBAC7E,IAAI,aAAa,EAAE,CAAC;4BAChB,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC;wBACjC,CAAC;6BAAM,CAAC;4BACJ,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,mBAAmB,OAAO,CAAC,IAAI,aAAa,mBAAmB,EAAE,CAAC,CAAC,CAAC;4BACpG,OAAO,IAAI,CAAC;wBAChB,CAAC;oBACL,CAAC;yBAAM,CAAC;wBACJ,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,gBAAgB,mBAAmB,EAAE,CAAC,CAAC,CAAC;wBACxE,OAAO,IAAI,CAAC;oBAChB,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACJ,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,2CAA2C,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;oBACvF,OAAO,IAAI,CAAC;gBAChB,CAAC;gBAED,IAAI,QAAQ,KAAK,CAAC,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAEjC,sDAAsD;gBACtD,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC;gBAChD,OAAO,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;YACxD,CAAC;QACL,CAAC;IACL,CAAC;IAED,4EAA4E;IAC5E,uEAAuE;IACvE,6BAA6B;IAC7B,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC,CAAC,0BAA0B;IAC3E,MAAM,wBAAwB,GAAG,IAAI,GAAG,EAA6E,CAAC;IAEtH,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC;QACtC,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,SAAS,GAAG,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACzD,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QACpC,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACxC,IAAI,mBAAmB,EAAE,CAAC;gBACtB,MAAM,UAAU,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;gBAC3D,IAAI,UAAU,EAAE,CAAC;oBACb,MAAM,aAAa,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;oBAC7E,IAAI,aAAa,EAAE,CAAC;wBAChB,MAAM,aAAa,GAAsE,EAAE,CAAC;wBAC5F,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;4BAC7C,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;4BACtC,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gCAChC,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gCAC5C,IAAI,WAAW,EAAE,CAAC;oCACd,MAAM,SAAS,GAAG,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC;oCACtE,aAAa,CAAC,IAAI,CAAC;wCACf,UAAU,EAAE,SAAS;wCACrB,MAAM,EAAE,WAAW,CAAC,MAAM;wCAC1B,QAAQ,EAAE,WAAW,CAAC,QAAQ;qCACjC,CAAC,CAAC;gCACP,CAAC;4BACL,CAAC;iCAAM,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gCACxC,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,+DAA+D,CAAC,CAAC,CAAC;4BACtG,CAAC;wBACL,CAAC;wBACD,wBAAwB,CAAC,GAAG,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;oBACnD,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,uDAAuD;IACvD,6CAA6C;IAC7C,IAAI,MAAM,GAA2B,GAAG,CAAC,WAAW,EAAE,CAAC;IAEvD,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAE1C,qDAAqD;QACrD,IAAI,OAAO,GAAG,QAAQ,CAAC;QACvB,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,UAAU,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC;YACzD,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,eAAe,CAAC,CAAC;QACvE,CAAC;aAAM,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC5C,MAAM,aAAa,GAAG,wBAAwB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACtD,IAAI,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5C,MAAM,IAAI,GAA6B,EAAE,CAAC;gBAC1C,KAAK,MAAM,OAAO,IAAI,aAAa,EAAE,CAAC;oBAClC,MAAM,SAAS,GAAG,OAAO,CAAC,QAAQ,KAAK,QAAQ,CAAC,GAAG;wBAC/C,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC;wBAC9C,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC;oBACnD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;gBAC5D,CAAC;gBACD,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,EAAE,eAAe,CAAC,CAAC;YACpE,CAAC;QACL,CAAC;QAED,MAAM,SAAS,GAAG,uBAAuB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAEvD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACrB,gDAAgD;YAChD,sEAAsE;YACtE,MAAM,GAAG,OAAO,CAAC;QACrB,CAAC;aAAM,CAAC;YACJ,oEAAoE;YACpE,MAAM,GAAG,GAAG,CAAC,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAChD,CAAC;IACL,CAAC;IAED,oDAAoD;IACpD,OAAO,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,eAAe,CAAC,CAAC;AACjE,CAAC"}

package/dist/codegen/compile-scalars.d.ts

@@ -0,0 +1,25 @@
+import binaryen from "binaryen";
+import type { Expression } from "../ast/nodes.js";
+import { type CompilationContext, FunctionContext } from "./types.js";
+export declare function compileLiteral(expr: Expression & {
+    kind: "literal";
+}, cc: CompilationContext): binaryen.ExpressionRef;
+export declare function compileIdent(expr: Expression & {
+    kind: "ident";
+}, cc: CompilationContext, ctx: FunctionContext): binaryen.ExpressionRef;
+export declare function compileBinop(expr: Expression & {
+    kind: "binop";
+}, cc: CompilationContext, ctx: FunctionContext): binaryen.ExpressionRef;
+export declare function compileUnop(expr: Expression & {
+    kind: "unop";
+}, cc: CompilationContext, ctx: FunctionContext): binaryen.ExpressionRef;
+export declare function compileIf(expr: Expression & {
+    kind: "if";
+}, cc: CompilationContext, ctx: FunctionContext): binaryen.ExpressionRef;
+export declare function compileLet(expr: Expression & {
+    kind: "let";
+}, cc: CompilationContext, ctx: FunctionContext): binaryen.ExpressionRef;
+export declare function compileBlock(expr: Expression & {
+    kind: "block";
+}, cc: CompilationContext, ctx: FunctionContext): binaryen.ExpressionRef;
+//# sourceMappingURL=compile-scalars.d.ts.map

package/dist/codegen/compile-scalars.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile-scalars.d.ts","sourceRoot":"","sources":["../../src/codegen/compile-scalars.ts"],"names":[],"mappings":"AAIA,OAAO,QAAQ,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAElD,OAAO,EACH,KAAK,kBAAkB,EACvB,eAAe,EAElB,MAAM,YAAY,CAAC;AAIpB,wBAAgB,cAAc,CAC1B,IAAI,EAAE,UAAU,GAAG;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,EACtC,EAAE,EAAE,kBAAkB,GACvB,QAAQ,CAAC,aAAa,CAoCxB;AAED,wBAAgB,YAAY,CACxB,IAAI,EAAE,UAAU,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,EACpC,EAAE,EAAE,kBAAkB,EACtB,GAAG,EAAE,eAAe,GACrB,QAAQ,CAAC,aAAa,CAuBxB;AAED,wBAAgB,YAAY,CACxB,IAAI,EAAE,UAAU,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,EACpC,EAAE,EAAE,kBAAkB,EACtB,GAAG,EAAE,eAAe,GACrB,QAAQ,CAAC,aAAa,CAiDxB;AAED,wBAAgB,WAAW,CACvB,IAAI,EAAE,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EACnC,EAAE,EAAE,kBAAkB,EACtB,GAAG,EAAE,eAAe,GACrB,QAAQ,CAAC,aAAa,CAqBxB;AAED,wBAAgB,SAAS,CACrB,IAAI,EAAE,UAAU,GAAG;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,EACjC,EAAE,EAAE,kBAAkB,EACtB,GAAG,EAAE,eAAe,GACrB,QAAQ,CAAC,aAAa,CA6BxB;AAED,wBAAgB,UAAU,CACtB,IAAI,EAAE,UAAU,GAAG;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,EAClC,EAAE,EAAE,kBAAkB,EACtB,GAAG,EAAE,eAAe,GACrB,QAAQ,CAAC,aAAa,CA8CxB;AAED,wBAAgB,YAAY,CACxB,IAAI,EAAE,UAAU,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,EACpC,EAAE,EAAE,kBAAkB,EACtB,GAAG,EAAE,eAAe,GACrB,QAAQ,CAAC,aAAa,CASxB"}

package/dist/codegen/compile-scalars.js

@@ -0,0 +1,211 @@
+// =============================================================================
+// Scalar expression compilers — literal, ident, binop, unop, if, let, block
+// =============================================================================
+import binaryen from "binaryen";
+import { wasmValidationError } from "../errors/structured-errors.js";
+import { edictTypeToWasm, } from "./types.js";
+import { allocClosurePair } from "./closures.js";
+import { compileExpr, inferExprWasmType } from "./compile-expr.js";
+export function compileLiteral(expr, cc) {
+    const { mod, strings } = cc;
+    const val = expr.value;
+    if (typeof val === "boolean") {
+        return mod.i32.const(val ? 1 : 0);
+    }
+    // Int64 literal — value may be string (for >2^53 precision) or number
+    if (expr.type?.kind === "basic" && expr.type.name === "Int64") {
+        try {
+            const big = BigInt(val);
+            const low = Number(big & 0xffffffffn);
+            const high = Number((big >> 32n) & 0xffffffffn);
+            return mod.i64.const(low, high);
+        }
+        catch {
+            cc.errors.push(wasmValidationError(`invalid Int64 literal value: ${JSON.stringify(val)}`));
+            return mod.unreachable();
+        }
+    }
+    if (typeof val === "number") {
+        // Check type annotation first — 0.0 is integer in JS but Float in Edict
+        if (expr.type && expr.type.kind === "basic" && expr.type.name === "Float") {
+            return mod.f64.const(val);
+        }
+        if (Number.isInteger(val)) {
+            return mod.i32.const(val);
+        }
+        return mod.f64.const(val);
+    }
+    if (typeof val === "string") {
+        const interned = strings.intern(val);
+        // Return the pointer (offset). The caller/callee will also need
+        // the length — for builtin calls we handle this specially in compileCall.
+        return mod.i32.const(interned.offset);
+    }
+    return mod.unreachable();
+}
+export function compileIdent(expr, cc, ctx) {
+    const { mod } = cc;
+    const local = ctx.getLocal(expr.name);
+    if (local) {
+        return mod.local.get(local.index, local.type);
+    }
+    // Check module-level const globals
+    const globalType = cc.constGlobals.get(expr.name);
+    if (globalType !== undefined) {
+        return mod.global.get(expr.name, globalType);
+    }
+    // Check function table — return a closure pair (table_index, env_ptr=0)
+    // This enables `let f = myFunc` to store a function reference as a closure
+    const tableIndex = cc.fnTableIndices.get(expr.name);
+    if (tableIndex !== undefined) {
+        return allocClosurePair(mod, ctx, mod.i32.const(tableIndex), mod.i32.const(0), `ident_${expr.name}`);
+    }
+    return mod.unreachable();
+}
+export function compileBinop(expr, cc, ctx) {
+    const { mod, errors } = cc;
+    const left = compileExpr(expr.left, cc, ctx);
+    const right = compileExpr(expr.right, cc, ctx);
+    // Determine the WASM type from the left operand.
+    // Type checker guarantees matching types for both operands.
+    const opType = inferExprWasmType(expr.left, cc, ctx);
+    const isFloat = opType === binaryen.f64;
+    const isInt64 = opType === binaryen.i64;
+    switch (expr.op) {
+        case "+":
+            return isFloat ? mod.f64.add(left, right) : isInt64 ? mod.i64.add(left, right) : mod.i32.add(left, right);
+        case "-":
+            return isFloat ? mod.f64.sub(left, right) : isInt64 ? mod.i64.sub(left, right) : mod.i32.sub(left, right);
+        case "*":
+            return isFloat ? mod.f64.mul(left, right) : isInt64 ? mod.i64.mul(left, right) : mod.i32.mul(left, right);
+        case "/":
+            return isFloat ? mod.f64.div(left, right) : isInt64 ? mod.i64.div_s(left, right) : mod.i32.div_s(left, right);
+        case "%":
+            if (isFloat) {
+                errors.push(wasmValidationError(`modulo (%) not supported for Float`));
+                return mod.unreachable();
+            }
+            return isInt64 ? mod.i64.rem_s(left, right) : mod.i32.rem_s(left, right);
+        case "==":
+            return isFloat ? mod.f64.eq(left, right) : isInt64 ? mod.i64.eq(left, right) : mod.i32.eq(left, right);
+        case "!=":
+            return isFloat ? mod.f64.ne(left, right) : isInt64 ? mod.i64.ne(left, right) : mod.i32.ne(left, right);
+        case "<":
+            return isFloat ? mod.f64.lt(left, right) : isInt64 ? mod.i64.lt_s(left, right) : mod.i32.lt_s(left, right);
+        case ">":
+            return isFloat ? mod.f64.gt(left, right) : isInt64 ? mod.i64.gt_s(left, right) : mod.i32.gt_s(left, right);
+        case "<=":
+            return isFloat ? mod.f64.le(left, right) : isInt64 ? mod.i64.le_s(left, right) : mod.i32.le_s(left, right);
+        case ">=":
+            return isFloat ? mod.f64.ge(left, right) : isInt64 ? mod.i64.ge_s(left, right) : mod.i32.ge_s(left, right);
+        case "and":
+            return mod.i32.and(left, right);
+        case "or":
+            return mod.i32.or(left, right);
+        case "implies":
+            // A implies B ≡ (not A) or B
+            return mod.i32.or(mod.i32.eqz(left), right);
+        default:
+            errors.push(wasmValidationError(`unsupported binop: ${expr.op}`));
+            return mod.unreachable();
+    }
+}
+export function compileUnop(expr, cc, ctx) {
+    const { mod, errors } = cc;
+    const operand = compileExpr(expr.operand, cc, ctx);
+    const opType = inferExprWasmType(expr.operand, cc, ctx);
+    const isFloat = opType === binaryen.f64;
+    const isInt64 = opType === binaryen.i64;
+    switch (expr.op) {
+        case "-":
+            return isFloat
+                ? mod.f64.neg(operand)
+                : isInt64
+                    ? mod.i64.sub(mod.i64.const(0, 0), operand)
+                    : mod.i32.sub(mod.i32.const(0), operand);
+        case "not":
+            return mod.i32.eqz(operand);
+        default:
+            errors.push(wasmValidationError(`unsupported unop: ${expr.op}`));
+            return mod.unreachable();
+    }
+}
+export function compileIf(expr, cc, ctx) {
+    const { mod } = cc;
+    const cond = compileExpr(expr.condition, cc, ctx);
+    // Infer the result type from the then-branch's last expression
+    const resultType = expr.then.length > 0
+        ? inferExprWasmType(expr.then[expr.then.length - 1], cc, ctx)
+        : binaryen.i32;
+    const thenExprs = expr.then.map((e) => compileExpr(e, cc, ctx));
+    const thenBody = thenExprs.length === 1
+        ? thenExprs[0]
+        : mod.block(null, thenExprs, resultType);
+    if (expr.else) {
+        const elseExprs = expr.else.map((e) => compileExpr(e, cc, ctx));
+        const elseBody = elseExprs.length === 1
+            ? elseExprs[0]
+            : mod.block(null, elseExprs, resultType);
+        return mod.if(cond, thenBody, elseBody);
+    }
+    return mod.if(cond, thenBody);
+}
+export function compileLet(expr, cc, ctx) {
+    const { mod, strings } = cc;
+    const resolvedLetType = cc.typeInfo?.inferredLetTypes.get(expr.id) ?? expr.type;
+    const wasmType = resolvedLetType
+        ? edictTypeToWasm(resolvedLetType)
+        : inferExprWasmType(expr.value, cc, ctx);
+    let edictTypeName;
+    if (resolvedLetType && resolvedLetType.kind === "named") {
+        edictTypeName = resolvedLetType.name;
+    }
+    else if (resolvedLetType && resolvedLetType.kind === "option") {
+        edictTypeName = "Option";
+    }
+    else if (resolvedLetType && resolvedLetType.kind === "result") {
+        edictTypeName = "Result";
+    }
+    else if (expr.value.kind === "record_expr") {
+        edictTypeName = expr.value.name;
+    }
+    else if (expr.value.kind === "enum_constructor") {
+        edictTypeName = expr.value.enumName;
+    }
+    const index = ctx.addLocal(expr.name, wasmType, edictTypeName);
+    const value = compileExpr(expr.value, cc, ctx);
+    const localSet = mod.local.set(index, value);
+    // For String-type let bindings, save __str_ret_len into a companion local
+    // so the correct length is available when the variable is later used as an argument.
+    const isStringType = resolvedLetType?.kind === "basic" && resolvedLetType.name === "String";
+    if (isStringType) {
+        const lenIndex = ctx.addLocal(`__str_len_${expr.name}`, binaryen.i32);
+        if (expr.value.kind === "literal" && typeof expr.value.value === "string") {
+            // String literal — length known at compile time
+            const interned = strings.intern(expr.value.value);
+            return mod.block(null, [
+                localSet,
+                mod.local.set(lenIndex, mod.i32.const(interned.length)),
+            ], binaryen.none);
+        }
+        else {
+            // Non-literal (host call result, etc.) — capture __str_ret_len
+            return mod.block(null, [
+                localSet,
+                mod.local.set(lenIndex, mod.global.get("__str_ret_len", binaryen.i32)),
+            ], binaryen.none);
+        }
+    }
+    return localSet;
+}
+export function compileBlock(expr, cc, ctx) {
+    const { mod } = cc;
+    const bodyExprs = expr.body.map((e) => compileExpr(e, cc, ctx));
+    if (bodyExprs.length === 0)
+        return mod.nop();
+    if (bodyExprs.length === 1)
+        return bodyExprs[0];
+    const blockType = inferExprWasmType(expr.body[expr.body.length - 1], cc, ctx);
+    return mod.block(null, bodyExprs, blockType);
+}
+//# sourceMappingURL=compile-scalars.js.map

package/dist/codegen/compile-scalars.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile-scalars.js","sourceRoot":"","sources":["../../src/codegen/compile-scalars.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,4EAA4E;AAC5E,gFAAgF;AAEhF,OAAO,QAAQ,MAAM,UAAU,CAAC;AAEhC,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AACrE,OAAO,EAGH,eAAe,GAClB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAEnE,MAAM,UAAU,cAAc,CAC1B,IAAsC,EACtC,EAAsB;IAEtB,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;IAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC;IAEvB,IAAI,OAAO,GAAG,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC;IACD,sEAAsE;IACtE,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5D,IAAI,CAAC;YACD,MAAM,GAAG,GAAG,MAAM,CAAC,GAAsB,CAAC,CAAC;YAC3C,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,GAAG,WAAW,CAAC,CAAC;YACtC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC;YAChD,OAAO,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACpC,CAAC;QAAC,MAAM,CAAC;YACL,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,gCAAgC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YAC3F,OAAO,GAAG,CAAC,WAAW,EAAE,CAAC;QAC7B,CAAC;IACL,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC1B,wEAAwE;QACxE,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACxE,OAAO,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,OAAO,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9B,CAAC;QACD,OAAO,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACrC,gEAAgE;QAChE,0EAA0E;QAC1E,OAAO,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,GAAG,CAAC,WAAW,EAAE,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,YAAY,CACxB,IAAoC,EACpC,EAAsB,EACtB,GAAoB;IAEpB,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACnB,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,KAAK,EAAE,CAAC;QACR,OAAO,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC;IACD,mCAAmC;IACnC,MAAM,UAAU,GAAG,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACjD,CAAC;IACD,wEAAwE;IACxE,2EAA2E;IAC3E,MAAM,UAAU,GAAG,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,gBAAgB,CACnB,GAAG,EAAE,GAAG,EACR,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,EACzB,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAChB,SAAS,IAAI,CAAC,IAAI,EAAE,CACvB,CAAC;IACN,CAAC;IACD,OAAO,GAAG,CAAC,WAAW,EAAE,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,YAAY,CACxB,IAAoC,EACpC,EAAsB,EACtB,GAAoB;IAEpB,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IAE/C,iDAAiD;IACjD,4DAA4D;IAC5D,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,MAAM,KAAK,QAAQ,CAAC,GAAG,CAAC;IACxC,MAAM,OAAO,GAAG,MAAM,KAAK,QAAQ,CAAC,GAAG,CAAC;IAExC,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QACd,KAAK,GAAG;YACJ,OAAO,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC9G,KAAK,GAAG;YACJ,OAAO,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC9G,KAAK,GAAG;YACJ,OAAO,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC9G,KAAK,GAAG;YACJ,OAAO,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAClH,KAAK,GAAG;YACJ,IAAI,OAAO,EAAE,CAAC;gBACV,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,oCAAoC,CAAC,CAAC,CAAC;gBACvE,OAAO,GAAG,CAAC,WAAW,EAAE,CAAC;YAC7B,CAAC;YACD,OAAO,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC7E,KAAK,IAAI;YACL,OAAO,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC3G,KAAK,IAAI;YACL,OAAO,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC3G,KAAK,GAAG;YACJ,OAAO,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/G,KAAK,GAAG;YACJ,OAAO,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/G,KAAK,IAAI;YACL,OAAO,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/G,KAAK,IAAI;YACL,OAAO,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/G,KAAK,KAAK;YACN,OAAO,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACpC,KAAK,IAAI;YACL,OAAO,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACnC,KAAK,SAAS;YACV,6BAA6B;YAC7B,OAAO,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;QAChD;YACI,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,sBAAsB,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YAClE,OAAO,GAAG,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,WAAW,CACvB,IAAmC,EACnC,EAAsB,EACtB,GAAoB;IAEpB,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,MAAM,KAAK,QAAQ,CAAC,GAAG,CAAC;IAExC,MAAM,OAAO,GAAG,MAAM,KAAK,QAAQ,CAAC,GAAG,CAAC;IAExC,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QACd,KAAK,GAAG;YACJ,OAAO,OAAO;gBACV,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;gBACtB,CAAC,CAAC,OAAO;oBACL,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC;oBAC3C,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACrD,KAAK,KAAK;YACN,OAAO,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAChC;YACI,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,qBAAqB,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YACjE,OAAO,GAAG,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,SAAS,CACrB,IAAiC,EACjC,EAAsB,EACtB,GAAoB;IAEpB,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACnB,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IAElD,+DAA+D;IAC/D,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QACnC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,EAAE,EAAE,EAAE,GAAG,CAAC;QAC9D,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;IAEnB,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAClC,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAC1B,CAAC;IACF,MAAM,QAAQ,GACV,SAAS,CAAC,MAAM,KAAK,CAAC;QAClB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE;QACf,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IAEjD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACZ,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAClC,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAC1B,CAAC;QACF,MAAM,QAAQ,GACV,SAAS,CAAC,MAAM,KAAK,CAAC;YAClB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE;YACf,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;QACjD,OAAO,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC5C,CAAC;IAED,OAAO,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,UAAU,CACtB,IAAkC,EAClC,EAAsB,EACtB,GAAoB;IAEpB,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;IAC5B,MAAM,eAAe,GAAG,EAAE,CAAC,QAAQ,EAAE,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC;IAChF,MAAM,QAAQ,GAAG,eAAe;QAC5B,CAAC,CAAC,eAAe,CAAC,eAAe,CAAC;QAClC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IAE7C,IAAI,aAAiC,CAAC;IACtC,IAAI,eAAe,IAAI,eAAe,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACtD,aAAa,GAAG,eAAe,CAAC,IAAI,CAAC;IACzC,CAAC;SAAM,IAAI,eAAe,IAAI,eAAe,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC9D,aAAa,GAAG,QAAQ,CAAC;IAC7B,CAAC;SAAM,IAAI,eAAe,IAAI,eAAe,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC9D,aAAa,GAAG,QAAQ,CAAC;IAC7B,CAAC;SAAM,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAC3C,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IACpC,CAAC;SAAM,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAChD,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC;IACxC,CAAC;IAED,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAE7C,0EAA0E;IAC1E,qFAAqF;IACrF,MAAM,YAAY,GAAG,eAAe,EAAE,IAAI,KAAK,OAAO,IAAI,eAAe,CAAC,IAAI,KAAK,QAAQ,CAAC;IAC5F,IAAI,YAAY,EAAE,CAAC;QACf,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,aAAa,IAAI,CAAC,IAAI,EAAE,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;QACtE,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACxE,gDAAgD;YAChD,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAClD,OAAO,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE;gBACnB,QAAQ;gBACR,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;aAC1D,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;aAAM,CAAC;YACJ,+DAA+D;YAC/D,OAAO,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE;gBACnB,QAAQ;gBACR,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,eAAe,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;aACzE,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;IACL,CAAC;IAED,OAAO,QAAQ,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,YAAY,CACxB,IAAoC,EACpC,EAAsB,EACtB,GAAoB;IAEpB,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACnB,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAClC,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAC1B,CAAC;IACF,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC,GAAG,EAAE,CAAC;IAC7C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC,CAAC,CAAE,CAAC;IACjD,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IAC/E,OAAO,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;AACjD,CAAC"}

package/dist/codegen/hof-generators.d.ts

@@ -0,0 +1,39 @@
+import binaryen from "binaryen";
+/**
+ * Generate array_map(arrPtr: i32, closurePtr: i32) → i32
+ *
+ * Allocates a new array, maps each element through the closure, returns result ptr.
+ */
+export declare function generateArrayMap(mod: binaryen.Module): void;
+/**
+ * Generate array_filter(arrPtr: i32, closurePtr: i32) → i32
+ *
+ * Single-pass overalloc: allocates max-length result, filters in one pass,
+ * then writes actual count. Tail waste is acceptable (arena allocator).
+ */
+export declare function generateArrayFilter(mod: binaryen.Module): void;
+/**
+ * Generate array_reduce(arrPtr: i32, init: i32, closurePtr: i32) → i32
+ *
+ * Folds array elements into an accumulator via the closure.
+ */
+export declare function generateArrayReduce(mod: binaryen.Module): void;
+/**
+ * Generate array_find(arrPtr: i32, closurePtr: i32) → i32
+ *
+ * Scans array, calls predicate on each element. Returns Option<Int>:
+ *   - Some(elem): heap-allocated [tag=1][pad(4)][value][pad(4)]
+ *   - None:       heap-allocated [tag=0][pad(4)]
+ *
+ * Option layout matches the built-in enum: None=tag0/8 bytes, Some=tag1/16 bytes.
+ */
+export declare function generateArrayFind(mod: binaryen.Module): void;
+/**
+ * Generate array_sort(arrPtr: i32, closurePtr: i32) → i32
+ *
+ * Copies the input array to a new heap allocation, then sorts in-place
+ * using insertion sort. The comparator closure returns:
+ *   negative if a < b, 0 if a == b, positive if a > b (C qsort convention).
+ */
+export declare function generateArraySort(mod: binaryen.Module): void;
+//# sourceMappingURL=hof-generators.d.ts.map

package/dist/codegen/hof-generators.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hof-generators.d.ts","sourceRoot":"","sources":["../../src/codegen/hof-generators.ts"],"names":[],"mappings":"AAUA,OAAO,QAAQ,MAAM,UAAU,CAAC;AAEhC;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,GAAG,IAAI,CAqE3D;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,GAAG,IAAI,CAgF9D;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,GAAG,IAAI,CA0D9D;AAED;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,GAAG,IAAI,CA8F5D;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,GAAG,IAAI,CA+I5D"}