@scriptc/compiler 0.0.35 → 0.1.1

package/dist/backend/{emission/emit-island.d.ts → c/island.d.ts}

@@ -1,5 +1,5 @@
-import type { CEmitter } from "./emitter.js";
-import { IrType } from "../../ir/nodes.js";
+import type { CEmitter } from "./c-emitter.js";
+import { IrType } from "../../ir/ir.js";
 /** Embedded npm modules (--dynamic): every reached module's SOURCE as a
  * static string plus the resolution edges — the island's module loader
  * and require shim read these tables; binaries never touch node_modules
@@ -14,14 +14,14 @@ import { IrType } from "../../ir/nodes.js";
  * links scr_zlib.c/libz on the same moduleEmbedsCompressedNpm predicate),
  * so boot touches no compressed page a run never loads — cold start
  * SHRINKS with the binary. */
-export declare function emitNpmEmbedding(E: CEmitter, out: string[]): void;
+export declare function emitNpmEmbedding(emitter: CEmitter, out: string[]): void;
 /** The host-call adapter for closures of a given (arity, return kind) —
    * see islandAdapters. `argv` cells are BORROWED by the wrapper; the
    * closure ABI consumes (+1) each param, so the adapter retains them in.
    * A jsval-returning closure's +1 result passes straight through;
    * primitive returns marshal back by value; void closures return NULL
    * (the wrapper turns that into `undefined`). */
-export declare function islandAdapter(E: CEmitter, arity: number, retKind: "void" | "jsval" | "f64" | "bool" | "string"): string;
+export declare function islandAdapter(emitter: CEmitter, arity: number, retKind: "void" | "jsval" | "f64" | "bool" | "string"): string;
 /** The host-call adapter for a closure with TYPED parameters — one per
    * full signature (param typeKeys + return classification), interned like
    * the all-'any' adapters above. On invocation from the engine, each
@@ -40,6 +40,6 @@ export declare function islandAdapter(E: CEmitter, arity: number, retKind: "void
    * returns marshal back like the all-'any' adapters; a Promise return
    * (async callbacks) wraps as an engine promise settled when the scriptc
    * promise settles (scr_jsval_from_promise). */
-export declare function islandTypedAdapter(E: CEmitter, fn: IrType & {
+export declare function islandTypedAdapter(emitter: CEmitter, fn: IrType & {
     kind: "func";
 }): string;

package/dist/backend/{emission/emit-island.js → c/island.js}

@@ -1,11 +1,13 @@
+import { InternalCompilerError } from "../../errors.js";
 /* Island-boundary C emission owned pieces: the embedded npm module/edge
  * tables (--dynamic builds embed every reached npm source; the island's
  * module loader and require shim read them — binaries never touch
  * node_modules at runtime) and the interned host-call adapters that let the
  * engine invoke scriptc closures. */
 import { deflateRawSync } from "node:zlib";
-import { cDecl, cFnPtrCast, cStringLiteral, releaseCallC } from "./emit-types.js";
-import { islandCallbackRet, NPM_COMPRESS_MIN, typeKey } from "../../ir/nodes.js";
+import { cDecl, cFnPtrCast, cStringLiteral, releaseCallC } from "./types.js";
+import { islandCallbackRet, NPM_COMPRESS_MIN, typeKey } from "../../ir/ir.js";
+import { undefinedArmTag } from "../../ir/analysis.js";
 /** Embedded npm modules (--dynamic): every reached module's SOURCE as a
  * static string plus the resolution edges — the island's module loader
  * and require shim read these tables; binaries never touch node_modules
@@ -20,8 +22,8 @@ import { islandCallbackRet, NPM_COMPRESS_MIN, typeKey } from "../../ir/nodes.js"
  * links scr_zlib.c/libz on the same moduleEmbedsCompressedNpm predicate),
  * so boot touches no compressed page a run never loads — cold start
  * SHRINKS with the binary. */
-export function emitNpmEmbedding(E, out) {
-    const embedded = E.mod.embedded;
+export function emitNpmEmbedding(emitter, out) {
+    const embedded = emitter.mod.embedded;
     if (embedded && embedded.modules.length > 0) {
         const emitChunked = (name, bytes, comment) => {
             out.push(`static const char ${name}[] = ${comment !== undefined ? `/* ${comment} */` : ""}`);
@@ -89,14 +91,14 @@ export function emitNpmEmbedding(E, out) {
    * A jsval-returning closure's +1 result passes straight through;
    * primitive returns marshal back by value; void closures return NULL
    * (the wrapper turns that into `undefined`). */
-export function islandAdapter(E, arity, retKind) {
+export function islandAdapter(emitter, arity, retKind) {
     const tag = { void: "v", jsval: "j", f64: "f", bool: "b", string: "s" }[retKind];
     const key = `${arity}:${tag}`;
-    const existing = E.islandAdapters.get(key);
+    const existing = emitter.islandAdapters.get(key);
     if (existing)
         return existing;
     const name = `sc_ia_${arity}${tag}`;
-    E.islandAdapters.set(key, name);
+    emitter.islandAdapters.set(key, name);
     const cRet = { void: "void", jsval: "ScrJsval *", f64: "double", bool: "bool", string: "ScrStr *" }[retKind];
     const params = ["ScrClosure *"].concat(Array(arity).fill("ScrJsval *"));
     const callArgs = ["c", ...Array.from({ length: arity }, (_, i) => `scr_jsval_retain(argv[${i}])`)];
@@ -120,8 +122,8 @@ export function islandAdapter(E, arity, retKind) {
                         `  return r;`,
                     ];
     const sig = `static ScrJsval *${name}(ScrClosure *c, ScrJsval **argv)`;
-    E.walkerProtos.push(`${sig}; /* island host-call adapter (${arity} arg${arity === 1 ? "" : "s"}, ${retKind}) */`);
-    E.walkerDefs.push(`${sig} {`, `  typedef ${cRet} (*Fn)(${params.join(", ")});`, ...(arity === 0 ? [`  (void)argv;`] : []), ...body, `}`);
+    emitter.walkerProtos.push(`${sig}; /* island host-call adapter (${arity} arg${arity === 1 ? "" : "s"}, ${retKind}) */`);
+    emitter.walkerDefs.push(`${sig} {`, `  typedef ${cRet} (*Fn)(${params.join(", ")});`, ...(arity === 0 ? [`  (void)argv;`] : []), ...body, `}`);
     return name;
 }
 /** The host-call adapter for a closure with TYPED parameters — one per
@@ -142,16 +144,16 @@ export function islandAdapter(E, arity, retKind) {
    * returns marshal back like the all-'any' adapters; a Promise return
    * (async callbacks) wraps as an engine promise settled when the scriptc
    * promise settles (scr_jsval_from_promise). */
-export function islandTypedAdapter(E, fn) {
-    const ret = islandCallbackRet(fn.ret, (id) => E.recordsById.get(id), (id) => E.unionsById.get(id));
+export function islandTypedAdapter(emitter, fn) {
+    const ret = islandCallbackRet(fn.ret, (id) => emitter.recordsById.get(id), (id) => emitter.unionsById.get(id));
     if (!ret)
-        throw new Error("emitter bug: typed island adapter with unsupported return");
+        throw new InternalCompilerError("emitter bug: typed island adapter with unsupported return");
     const key = `${fn.params.map((p) => typeKey(p)).join(",")}=>${ret.async ? "P:" : ""}${ret.tag}`;
-    const existing = E.islandTypedAdapters.get(key);
+    const existing = emitter.islandTypedAdapters.get(key);
     if (existing)
         return existing;
-    const name = `sc_ita_${E.islandTypedAdapters.size}`;
-    E.islandTypedAdapters.set(key, name);
+    const name = `sc_ita_${emitter.islandTypedAdapters.size}`;
+    emitter.islandTypedAdapters.set(key, name);
     const decls = [];
     const conv = [];
     const cleanup = [];
@@ -184,7 +186,7 @@ export function islandTypedAdapter(E, fn) {
                 // Composite (record/array/union): the jsExit pipeline — engine
                 // JSON.stringify, json.parse, the interned dynCheck builder.
                 canFail = true;
-                const utag = E.undefinedArmTag(p);
+                const utag = undefinedArmTag(p, emitter.unionsById);
                 decls.push(`  ${cDecl(p, a)} = NULL;`);
                 const roundTrip = [
                     `    ScrStr *sc_j = scr_jsval_to_json(argv[${i}]);`,
@@ -192,12 +194,12 @@ export function islandTypedAdapter(E, fn) {
                     `    ScrDyn *sc_d = scr_json_parse(sc_j);`,
                     `    scr_str_release(sc_j);`,
                     `    if (!sc_d) goto sc_convfail;`,
-                    `    ${a} = ${E.dynCheckHelper(p)}(sc_d, NULL);`,
+                    `    ${a} = ${emitter.dynCheckHelper(p)}(sc_d, NULL);`,
                     `    scr_dyn_release(sc_d);`,
                     `    if (scr_exc_pending()) goto sc_convfail;`,
                 ];
                 if (p.kind === "union" && utag >= 0) {
-                    conv.push(`  if (scr_jsval_is_undefined(argv[${i}])) {`, `    ${a} = ${E.unitInstanceRef(p.unionId, utag)}; /* absent/undefined argument -> the undefined arm */`, `  } else {`, ...roundTrip, `  }`);
+                    conv.push(`  if (scr_jsval_is_undefined(argv[${i}])) {`, `    ${a} = ${emitter.unitInstanceRef(p.unionId, utag)}; /* absent/undefined argument -> the undefined arm */`, `  } else {`, ...roundTrip, `  }`);
                 }
                 else {
                     conv.push(`  {`, ...roundTrip, `  }`);
@@ -254,7 +256,7 @@ export function islandTypedAdapter(E, fn) {
                 // type-directed serializer, then the engine's JSON parser (deep
                 // copy; the documented aliasing divergence). NULL result is the
                 // throw-path dummy.
-                const helper = E.jsonWriteHelper(fn.ret);
+                const helper = emitter.jsonWriteHelper(fn.ret);
                 body.push(`  ${cDecl(fn.ret, "sc_rv")} = ${call};`, `  if (scr_exc_pending()) { ${releaseCallC(fn.ret, "sc_rv")}; return NULL; }`, `  ScrJsonBuf sc_jb; scr_jb_init(&sc_jb);`, `  ${helper}(&sc_jb, sc_rv);`, `  ${releaseCallC(fn.ret, "sc_rv")};`, `  ScrStr *sc_rj = scr_jb_finish(&sc_jb);`, `  ScrJsval *sc_r = scr_jsval_from_json(sc_rj);`, `  scr_str_release(sc_rj);`, `  return sc_r;`);
                 break;
             }
@@ -272,8 +274,8 @@ export function islandTypedAdapter(E, fn) {
         ]
         : [];
     const sig = `static ScrJsval *${name}(ScrClosure *c, ScrJsval **argv)`;
-    E.walkerProtos.push(`${sig}; /* typed island host-call adapter: ${key} */`);
-    E.walkerDefs.push(`${sig} { /* ${key} */`, ...(fn.params.length === 0 ? [`  (void)argv;`] : []), ...decls, ...conv, ...body, ...fail, `}`, ``);
+    emitter.walkerProtos.push(`${sig}; /* typed island host-call adapter: ${key} */`);
+    emitter.walkerDefs.push(`${sig} { /* ${key} */`, ...(fn.params.length === 0 ? [`  (void)argv;`] : []), ...decls, ...conv, ...body, ...fail, `}`, ``);
     return name;
 }
-//# sourceMappingURL=emit-island.js.map
+//# sourceMappingURL=island.js.map

package/dist/backend/c/island.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"island.js","sourceRoot":"","sources":["../../../src/backend/c/island.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD;;;;qCAIqC;AACrC,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAE3C,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC7E,OAAO,EAAU,iBAAiB,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACtF,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD;;;;;;;;;;;;;8BAa8B;AAC9B,MAAM,UAAU,gBAAgB,CAAC,OAAiB,EAAE,GAAa;IAC/D,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;IACtC,IAAI,QAAQ,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5C,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,OAAgB,EAAQ,EAAE;YAC1E,GAAG,CAAC,IAAI,CAAC,qBAAqB,IAAI,QAAQ,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC7F,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,KAAK,CAAC,MAAM,EAAE,GAAG,IAAI,IAAI,EAAE,CAAC;gBAClD,MAAM,IAAI,GAAG,GAAG,GAAG,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC;gBACxC,GAAG,CAAC,IAAI,CAAC,OAAO,cAAc,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACvF,CAAC;YACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC9C,CAAC,CAAC;QACF,mEAAmE;QACnE,sEAAsE;QACtE,MAAM,KAAK,GAAG,CAAC,IAAY,EAAkC,EAAE;YAC7D,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACxC,IAAI,IAAI,CAAC,MAAM,GAAG,gBAAgB;gBAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;YACpE,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;YACrD,OAAO,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM;gBACnC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE;gBACxC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QAC/B,CAAC,CAAC;QACF,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC1C,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;YACpB,GAAG,EAAE,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI;SAC/C,CAAC,CAAC,CAAC;QACJ,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,MAAM,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC;YAC/B,WAAW,CAAC,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;YACjF,mEAAmE;YACnE,iEAAiE;YACjE,mEAAmE;YACnE,YAAY;YACZ,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI;gBAAE,WAAW,CAAC,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAClE,CAAC,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAW,CAAC;QACjD,GAAG,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;QAC9D,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,MAAM,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC;YAC/B,MAAM,MAAM,GACV,CAAC,CAAC,GAAG,KAAK,IAAI;gBACZ,CAAC,CAAC,cAAc,CAAC,uBAAuB,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE;gBAC7D,CAAC,CAAC,YAAY,CAAC;YACnB,GAAG,CAAC,IAAI,CACN,OAAO,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,gBAAgB,CAAC,IAAI;gBACpE,qBAAqB,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,MAAM,KAAK,CAC7E,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACf,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,qEAAqE;YACrE,qEAAqE;YACrE,yBAAyB;YACzB,MAAM,MAAM,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAW,CAAC;YAC1D,GAAG,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;YAC1D,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;gBAC/B,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;gBAChE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpF,CAAC;YACD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;;kDAKkD;AAChD,MAAM,UAAU,aAAa,CAAC,OAAiB,EAAE,KAAa,EAAE,OAAqD;IACnH,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC;IACjF,MAAM,GAAG,GAAG,GAAG,KAAK,IAAI,GAAG,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACjD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,SAAS,KAAK,GAAG,GAAG,EAAE,CAAC;IACpC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,OAAO,CAAC,CAAC;IAC7G,MAAM,MAAM,GAAG,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,KAAK,CAAS,KAAK,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;IAChF,MAAM,QAAQ,GAAG,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC;IACnG,MAAM,IAAI,GAAG,eAAe,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACnD,MAAM,IAAI,GACR,OAAO,KAAK,MAAM;QAChB,CAAC,CAAC,CAAC,KAAK,IAAI,GAAG,EAAE,gBAAgB,CAAC;QAClC,CAAC,CAAC,OAAO,KAAK,OAAO;YACnB,CAAC,CAAC,CAAC,YAAY,IAAI,GAAG,CAAC;YACvB,CAAC,CAAC,OAAO,KAAK,KAAK;gBACjB,CAAC,CAAC,CAAC,+BAA+B,IAAI,IAAI,CAAC;gBAC3C,CAAC,CAAC,OAAO,KAAK,MAAM;oBAClB,CAAC,CAAC,CAAC,gCAAgC,IAAI,IAAI,CAAC;oBAC5C,CAAC,CAAC;wBACE,sDAAsD;wBACtD,sDAAsD;wBACtD,4CAA4C;wBAC5C,iBAAiB,IAAI,GAAG;wBACxB,wBAAwB;wBACxB,wCAAwC;wBACxC,uBAAuB;wBACvB,aAAa;qBACd,CAAC;IACd,MAAM,GAAG,GAAG,oBAAoB,IAAI,kCAAkC,CAAC;IACvE,OAAO,CAAC,YAAY,CAAC,IAAI,CACvB,GAAG,GAAG,kCAAkC,KAAK,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,OAAO,MAAM,CAC7F,CAAC;IACF,OAAO,CAAC,UAAU,CAAC,IAAI,CACrB,GAAG,GAAG,IAAI,EACV,aAAa,IAAI,UAAU,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAChD,GAAG,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EACzC,GAAG,IAAI,EACP,GAAG,CACJ,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC;AAEH;;;;;;;;;;;;;;;;;iDAiBiD;AAC/C,MAAM,UAAU,kBAAkB,CAAC,OAAiB,EAAE,EAA6B;IACjF,MAAM,GAAG,GAAG,iBAAiB,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/G,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,qBAAqB,CAAC,2DAA2D,CAAC,CAAC;IACvG,MAAM,GAAG,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,CAAC;IAChG,MAAM,QAAQ,GAAG,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACtD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,UAAU,OAAO,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAC;IAC1D,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACzB,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC;QACrB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,OAAO;gBACV,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;gBACvC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,4BAA4B,CAAC,KAAK,CAAC,CAAC;gBACpD,OAAO,CAAC,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;gBAC3C,MAAM;YACR,KAAK,KAAK;gBACR,OAAO,GAAG,IAAI,CAAC;gBACf,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;gBACjC,IAAI,CAAC,IAAI,CAAC,kCAAkC,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;gBAC7E,MAAM;YACR,KAAK,MAAM;gBACT,OAAO,GAAG,IAAI,CAAC;gBACf,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;gBACnC,IAAI,CAAC,IAAI,CAAC,mCAAmC,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;gBAC9E,MAAM;YACR,KAAK,QAAQ;gBACX,OAAO,GAAG,IAAI,CAAC;gBACf,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;gBACrC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,8BAA8B,CAAC,KAAK,EAAE,UAAU,CAAC,qBAAqB,CAAC,CAAC;gBACxF,OAAO,CAAC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;gBACzC,MAAM;YACR,OAAO,CAAC,CAAC,CAAC;gBACR,+DAA+D;gBAC/D,6DAA6D;gBAC7D,OAAO,GAAG,IAAI,CAAC;gBACf,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;gBACpD,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;gBACvC,MAAM,SAAS,GAAG;oBAChB,6CAA6C,CAAC,KAAK;oBACnD,kCAAkC;oBAClC,0CAA0C;oBAC1C,4BAA4B;oBAC5B,kCAAkC;oBAClC,OAAO,CAAC,MAAM,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,eAAe;oBACtD,4BAA4B;oBAC5B,8CAA8C;iBAC/C,CAAC;gBACF,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;oBACpC,IAAI,CAAC,IAAI,CACP,qCAAqC,CAAC,OAAO,EAC7C,OAAO,CAAC,MAAM,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,wDAAwD,EAC9G,YAAY,EACZ,GAAG,SAAS,EACZ,KAAK,CACN,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,SAAS,EAAE,KAAK,CAAC,CAAC;gBACxC,CAAC;gBACD,OAAO,CAAC,IAAI,CAAC,KAAK,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACrG,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QACd,qEAAqE;QACrE,qEAAqE;QACrE,mEAAmE;QACnE,sDAAsD;QACtD,MAAM,IAAI,GAAG;YACX,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,eAAe;YACjE,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,gBAAgB;YAC/C,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,2DAA2D;SAC/E,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACX,IAAI,CAAC,IAAI,CACP,wBAAwB,IAAI,GAAG,EAC/B,2BAA2B,EAC3B,yCAAyC,IAAI,IAAI,CAClD,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,QAAQ,GAAG,CAAC,GAAG,EAAE,CAAC;YAChB,KAAK,MAAM;gBACT,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,GAAG,EAAE,gBAAgB,CAAC,CAAC;gBAC1C,MAAM;YACR,KAAK,OAAO;gBACV,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,GAAG,CAAC,CAAC;gBAC/B,MAAM;YACR,KAAK,KAAK;gBACR,IAAI,CAAC,IAAI,CAAC,+BAA+B,IAAI,IAAI,CAAC,CAAC;gBACnD,MAAM;YACR,KAAK,MAAM;gBACT,IAAI,CAAC,IAAI,CAAC,gCAAgC,IAAI,IAAI,CAAC,CAAC;gBACpD,MAAM;YACR,KAAK,QAAQ;gBACX,IAAI,CAAC,IAAI;gBACP,8DAA8D;gBAC9D,yDAAyD;gBACzD,aAAa;gBACb,oBAAoB,IAAI,GAAG,EAC3B,2BAA2B,EAC3B,8CAA8C,EAC9C,0BAA0B,EAC1B,gBAAgB,CACjB,CAAC;gBACF,MAAM;YACR,KAAK,KAAK;gBACR,IAAI,CAAC,IAAI;gBACP,wDAAwD;gBACxD,0DAA0D;gBAC1D,6DAA6D;gBAC7D,kBAAkB;gBAClB,oBAAoB,IAAI,GAAG,EAC3B,2BAA2B,EAC3B,8CAA8C,EAC9C,0BAA0B,EAC1B,gBAAgB,CACjB,CAAC;gBACF,MAAM;YACR,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,yDAAyD;gBACzD,gEAAgE;gBAChE,gEAAgE;gBAChE,oBAAoB;gBACpB,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;gBAC/C,IAAI,CAAC,IAAI,CACP,KAAK,KAAK,CAAC,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC,MAAM,IAAI,GAAG,EACxC,8BAA8B,YAAY,CAAC,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC,kBAAkB,EAC7E,0CAA0C,EAC1C,KAAK,MAAM,kBAAkB,EAC7B,KAAK,YAAY,CAAC,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,EACrC,0CAA0C,EAC1C,gDAAgD,EAChD,2BAA2B,EAC3B,gBAAgB,CACjB,CAAC;gBACF,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,OAAO;QAClB,CAAC,CAAC;YACE,cAAc;YACd,iEAAiE;YACjE,+DAA+D;YAC/D,6DAA6D;YAC7D,kCAAkC;YAClC,GAAG,OAAO;YACV,gBAAgB;SACjB;QACH,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,GAAG,GAAG,oBAAoB,IAAI,kCAAkC,CAAC;IACvE,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,GAAG,wCAAwC,GAAG,KAAK,CAAC,CAAC;IAClF,OAAO,CAAC,UAAU,CAAC,IAAI,CACrB,GAAG,GAAG,SAAS,GAAG,KAAK,EACvB,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EACpD,GAAG,KAAK,EACR,GAAG,IAAI,EACP,GAAG,IAAI,EACP,GAAG,IAAI,EACP,GAAG,EACH,EAAE,CACH,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/backend/{emission → c}/may-throw.d.ts

@@ -1,4 +1,4 @@
-import type { IrModule } from "../../ir/nodes.js";
+import type { IrModule } from "../../ir/ir.js";
 /** Cheap may-throw analysis (cost discipline: functions that transitively
  * CANNOT throw pay for no pending-exception checks). A function may throw
  * iff it contains a `throw`, calls a may-throw function (direct `call` or

package/dist/backend/{emission → c}/may-throw.js

@@ -1,4 +1,4 @@
-import { isFfiCallbackParam, MAY_THROW_ARR_METHODS, MAY_THROW_BYTES_METHODS, MAY_THROW_LIB_FNS } from "../../ir/nodes.js";
+import { isFfiCallbackParam, MAY_THROW_ARR_METHODS, MAY_THROW_BYTES_METHODS, MAY_THROW_LIB_FNS } from "../../ir/ir.js";
 import { hasRetainedFfiCallback } from "../ffi-callbacks.js";
 /** Cheap may-throw analysis (cost discipline: functions that transitively
  * CANNOT throw pay for no pending-exception checks). A function may throw
@@ -195,6 +195,9 @@ export function computeMayThrow(mod) {
                         f.throws = true;
                     }
                     break;
+                case "arraySetLength":
+                    f.throws = true;
+                    break;
                 case "regexIntrinsic":
                     // replaceAll and matchAll without /g throw Node's TypeError;
                     // split throws on a pattern with capture groups — all catchable.

package/dist/backend/c/may-throw.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"may-throw.js","sourceRoot":"","sources":["../../../src/backend/c/may-throw.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACvH,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAE7D;;;;;;;;;+EAS+E;AAC/E,MAAM,UAAU,eAAe,CAAC,GAAa;IAM3C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAiB,CAAC;IACvC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,uEAAuE;IACvE,+DAA+D;IAC/D,IAAI,iBAAiB,GAAG,KAAK,CAAC;IAC9B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACtF,mEAAmE;IACnE,sEAAsE;IACtE,uEAAuE;IACvE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACxF,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAChC,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC;SACnB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;SACxD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAC9B,CAAC;IACF,MAAM,2BAA2B,GAAG,sBAAsB,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;IACjF,0EAA0E;IAC1E,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YAClC,IAAI,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,CAAC,IAAI;gBAAE,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;YAC3C,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAU,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;QACnE,qEAAqE;QACrE,yDAAyD;QACzD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACxE,wEAAwE;QACxE,mEAAmE;QACnE,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;YACpC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxB,KAAK,MAAM,IAAI,IAAI,IAAI;oBAAE,KAAK,CAAC,IAAI,CAAC,CAAC;gBACrC,OAAO;YACT,CAAC;YACD,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;gBAAE,OAAO;YACtD,MAAM,GAAG,GAAG,IAA+B,CAAC;YAC5C,QAAQ,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACpB,KAAK,OAAO,CAAC;gBACb,KAAK,SAAS,CAAC;gBACf,gEAAgE;gBAChE,KAAK,cAAc;oBACjB,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,QAAQ;oBACX,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAW,CAAC;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAC7E,MAAM;gBACR,KAAK,UAAU,CAAC;gBAChB,KAAK,aAAa;oBAChB,4DAA4D;oBAC5D,yDAAyD;oBACzD,gEAAgE;oBAChE,yDAAyD;oBACzD,iEAAiE;oBACjE,8DAA8D;oBAC9D,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,IAAK,GAAG,CAAC,MAAM,CAAmC,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;wBACpE,iBAAiB,GAAG,IAAI,CAAC;oBAC3B,CAAC;oBACD,MAAM;gBACR,KAAK,aAAa;oBAChB,8DAA8D;oBAC9D,2DAA2D;oBAC3D,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,IAAI;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAC9C,MAAM;gBACR,KAAK,SAAS,CAAC;gBACf,6DAA6D;gBAC7D,+DAA+D;gBAC/D,KAAK,WAAW;oBACd,2DAA2D;oBAC3D,wDAAwD;oBACxD,6DAA6D;oBAC7D,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,WAAW;oBACd,4DAA4D;oBAC5D,0DAA0D;oBAC1D,yDAAyD;oBACzD,qCAAqC;oBACrC,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,eAAe,CAAC;gBACrB,KAAK,UAAU;oBACb,0DAA0D;oBAC1D,wBAAwB;oBACxB,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,WAAW,CAAC;gBACjB,KAAK,gBAAgB;oBACnB,0DAA0D;oBAC1D,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,WAAW;oBACd,+DAA+D;oBAC/D,kEAAkE;oBAClE,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,cAAc;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBACpD,MAAM;gBACR,KAAK,WAAW;oBACd,6DAA6D;oBAC7D,0CAA0C;oBAC1C,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,WAAW;oBACd,wDAAwD;oBACxD,4DAA4D;oBAC5D,wCAAwC;oBACxC,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,cAAc,CAAC,CAAC,CAAC;oBACpB,iEAAiE;oBACjE,8DAA8D;oBAC9D,6DAA6D;oBAC7D,4DAA4D;oBAC5D,mDAAmD;oBACnD,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;oBACvE,IACE,GAAG,CAAC,cAAc,CAAC,KAAK,IAAI;wBAC5B,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAC5F,CAAC;wBACD,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAClB,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD,KAAK,eAAe,CAAC,CAAC,CAAC;oBACrB,8DAA8D;oBAC9D,+DAA+D;oBAC/D,gEAAgE;oBAChE,8DAA8D;oBAC9D,4DAA4D;oBAC5D,QAAQ;oBACR,MAAM,EAAE,GAAI,GAAG,CAAC,OAAO,CAAkC,CAAC,IAAI,EAAE,IAAI,CAAC;oBACrE,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,OAAO,IAAI,EAAE,KAAK,OAAO;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBACzF,MAAM;gBACR,CAAC;gBACD,KAAK,MAAM,CAAC;gBACZ,KAAK,QAAQ,CAAC;gBACd,KAAK,WAAW,CAAC;gBACjB,KAAK,iBAAiB;oBACpB,2DAA2D;oBAC3D,4DAA4D;oBAC5D,+CAA+C;oBAC/C,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,SAAS;oBACZ,yDAAyD;oBACzD,sDAAsD;oBACtD,IAAI,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAY,CAAC;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBACjE,MAAM;gBACR,KAAK,SAAS;oBACZ,kEAAkE;oBAClE,gEAAgE;oBAChE,8DAA8D;oBAC9D,IACE,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAW,CAAC;wBAC/C,2BAA2B;wBAC3B,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAClB,MAAM;gBACR,KAAK,UAAU,CAAC,CAAC,CAAC;oBAChB,6DAA6D;oBAC7D,6DAA6D;oBAC7D,uBAAuB;oBACvB,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAwC,CAAC;oBACpE,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,EAAE,IAAI,KAAK,KAAK;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAC3D,MAAM;gBACR,CAAC;gBACD,KAAK,gBAAgB;oBACnB,8DAA8D;oBAC9D,2DAA2D;oBAC3D,eAAe;oBACf,IAAI,uBAAuB,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAA2B,CAAC,EAAE,CAAC;wBACzE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAClB,CAAC;oBACD,MAAM;gBACR,KAAK,cAAc;oBACjB,IAAI,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAyB,CAAC,EAAE,CAAC;wBACrE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAClB,CAAC;oBACD,MAAM;gBACR,KAAK,gBAAgB;oBACnB,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,gBAAgB;oBACnB,6DAA6D;oBAC7D,iEAAiE;oBACjE,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,YAAY,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,OAAO,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,UAAU,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,cAAc,EAAE,CAAC;wBACpI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAClB,CAAC;oBACD,MAAM;gBACR,KAAK,MAAM,CAAC,CAAC,CAAC;oBACZ,6DAA6D;oBAC7D,6DAA6D;oBAC7D,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAW,CAAC;oBACvC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;wBAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBACzE,MAAM;gBACR,CAAC;gBACD,KAAK,KAAK;oBACR,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,WAAW,CAAW,cAAc,CAAC,CAAC;oBAC7D,MAAM;gBACR,KAAK,UAAU,CAAC,CAAC,CAAC;oBAChB,gEAAgE;oBAChE,6DAA6D;oBAC7D,wDAAwD;oBACxD,4CAA4C;oBAC5C,MAAM,GAAG,GAAG,CAAE,GAAG,CAAC,QAAQ,CAAuC,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;oBACnF,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;wBACtB,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAW,EAAE;4BACzC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gCAC1H,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG;oCAAE,OAAO,IAAI,CAAC;gCAChC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;oCAAE,MAAM;4BAClC,CAAC;4BACD,OAAO,KAAK,CAAC;wBACf,CAAC,CAAC;wBACF,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;4BAClC,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;gCAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC;wBACjE,CAAC;oBACH,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD,KAAK,aAAa,CAAC,CAAC,CAAC;oBACnB,gEAAgE;oBAChE,iEAAiE;oBACjE,oDAAoD;oBACpD,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAW,CAAC,CAAC;oBACvD,IAAI,KAAK;wBAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;oBACpC,MAAM;gBACR,CAAC;gBACD,KAAK,WAAW;oBACd,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC;oBACpB,MAAM;gBACR,KAAK,SAAS;oBACZ,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAW,CAAC,CAAC;oBAC5C,MAAM;YACV,CAAC;YACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnC,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,MAAM;oBAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YACvD,CAAC;QACH,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACf,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACxB,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK;QAAE,IAAI,CAAC,CAAC,MAAM;YAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,QAAQ,GACV,iBAAiB;QACjB,CAAC,GAAG,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACpF,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,OAAO,EAAE,CAAC;QACf,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC;YAC9B,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC5B,IAAI,CAAC,CAAC,CAAC,UAAU,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACd,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;QACD,IAAI,CAAC,QAAQ,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACnG,QAAQ,GAAG,IAAI,CAAC;YAChB,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AAChC,CAAC"}

package/dist/backend/{emission/emit-shapes.d.ts → c/shapes.d.ts}

@@ -1,6 +1,6 @@
-import type { CEmitter } from "./emitter.js";
-import type { IrFunction } from "../../ir/nodes.js";
-import { IrClassDef, IrType } from "../../ir/nodes.js";
+import type { CEmitter } from "./c-emitter.js";
+import type { IrFunction } from "../../ir/ir.js";
+import { IrClassDef, IrType } from "../../ir/ir.js";
 /** The overflow map's C member name on index-signature record structs.
  * User fields mangle to `sc_fld_*`, so no field can collide. */
 export declare const OVERFLOW_MEMBER = "sc_ovf";
@@ -46,28 +46,28 @@ export interface ClassMeta {
    * exactly the other refcounted fields (the trace/teardown complement
    * contract in scr_runtime.h) — and their retain/release feed the
    * candidate-root buffer. Acyclic shapes keep the lean 1-word header. */
-export declare function emitStructDefs(E: CEmitter, out: string[]): void;
+export declare function emitStructDefs(emitter: CEmitter, out: string[]): void;
 /** The root's slot list as seen by one class: the implementation the
    * class dispatches to, or null outside the slot's declaring subtree (a
    * call through this class's vtable can never reach that slot). An
    * ABSTRACT class whose chain holds only abstract declarations of the
    * slot also answers null — the class never instantiates (tsc), so its
    * own vtable entry can never dispatch. */
-export declare function vtEntriesFor(E: CEmitter, meta: ClassMeta): {
+export declare function vtEntriesFor(emitter: CEmitter, meta: ClassMeta): {
     slot: VtSlot;
     impl: ClassMeta | null;
 }[];
 /** The C parameter list of a slot (declaring-class `this` first). */
-export declare function vtSlotParams(E: CEmitter, slot: VtSlot, named: boolean): string[];
+export declare function vtSlotParams(emitter: CEmitter, slot: VtSlot, named: boolean): string[];
 /** Vtable struct typedefs + adapter prototypes (the definitions call
    * function bodies, so they flush after the signature block — see emit). */
-export declare function emitVtableDecls(E: CEmitter, out: string[], hierarchyClasses: ClassMeta[]): void;
+export declare function emitVtableDecls(emitter: CEmitter, out: string[], hierarchyClasses: ClassMeta[]): void;
 /** One static const vtable per hierarchy class: interval, direct
    * release, and the class's dispatch entry for every slot. */
-export declare function emitVtableInstances(E: CEmitter, out: string[], hierarchyClasses: ClassMeta[]): void;
+export declare function emitVtableInstances(emitter: CEmitter, out: string[], hierarchyClasses: ClassMeta[]): void;
 /** Adapter definitions (flushed after the signature block): the impl
    * class's method behind the slot's declaring-class signature. */
-export declare function emitVtAdapterDefs(E: CEmitter, out: string[]): void;
+export declare function emitVtAdapterDefs(emitter: CEmitter, out: string[]): void;
 /** RC helpers of one hierarchy class. Retain is layout-generic (rc sits
    * at offset 0 in every subclass); the PUBLIC release dispatches through
    * the object's vtable so a base-typed release tears down the derived
@@ -75,7 +75,7 @@ export declare function emitVtAdapterDefs(E: CEmitter, out: string[]): void;
    * teardown. Cycle capability is hierarchy-uniform (constructor fixpoint),
    * and the cycle header's trace/teardown are stamped with the concrete
    * class's functions at allocation — the collector needs no vtable. */
-export declare function emitHierarchyClassHelpers(E: CEmitter, out: string[], meta: ClassMeta, s: {
+export declare function emitHierarchyClassHelpers(emitter: CEmitter, out: string[], meta: ClassMeta, s: {
     struct: string;
     newFn: string;
     retain: string;
@@ -94,7 +94,7 @@ export declare function emitHierarchyClassHelpers(E: CEmitter, out: string[], me
    * (definitions land later with the other synthesized bodies —
    * emitCtorThunkDefs). The interval constants are the same numbering the
    * vtables carry, so instanceOfValue agrees with compiled instanceOf. */
-export declare function emitClassObjs(E: CEmitter, out: string[]): void;
+export declare function emitClassObjs(emitter: CEmitter, out: string[]): void;
 /** Construct-thunk definitions (`void *sc_ct_C(args…)`): allocate, run
    * the constructor over a +1 `this` like the inline `new` emission, and
    * hand the remaining +1 out as `void *` — the one well-defined
@@ -103,30 +103,30 @@ export declare function emitClassObjs(E: CEmitter, out: string[]): void;
    * constructor leaves the pending flag set: the thunk releases the
    * half-built object and returns NULL (a dummy the checked call site
    * never reads). */
-export declare function emitCtorThunkDefs(E: CEmitter, out: string[]): void;
+export declare function emitCtorThunkDefs(emitter: CEmitter, out: string[]): void;
 /** main()'s stamping of the runtime error vtables: preorder intervals
    * from THIS module's numbering, plus the traced-mode switch when the
    * cycle fixpoint marked the Error hierarchy (a user subclass holds
    * cycle-capable fields — capability is hierarchy-uniform, so the
    * runtime's own allocations need collector headers too). Empty for
    * hand-written IR without the builtin defs. */
-export declare function errorVtStampLines(E: CEmitter): string[];
+export declare function errorVtStampLines(emitter: CEmitter): string[];
 /** main()'s stamping of the runtime emitter vtable: its preorder
    * interval from THIS module's numbering (the errorVtStampLines story).
    * Empty when the program never touches the emitter surface — the class
    * def only rides modules that reference it. */
-export declare function emitterVtStampLines(E: CEmitter): string[];
+export declare function emitterVtStampLines(emitter: CEmitter): string[];
 /** main()'s stamping of the runtime stream vtables (Readable/Writable/
    * Duplex/Transform/PassThrough) — the emitterVtStampLines story: each
    * def rides the module only when the program touches the stream
    * surface, and instanceof needs their preorder intervals under the
    * emitter root. */
-export declare function streamVtStampLines(E: CEmitter): string[];
+export declare function streamVtStampLines(emitter: CEmitter): string[];
 /** The trace entry point symbol for a payload/field type, or null when
    * the type cannot participate in a cycle (see the constructor fixpoint). */
-export declare function traceAdapterC(E: CEmitter, t: IrType): string | null;
+export declare function traceAdapterC(emitter: CEmitter, t: IrType): string | null;
 /** `&<trace>` or `NULL` — the trace argument at a container call site. */
-export declare function traceArgC(E: CEmitter, t: IrType): string;
+export declare function traceArgC(emitter: CEmitter, t: IrType): string;
 /** Array construction expression for one element type. Ref elements
    * (records, class instances, unions — and cycle-capable inner arrays,
    * whose SCR_ELEM_ARR spelling would hide them from the outer array's
@@ -135,8 +135,8 @@ export declare function traceArgC(E: CEmitter, t: IrType): string;
    * allocates with the collector header exactly when the element type
    * carries one (trace non-NULL). Every other element kind keeps the
    * historic scr_arr_new call. */
-export declare function arrNewC(E: CEmitter, elem: IrType, capExpr: string | number): string;
+export declare function arrNewC(emitter: CEmitter, elem: IrType, capExpr: string | number): string;
 /** Box construction expression — object/record/union/promise boxes carry
    * their RC entry points (and the payload's trace) as function pointers
    * (the SCR_BOX_OBJ mechanism: the runtime can't know per-shape layouts). */
-export declare function boxNewC(E: CEmitter, t: IrType): string;
+export declare function boxNewC(emitter: CEmitter, t: IrType): string;