edict-lang 1.2.0 → 1.5.0

package/dist/codegen/builtins.js

@@ -1,342 +1,3 @@
-// =============================================================================
-// Builtins — Built-in functions available to all Edict programs
-// =============================================================================
-// These are not defined in user code. The resolver and type checker
-// register them automatically. The codegen imports them from the host.
-const STRING_TYPE = { kind: "basic", name: "String" };
-const INT_TYPE = { kind: "basic", name: "Int" };
-const FLOAT_TYPE = { kind: "basic", name: "Float" };
-const BOOL_TYPE = { kind: "basic", name: "Bool" };
-const ARRAY_INT_TYPE = { kind: "array", element: INT_TYPE };
-/**
- * All built-in functions.
- *
- * `print` takes a String and returns a String (the value printed).
- * At the WASM level, it's imported as host.print(ptr, len) → ptr
- * (returns the same pointer for passthrough).
- */
-export const BUILTIN_FUNCTIONS = new Map([
-    [
-        "print",
-        {
-            type: {
-                kind: "fn_type",
-                params: [STRING_TYPE],
-                effects: ["io"],
-                returnType: STRING_TYPE,
-            },
-            effects: ["io"],
-            wasmImport: ["host", "print"],
-        },
-    ],
-    [
-        "string_replace",
-        {
-            type: {
-                kind: "fn_type",
-                params: [STRING_TYPE, STRING_TYPE, STRING_TYPE],
-                effects: ["pure"],
-                returnType: STRING_TYPE,
-            },
-            effects: ["pure"],
-            wasmImport: ["host", "string_replace"],
-        },
-    ],
-    // =========================================================================
-    // String builtins — pure, string handling needed
-    // =========================================================================
-    [
-        "string_length",
-        {
-            type: { kind: "fn_type", params: [STRING_TYPE], effects: ["pure"], returnType: INT_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "string_length"],
-        },
-    ],
-    [
-        "substring",
-        {
-            type: { kind: "fn_type", params: [STRING_TYPE, INT_TYPE, INT_TYPE], effects: ["pure"], returnType: STRING_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "substring"],
-        },
-    ],
-    [
-        "string_concat",
-        {
-            type: { kind: "fn_type", params: [STRING_TYPE, STRING_TYPE], effects: ["pure"], returnType: STRING_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "string_concat"],
-        },
-    ],
-    [
-        "string_indexOf",
-        {
-            type: { kind: "fn_type", params: [STRING_TYPE, STRING_TYPE], effects: ["pure"], returnType: INT_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "string_indexOf"],
-        },
-    ],
-    [
-        "toUpperCase",
-        {
-            type: { kind: "fn_type", params: [STRING_TYPE], effects: ["pure"], returnType: STRING_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "toUpperCase"],
-        },
-    ],
-    [
-        "toLowerCase",
-        {
-            type: { kind: "fn_type", params: [STRING_TYPE], effects: ["pure"], returnType: STRING_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "toLowerCase"],
-        },
-    ],
-    [
-        "string_trim",
-        {
-            type: { kind: "fn_type", params: [STRING_TYPE], effects: ["pure"], returnType: STRING_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "string_trim"],
-        },
-    ],
-    [
-        "string_startsWith",
-        {
-            type: { kind: "fn_type", params: [STRING_TYPE, STRING_TYPE], effects: ["pure"], returnType: BOOL_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "string_startsWith"],
-        },
-    ],
-    [
-        "string_endsWith",
-        {
-            type: { kind: "fn_type", params: [STRING_TYPE, STRING_TYPE], effects: ["pure"], returnType: BOOL_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "string_endsWith"],
-        },
-    ],
-    [
-        "string_contains",
-        {
-            type: { kind: "fn_type", params: [STRING_TYPE, STRING_TYPE], effects: ["pure"], returnType: BOOL_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "string_contains"],
-        },
-    ],
-    [
-        "string_repeat",
-        {
-            type: { kind: "fn_type", params: [STRING_TYPE, INT_TYPE], effects: ["pure"], returnType: STRING_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "string_repeat"],
-        },
-    ],
-    // =========================================================================
-    // Math builtins — pure, no string handling needed
-    // =========================================================================
-    [
-        "abs",
-        {
-            type: { kind: "fn_type", params: [INT_TYPE], effects: ["pure"], returnType: INT_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "abs"],
-        },
-    ],
-    [
-        "min",
-        {
-            type: { kind: "fn_type", params: [INT_TYPE, INT_TYPE], effects: ["pure"], returnType: INT_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "min"],
-        },
-    ],
-    [
-        "max",
-        {
-            type: { kind: "fn_type", params: [INT_TYPE, INT_TYPE], effects: ["pure"], returnType: INT_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "max"],
-        },
-    ],
-    [
-        "pow",
-        {
-            type: { kind: "fn_type", params: [INT_TYPE, INT_TYPE], effects: ["pure"], returnType: INT_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "pow"],
-        },
-    ],
-    [
-        "sqrt",
-        {
-            type: { kind: "fn_type", params: [FLOAT_TYPE], effects: ["pure"], returnType: FLOAT_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "sqrt"],
-        },
-    ],
-    [
-        "floor",
-        {
-            type: { kind: "fn_type", params: [FLOAT_TYPE], effects: ["pure"], returnType: INT_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "floor"],
-        },
-    ],
-    [
-        "ceil",
-        {
-            type: { kind: "fn_type", params: [FLOAT_TYPE], effects: ["pure"], returnType: INT_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "ceil"],
-        },
-    ],
-    [
-        "round",
-        {
-            type: { kind: "fn_type", params: [FLOAT_TYPE], effects: ["pure"], returnType: INT_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "round"],
-        },
-    ],
-    // =========================================================================
-    // Type conversion builtins — pure, cross-type conversion
-    // =========================================================================
-    [
-        "intToString",
-        {
-            type: { kind: "fn_type", params: [INT_TYPE], effects: ["pure"], returnType: STRING_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "intToString"],
-        },
-    ],
-    [
-        "floatToString",
-        {
-            type: { kind: "fn_type", params: [FLOAT_TYPE], effects: ["pure"], returnType: STRING_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "floatToString"],
-        },
-    ],
-    [
-        "boolToString",
-        {
-            type: { kind: "fn_type", params: [BOOL_TYPE], effects: ["pure"], returnType: STRING_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "boolToString"],
-        },
-    ],
-    [
-        "floatToInt",
-        {
-            type: { kind: "fn_type", params: [FLOAT_TYPE], effects: ["pure"], returnType: INT_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "floatToInt"],
-        },
-    ],
-    [
-        "intToFloat",
-        {
-            type: { kind: "fn_type", params: [INT_TYPE], effects: ["pure"], returnType: FLOAT_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "intToFloat"],
-        },
-    ],
-    // =========================================================================
-    // Array builtins — pure, operate on heap-allocated [length][elem0][elem1]...
-    // =========================================================================
-    [
-        "array_length",
-        {
-            type: { kind: "fn_type", params: [ARRAY_INT_TYPE], effects: ["pure"], returnType: INT_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "array_length"],
-        },
-    ],
-    [
-        "array_get",
-        {
-            type: { kind: "fn_type", params: [ARRAY_INT_TYPE, INT_TYPE], effects: ["pure"], returnType: INT_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "array_get"],
-        },
-    ],
-    [
-        "array_set",
-        {
-            type: { kind: "fn_type", params: [ARRAY_INT_TYPE, INT_TYPE, INT_TYPE], effects: ["pure"], returnType: ARRAY_INT_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "array_set"],
-        },
-    ],
-    [
-        "array_push",
-        {
-            type: { kind: "fn_type", params: [ARRAY_INT_TYPE, INT_TYPE], effects: ["pure"], returnType: ARRAY_INT_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "array_push"],
-        },
-    ],
-    [
-        "array_pop",
-        {
-            type: { kind: "fn_type", params: [ARRAY_INT_TYPE], effects: ["pure"], returnType: ARRAY_INT_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "array_pop"],
-        },
-    ],
-    [
-        "array_concat",
-        {
-            type: { kind: "fn_type", params: [ARRAY_INT_TYPE, ARRAY_INT_TYPE], effects: ["pure"], returnType: ARRAY_INT_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "array_concat"],
-        },
-    ],
-    [
-        "array_slice",
-        {
-            type: { kind: "fn_type", params: [ARRAY_INT_TYPE, INT_TYPE, INT_TYPE], effects: ["pure"], returnType: ARRAY_INT_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "array_slice"],
-        },
-    ],
-    [
-        "array_isEmpty",
-        {
-            type: { kind: "fn_type", params: [ARRAY_INT_TYPE], effects: ["pure"], returnType: BOOL_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "array_isEmpty"],
-        },
-    ],
-    [
-        "array_contains",
-        {
-            type: { kind: "fn_type", params: [ARRAY_INT_TYPE, INT_TYPE], effects: ["pure"], returnType: BOOL_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "array_contains"],
-        },
-    ],
-    [
-        "array_reverse",
-        {
-            type: { kind: "fn_type", params: [ARRAY_INT_TYPE], effects: ["pure"], returnType: ARRAY_INT_TYPE },
-            effects: ["pure"],
-            wasmImport: ["host", "array_reverse"],
-        },
-    ],
-]);
-/**
- * Check if a name refers to a built-in function.
- */
-export function isBuiltin(name) {
-    return BUILTIN_FUNCTIONS.has(name);
-}
-/**
- * Get the built-in function definition, or undefined.
- */
-export function getBuiltin(name) {
-    return BUILTIN_FUNCTIONS.get(name);
-}
+// Re-export from canonical location for backwards compatibility
+export { BUILTIN_FUNCTIONS, isBuiltin, getBuiltin } from "../builtins/builtins.js";
 //# sourceMappingURL=builtins.js.map

package/dist/codegen/builtins.js.map

@@ -1 +1 @@
-{"version":3,"file":"builtins.js","sourceRoot":"","sources":["../../src/codegen/builtins.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gEAAgE;AAChE,gFAAgF;AAChF,oEAAoE;AACpE,uEAAuE;AAcvE,MAAM,WAAW,GAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAChE,MAAM,QAAQ,GAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC1D,MAAM,UAAU,GAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC9D,MAAM,SAAS,GAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC5D,MAAM,cAAc,GAAa,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAEtE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAyC,IAAI,GAAG,CAAC;IAC3E;QACI,OAAO;QACP;YACI,IAAI,EAAE;gBACF,IAAI,EAAE,SAAS;gBACf,MAAM,EAAE,CAAC,WAAW,CAAC;gBACrB,OAAO,EAAE,CAAC,IAAI,CAAC;gBACf,UAAU,EAAE,WAAW;aAC1B;YACD,OAAO,EAAE,CAAC,IAAI,CAAC;YACf,UAAU,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC;SAChC;KACJ;IACD;QACI,gBAAgB;QAChB;YACI,IAAI,EAAE;gBACF,IAAI,EAAE,SAAS;gBACf,MAAM,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,WAAW,CAAC;gBAC/C,OAAO,EAAE,CAAC,MAAM,CAAC;gBACjB,UAAU,EAAE,WAAW;aAC1B;YACD,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,gBAAgB,CAAC;SACzC;KACJ;IACD,4EAA4E;IAC5E,iDAAiD;IACjD,4EAA4E;IAC5E;QACI,eAAe;QACf;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE;YACzF,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,eAAe,CAAC;SACxC;KACJ;IACD;QACI,WAAW;QACX;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE;YAChH,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC;SACpC;KACJ;IACD;QACI,eAAe;QACf;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE;YACzG,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,eAAe,CAAC;SACxC;KACJ;IACD;QACI,gBAAgB;QAChB;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE;YACtG,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,gBAAgB,CAAC;SACzC;KACJ;IACD;QACI,aAAa;QACb;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE;YAC5F,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC;SACtC;KACJ;IACD;QACI,aAAa;QACb;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE;YAC5F,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC;SACtC;KACJ;IACD;QACI,aAAa;QACb;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE;YAC5F,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC;SACtC;KACJ;IACD;QACI,mBAAmB;QACnB;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE;YACvG,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,mBAAmB,CAAC;SAC5C;KACJ;IACD;QACI,iBAAiB;QACjB;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE;YACvG,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,iBAAiB,CAAC;SAC1C;KACJ;IACD;QACI,iBAAiB;QACjB;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE;YACvG,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,iBAAiB,CAAC;SAC1C;KACJ;IACD;QACI,eAAe;QACf;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE;YACtG,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,eAAe,CAAC;SACxC;KACJ;IACD,4EAA4E;IAC5E,kDAAkD;IAClD,4EAA4E;IAC5E;QACI,KAAK;QACL;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE;YACtF,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC;SAC9B;KACJ;IACD;QACI,KAAK;QACL;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE;YAChG,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC;SAC9B;KACJ;IACD;QACI,KAAK;QACL;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE;YAChG,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC;SAC9B;KACJ;IACD;QACI,KAAK;QACL;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE;YAChG,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC;SAC9B;KACJ;IACD;QACI,MAAM;QACN;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,UAAU,EAAE;YAC1F,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;SAC/B;KACJ;IACD;QACI,OAAO;QACP;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE;YACxF,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC;SAChC;KACJ;IACD;QACI,MAAM;QACN;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE;YACxF,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;SAC/B;KACJ;IACD;QACI,OAAO;QACP;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE;YACxF,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC;SAChC;KACJ;IACD,4EAA4E;IAC5E,yDAAyD;IACzD,4EAA4E;IAC5E;QACI,aAAa;QACb;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE;YACzF,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC;SACtC;KACJ;IACD;QACI,eAAe;QACf;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE;YAC3F,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,eAAe,CAAC;SACxC;KACJ;IACD;QACI,cAAc;QACd;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE;YAC1F,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,cAAc,CAAC;SACvC;KACJ;IACD;QACI,YAAY;QACZ;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE;YACxF,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,YAAY,CAAC;SACrC;KACJ;IACD;QACI,YAAY;QACZ;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,UAAU,EAAE;YACxF,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,YAAY,CAAC;SACrC;KACJ;IACD,4EAA4E;IAC5E,6EAA6E;IAC7E,4EAA4E;IAC5E;QACI,cAAc;QACd;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,cAAc,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE;YAC5F,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,cAAc,CAAC;SACvC;KACJ;IACD;QACI,WAAW;QACX;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,cAAc,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE;YACtG,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC;SACpC;KACJ;IACD;QACI,WAAW;QACX;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,cAAc,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE;YACtH,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC;SACpC;KACJ;IACD;QACI,YAAY;QACZ;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,cAAc,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE;YAC5G,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,YAAY,CAAC;SACrC;KACJ;IACD;QACI,WAAW;QACX;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,cAAc,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE;YAClG,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC;SACpC;KACJ;IACD;QACI,cAAc;QACd;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,cAAc,EAAE,cAAc,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE;YAClH,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,cAAc,CAAC;SACvC;KACJ;IACD;QACI,aAAa;QACb;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,cAAc,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE;YACtH,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC;SACtC;KACJ;IACD;QACI,eAAe;QACf;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,cAAc,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE;YAC7F,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,eAAe,CAAC;SACxC;KACJ;IACD;QACI,gBAAgB;QAChB;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,cAAc,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE;YACvG,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,gBAAgB,CAAC;SACzC;KACJ;IACD;QACI,eAAe;QACf;YACI,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,cAAc,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE;YAClG,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,CAAC,MAAM,EAAE,eAAe,CAAC;SACxC;KACJ;CACJ,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,UAAU,SAAS,CAAC,IAAY;IAClC,OAAO,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACvC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACnC,OAAO,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACvC,CAAC"}
+{"version":3,"file":"builtins.js","sourceRoot":"","sources":["../../src/codegen/builtins.ts"],"names":[],"mappings":"AAAA,gEAAgE;AAChE,OAAO,EAAE,iBAAiB,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC"}

package/dist/codegen/closures.d.ts

@@ -0,0 +1,17 @@
+import binaryen from "binaryen";
+import type { Expression } from "../ast/nodes.js";
+import { type FunctionSig, FunctionContext } from "./types.js";
+/**
+ * Walk a lambda body and collect identifiers that reference variables from
+ * the enclosing scope ("free variables"). These are the values that must be
+ * stored in a closure environment record.
+ */
+export declare function collectFreeVariables(body: Expression[], paramNames: Set<string>, constGlobals: Map<string, binaryen.Type>, fnSigs: Map<string, FunctionSig>): Map<string, {
+    wasmType: binaryen.Type;
+}>;
+/**
+ * Allocate a closure pair on the heap: [table_index: i32, env_ptr: i32].
+ * Returns a block expression that evaluates to the pair's heap pointer.
+ */
+export declare function allocClosurePair(mod: binaryen.Module, ctx: FunctionContext, tableIndexExpr: binaryen.ExpressionRef, envPtrExpr: binaryen.ExpressionRef, uniqueId: string): binaryen.ExpressionRef;
+//# sourceMappingURL=closures.d.ts.map

package/dist/codegen/closures.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"closures.d.ts","sourceRoot":"","sources":["../../src/codegen/closures.ts"],"names":[],"mappings":"AAKA,OAAO,QAAQ,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAElD,OAAO,EAAE,KAAK,WAAW,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAM/D;;;;GAIG;AACH,wBAAgB,oBAAoB,CAChC,IAAI,EAAE,UAAU,EAAE,EAClB,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,EACvB,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,EACxC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,GACjC,GAAG,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAA;CAAE,CAAC,CAqG1C;AAMD;;;GAGG;AACH,wBAAgB,gBAAgB,CAC5B,GAAG,EAAE,QAAQ,CAAC,MAAM,EACpB,GAAG,EAAE,eAAe,EACpB,cAAc,EAAE,QAAQ,CAAC,aAAa,EACtC,UAAU,EAAE,QAAQ,CAAC,aAAa,EAClC,QAAQ,EAAE,MAAM,GACjB,QAAQ,CAAC,aAAa,CA2BxB"}

package/dist/codegen/closures.js

@@ -0,0 +1,140 @@
+// =============================================================================
+// Closure Helpers — free variable collection and closure pair allocation
+// =============================================================================
+// Extracted from codegen.ts for modularity.
+import binaryen from "binaryen";
+import { BUILTIN_FUNCTIONS } from "../builtins/builtins.js";
+// =============================================================================
+// Free variable collection
+// =============================================================================
+/**
+ * Walk a lambda body and collect identifiers that reference variables from
+ * the enclosing scope ("free variables"). These are the values that must be
+ * stored in a closure environment record.
+ */
+export function collectFreeVariables(body, paramNames, constGlobals, fnSigs) {
+    const free = new Map();
+    const locallyDefined = new Set();
+    function walk(expr) {
+        switch (expr.kind) {
+            case "ident":
+                if (!paramNames.has(expr.name) &&
+                    !constGlobals.has(expr.name) &&
+                    !fnSigs.has(expr.name) &&
+                    !BUILTIN_FUNCTIONS.has(expr.name) &&
+                    !locallyDefined.has(expr.name) &&
+                    !free.has(expr.name)) {
+                    // This is a free variable — we'll determine its WASM type later
+                    // during compilation when we have access to the enclosing context.
+                    free.set(expr.name, { wasmType: binaryen.i32 }); // placeholder
+                }
+                break;
+            case "let":
+                walk(expr.value);
+                locallyDefined.add(expr.name);
+                break;
+            case "binop":
+                walk(expr.left);
+                walk(expr.right);
+                break;
+            case "unop":
+                walk(expr.operand);
+                break;
+            case "call":
+                walk(expr.fn);
+                for (const a of expr.args)
+                    walk(a);
+                break;
+            case "if":
+                walk(expr.condition);
+                for (const e of expr.then)
+                    walk(e);
+                if (expr.else)
+                    for (const e of expr.else)
+                        walk(e);
+                break;
+            case "block":
+                for (const e of expr.body)
+                    walk(e);
+                break;
+            case "match":
+                walk(expr.target);
+                for (const arm of expr.arms) {
+                    for (const e of arm.body)
+                        walk(e);
+                }
+                break;
+            case "lambda":
+                // Nested lambda — its params shadow, but we still walk its body
+                // to find free variables from OUR scope
+                {
+                    const innerParams = new Set(expr.params.map(p => p.name));
+                    const innerFree = collectFreeVariables(expr.body, innerParams, constGlobals, fnSigs);
+                    // Any free var from the inner lambda that isn't our param
+                    // or locally defined is also free in our scope
+                    for (const [name, info] of innerFree) {
+                        if (!paramNames.has(name) &&
+                            !locallyDefined.has(name) &&
+                            !constGlobals.has(name) &&
+                            !fnSigs.has(name) &&
+                            !BUILTIN_FUNCTIONS.has(name) &&
+                            !free.has(name)) {
+                            free.set(name, info);
+                        }
+                    }
+                }
+                break;
+            case "array":
+                for (const e of expr.elements)
+                    walk(e);
+                break;
+            case "tuple_expr":
+                for (const e of expr.elements)
+                    walk(e);
+                break;
+            case "record_expr":
+                for (const f of expr.fields)
+                    walk(f.value);
+                break;
+            case "enum_constructor":
+                for (const f of expr.fields)
+                    walk(f.value);
+                break;
+            case "access":
+                walk(expr.target);
+                break;
+            case "string_interp":
+                for (const p of expr.parts)
+                    walk(p);
+                break;
+            case "literal":
+                break;
+        }
+    }
+    for (const expr of body)
+        walk(expr);
+    return free;
+}
+// =============================================================================
+// Closure pair allocation
+// =============================================================================
+/**
+ * Allocate a closure pair on the heap: [table_index: i32, env_ptr: i32].
+ * Returns a block expression that evaluates to the pair's heap pointer.
+ */
+export function allocClosurePair(mod, ctx, tableIndexExpr, envPtrExpr, uniqueId) {
+    const ptrIndex = ctx.addLocal(`__closure_ptr_${uniqueId}`, binaryen.i32);
+    return mod.block(null, [
+        // ptr = __heap_ptr
+        mod.local.set(ptrIndex, mod.global.get("__heap_ptr", binaryen.i32)),
+        // __heap_ptr += 8
+        mod.global.set("__heap_ptr", mod.i32.add(mod.local.get(ptrIndex, binaryen.i32), mod.i32.const(8))),
+        // store table_index at offset 0
+        mod.i32.store(0, 0, mod.local.get(ptrIndex, binaryen.i32), tableIndexExpr),
+        // store env_ptr at offset 4
+        mod.i32.store(4, 0, mod.local.get(ptrIndex, binaryen.i32), envPtrExpr),
+        // return the pair pointer
+        mod.local.get(ptrIndex, binaryen.i32),
+    ], binaryen.i32);
+}
+//# sourceMappingURL=closures.js.map

package/dist/codegen/closures.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"closures.js","sourceRoot":"","sources":["../../src/codegen/closures.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,yEAAyE;AACzE,gFAAgF;AAChF,4CAA4C;AAE5C,OAAO,QAAQ,MAAM,UAAU,CAAC;AAEhC,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAG5D,gFAAgF;AAChF,2BAA2B;AAC3B,gFAAgF;AAEhF;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAChC,IAAkB,EAClB,UAAuB,EACvB,YAAwC,EACxC,MAAgC;IAEhC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAuC,CAAC;IAC5D,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IAEzC,SAAS,IAAI,CAAC,IAAgB;QAC1B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAChB,KAAK,OAAO;gBACR,IACI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;oBAC1B,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;oBAC5B,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;oBACtB,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;oBACjC,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;oBAC9B,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EACtB,CAAC;oBACC,gEAAgE;oBAChE,mEAAmE;oBACnE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,cAAc;gBACnE,CAAC;gBACD,MAAM;YACV,KAAK,KAAK;gBACN,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACjB,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC9B,MAAM;YACV,KAAK,OAAO;gBACR,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACjB,MAAM;YACV,KAAK,MAAM;gBACP,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACnB,MAAM;YACV,KAAK,MAAM;gBACP,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACd,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI;oBAAE,IAAI,CAAC,CAAC,CAAC,CAAC;gBACnC,MAAM;YACV,KAAK,IAAI;gBACL,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBACrB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI;oBAAE,IAAI,CAAC,CAAC,CAAC,CAAC;gBACnC,IAAI,IAAI,CAAC,IAAI;oBAAE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI;wBAAE,IAAI,CAAC,CAAC,CAAC,CAAC;gBAClD,MAAM;YACV,KAAK,OAAO;gBACR,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI;oBAAE,IAAI,CAAC,CAAC,CAAC,CAAC;gBACnC,MAAM;YACV,KAAK,OAAO;gBACR,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAClB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC1B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,IAAI;wBAAE,IAAI,CAAC,CAAC,CAAC,CAAC;gBACtC,CAAC;gBACD,MAAM;YACV,KAAK,QAAQ;gBACT,gEAAgE;gBAChE,wCAAwC;gBACxC,CAAC;oBACG,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;oBAC1D,MAAM,SAAS,GAAG,oBAAoB,CAClC,IAAI,CAAC,IAAI,EACT,WAAW,EACX,YAAY,EACZ,MAAM,CACT,CAAC;oBACF,0DAA0D;oBAC1D,+CAA+C;oBAC/C,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;wBACnC,IACI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;4BACrB,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;4BACzB,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;4BACvB,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;4BACjB,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC;4BAC5B,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EACjB,CAAC;4BACC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;wBACzB,CAAC;oBACL,CAAC;gBACL,CAAC;gBACD,MAAM;YACV,KAAK,OAAO;gBACR,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ;oBAAE,IAAI,CAAC,CAAC,CAAC,CAAC;gBACvC,MAAM;YACV,KAAK,YAAY;gBACb,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ;oBAAE,IAAI,CAAC,CAAC,CAAC,CAAC;gBACvC,MAAM;YACV,KAAK,aAAa;gBACd,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;oBAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC3C,MAAM;YACV,KAAK,kBAAkB;gBACnB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;oBAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC3C,MAAM;YACV,KAAK,QAAQ;gBACT,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAClB,MAAM;YACV,KAAK,eAAe;gBAChB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK;oBAAE,IAAI,CAAC,CAAC,CAAC,CAAC;gBACpC,MAAM;YACV,KAAK,SAAS;gBACV,MAAM;QACd,CAAC;IACL,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,gFAAgF;AAChF,0BAA0B;AAC1B,gFAAgF;AAEhF;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC5B,GAAoB,EACpB,GAAoB,EACpB,cAAsC,EACtC,UAAkC,EAClC,QAAgB;IAEhB,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,iBAAiB,QAAQ,EAAE,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;IAEzE,OAAO,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE;QACnB,mBAAmB;QACnB,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,YAAY,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;QACnE,kBAAkB;QAClB,GAAG,CAAC,MAAM,CAAC,GAAG,CACV,YAAY,EACZ,GAAG,CAAC,GAAG,CAAC,GAAG,CACP,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,EACrC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CACnB,CACJ;QACD,gCAAgC;QAChC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EACd,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,EACrC,cAAc,CACjB;QACD,4BAA4B;QAC5B,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EACd,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,EACrC,UAAU,CACb;QACD,0BAA0B;QAC1B,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC;KACxC,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;AACrB,CAAC"}

package/dist/codegen/codegen.d.ts

@@ -1,32 +1,13 @@
 import binaryen from "binaryen";
-import type { EdictModule } from "../ast/nodes.js";
-export interface CompileSuccess {
-    ok: true;
-    wasm: Uint8Array;
-    wat: string;
-}
-export interface CompileFailure {
-    ok: false;
-    errors: string[];
-}
-export type CompileResult = CompileSuccess | CompileFailure;
-export interface FieldLayout {
-    name: string;
-    offset: number;
-    wasmType: binaryen.Type;
-}
-export interface EnumVariantLayout {
-    name: string;
-    tag: number;
-    fields: FieldLayout[];
-    totalSize: number;
-}
-export interface EnumLayout {
-    variants: EnumVariantLayout[];
-}
-export interface RecordLayout {
-    fields: FieldLayout[];
-    totalSize: number;
-}
-export declare function compile(module: EdictModule): CompileResult;
+import type { EdictModule, Expression } from "../ast/nodes.js";
+import { type CompilationContext, type CompileResult, type CompileSuccess, type CompileFailure, type CompileOptions, type FieldLayout, type EnumVariantLayout, type EnumLayout, type RecordLayout, FunctionContext } from "./types.js";
+export type { CompileResult, CompileSuccess, CompileFailure, CompileOptions };
+export type { FieldLayout, EnumVariantLayout, EnumLayout, RecordLayout };
+/**
+ * Infer the WASM type an expression will produce at runtime.
+ * Used to dispatch i32 vs f64 instructions in binops, unops, and block types.
+ */
+export declare function inferExprWasmType(expr: Expression, cc: CompilationContext, ctx: FunctionContext): binaryen.Type;
+export declare function compile(module: EdictModule, options?: CompileOptions): CompileResult;
+export declare function compileExpr(expr: Expression, cc: CompilationContext, ctx: FunctionContext): binaryen.ExpressionRef;
 //# sourceMappingURL=codegen.d.ts.map

package/dist/codegen/codegen.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"codegen.d.ts","sourceRoot":"","sources":["../../src/codegen/codegen.ts"],"names":[],"mappings":"AAOA,OAAO,QAAQ,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,EACR,WAAW,EAId,MAAM,iBAAiB,CAAC;AASzB,MAAM,WAAW,cAAc;IAC3B,EAAE,EAAE,IAAI,CAAC;IACT,IAAI,EAAE,UAAU,CAAC;IACjB,GAAG,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,cAAc;IAC3B,EAAE,EAAE,KAAK,CAAC;IACV,MAAM,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,MAAM,aAAa,GAAG,cAAc,GAAG,cAAc,CAAC;AAiJ5D,MAAM,WAAW,WAAW;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC;CAC3B;AAED,MAAM,WAAW,iBAAiB;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,WAAW,EAAE,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,UAAU;IACvB,QAAQ,EAAE,iBAAiB,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,YAAY;IACzB,MAAM,EAAE,WAAW,EAAE,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;CACrB;AA0CD,wBAAgB,OAAO,CAAC,MAAM,EAAE,WAAW,GAAG,aAAa,CAkN1D"}
+{"version":3,"file":"codegen.d.ts","sourceRoot":"","sources":["../../src/codegen/codegen.ts"],"names":[],"mappings":"AAOA,OAAO,QAAQ,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,EACR,WAAW,EAEX,UAAU,EACb,MAAM,iBAAiB,CAAC;AAOzB,OAAO,EACH,KAAK,kBAAkB,EACvB,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,cAAc,EACnB,KAAK,cAAc,EAGnB,KAAK,WAAW,EAChB,KAAK,iBAAiB,EACtB,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,eAAe,EAElB,MAAM,YAAY,CAAC;AAQpB,YAAY,EAAE,aAAa,EAAE,cAAc,EAAE,cAAc,EAAE,cAAc,EAAE,CAAC;AAC9E,YAAY,EAAE,WAAW,EAAE,iBAAiB,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC;AAOzE;;;GAGG;AACH,wBAAgB,iBAAiB,CAC7B,IAAI,EAAE,UAAU,EAChB,EAAE,EAAE,kBAAkB,EACtB,GAAG,EAAE,eAAe,GACrB,QAAQ,CAAC,IAAI,CAkFf;AAOD,wBAAgB,OAAO,CAAC,MAAM,EAAE,WAAW,EAAE,OAAO,CAAC,EAAE,cAAc,GAAG,aAAa,CAuSpF;AA0ED,wBAAgB,WAAW,CACvB,IAAI,EAAE,UAAU,EAChB,EAAE,EAAE,kBAAkB,EACtB,GAAG,EAAE,eAAe,GACrB,QAAQ,CAAC,aAAa,CAsDxB"}