@scriptc/compiler 0.0.35 → 0.1.1

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

@@ -1,14 +1,10 @@
-import type { CEmitter } from "./emitter.js";
-import { IrType } from "../../ir/nodes.js";
-/** Short human description of a dynCheck target for error messages
-   * ("expected number | string at $.items[2]"). Records read as "object" —
-   * the path already says where; the full shape would bloat messages. */
-export declare function dynDesc(E: CEmitter, t: IrType): string;
+import type { CEmitter } from "./c-emitter.js";
+import { IrType } from "../../ir/ir.js";
 /** The per-union ToBoolean helper (interned per unionId): switch on the
    * runtime tag — unit arms false, f64 arms 0/NaN-falsy, string arms
    * empty-falsy, bool arms by payload, ref arms always true (JS objects),
    * jsval arms answered by the engine. Borrows the operand. */
-export declare function unionTruthyHelper(E: CEmitter, unionId: string): string;
+export declare function unionTruthyHelper(emitter: CEmitter, unionId: string): string;
 /** The per-union strict-equality helper (interned per unionId, with a
    * separate SameValue variant per unionId when Object.is reaches it):
    * different tags are never equal; equal tags compare the arm values —
@@ -16,14 +12,14 @@ export declare function unionTruthyHelper(E: CEmitter, unionId: string): string;
    * (NaN equals NaN, +0 differs from -0) under the sameValue flag,
    * strings by bytes, bools by value, ref arms by POINTER identity (JS
    * object equality). Borrows both operands. */
-export declare function unionEqHelper(E: CEmitter, unionId: string, sameValue: boolean): string;
+export declare function unionEqHelper(emitter: CEmitter, unionId: string, sameValue: boolean): string;
 /** The per-union ToString helper (interned per unionId): switch on the
    * runtime tag — unit arms return the interned "undefined"/"null" texts,
    * string arms retain the payload, f64/bool arms go through the JS-exact
    * formatters (String(x) semantics). Ref arms never arrive (the frontend
    * fences unions with object arms from string conversion — JS would print
    * "[object Object]"). Borrows the operand; the result is owned (+1). */
-export declare function unionToStrHelper(E: CEmitter, unionId: string): string;
+export declare function unionToStrHelper(emitter: CEmitter, unionId: string): string;
 /** The per-union array-join helper (interned per unionId): Array.prototype
    * .join over union elements — undefined/null arms print EMPTY (exactly
    * JS's join, which silences only the nullish elements), every other arm
@@ -31,7 +27,7 @@ export declare function unionToStrHelper(E: CEmitter, unionId: string): string;
    * f64/bool via the JS-exact formatters). The frontend admits only unions
    * of f64/string/bool/unit arms here. Borrows the array and separator;
    * the result is owned (+1). */
-export declare function unionJoinHelper(E: CEmitter, unionId: string): string;
+export declare function unionJoinHelper(emitter: CEmitter, unionId: string): string;
 /** The dyn ToString helper pair (interned once, type-independent):
    * Node's String() over a dyn value — "undefined"/"null" texts, bools,
    * JS-exact number formatting (NaN/Infinity spelled out — NOT the JSON
@@ -39,7 +35,7 @@ export declare function unionJoinHelper(E: CEmitter, unionId: string): string;
    * with ","; null/undefined ELEMENTS print empty, nested arrays flatten
    * through the recursion — JS-exact), plain objects as
    * "[object Object]". The operand is borrowed; the result is owned (+1). */
-export declare function dynToStrHelper(E: CEmitter): string;
+export declare function dynToStrHelper(emitter: CEmitter): string;
 /** The caught→dyn converter (interned once, type-independent): a catch
    * binding flowing into an `unknown` slot — the typed→unknown deep-copy
    * stance over the exception snapshot's runtime kind. Scalar payloads
@@ -50,7 +46,7 @@ export declare function dynToStrHelper(E: CEmitter): string;
    * closures, unions — and non-Error hierarchy objects, type-erased at
    * runtime) becomes an EMPTY dyn object (SEMANTICS.md 67). Borrows the
    * snapshot; the result is a fresh tree (+1). Never throws. */
-export declare function caughtToDynHelper(E: CEmitter): string;
+export declare function caughtToDynHelper(emitter: CEmitter): string;
 /** The pretty-print re-indenter (interned once, type-independent):
    * `JSON.stringify(v, null, space)` output as a REWRITE of the compact
    * serializer text — Node's gap algorithm exactly. Structural '{'/'[' open
@@ -61,14 +57,14 @@ export declare function caughtToDynHelper(E: CEmitter): string;
    * commas, and colons inside JSON strings untouched. Compact input is
    * BORROWED; the result is a fresh string (+1). An empty indent (space 0,
    * "", null) never reaches here — the frontend drops the property. */
-export declare function jsonIndentHelper(E: CEmitter): string;
-export declare function jsonWriteHelper(E: CEmitter, t: IrType): string;
+export declare function jsonIndentHelper(emitter: CEmitter): string;
+export declare function jsonWriteHelper(emitter: CEmitter, t: IrType): string;
 /** The emitted match predicate for one dynCheck target type:
    * `static bool sc_dm_<n>(const ScrDyn *d)` — does this dyn fit T?
    * Never throws, builds nothing; union builders use it to try arms in
    * canonical order (first FULL match wins). Records are width-tolerant
    * here too: extra keys are ignored, only declared fields are examined. */
-export declare function dynMatchHelper(E: CEmitter, t: IrType): string;
+export declare function dynMatchHelper(emitter: CEmitter, t: IrType): string;
 /** The emitted keyed read on a dyn value:
    * `static ScrDyn *sc_dyn_key_get(ScrDyn *d, ScrStr *k, bool opt)` —
    * OBJ answers the member (+1) or the undefined singleton (own-property
@@ -84,7 +80,7 @@ export declare function dynMatchHelper(E: CEmitter, t: IrType): string;
  * is undefined." (or "…null."), the property form "Cannot destructure
  * property 'PROP' of 'SPELL' …" when firstProp is non-NULL — V8's exact
  * strings, source spelling included. Non-nullish values pass silently. */
-export declare function dynDestrCheckHelper(E: CEmitter): string;
+export declare function dynDestrCheckHelper(emitter: CEmitter): string;
 /** GetIterator + first-N steps over a dyn value (the dynIterN node), as
  * array destructuring sees it: arrays step by index, strings by CODE
  * POINT (the string iterator — astral chars arrive unsplit), Buffers by
@@ -94,8 +90,8 @@ export declare function dynDestrCheckHelper(E: CEmitter): string;
  * "function …" — each with the "(cannot read property
  * Symbol(Symbol.iterator))" tail). Returns a fresh +1 dyn array of
  * exactly n elements, undefined-padded past the end. */
-export declare function dynIterNHelper(E: CEmitter): string;
-export declare function dynKeyGetHelper(E: CEmitter): string;
+export declare function dynIterNHelper(emitter: CEmitter): string;
+export declare function dynKeyGetHelper(emitter: CEmitter): string;
 /** The emitted checked builder for one dynCheck target type:
    * `static T sc_dc_<n>(const ScrDyn *d, const ScrDynPath *path)` —
    * validate the checked-dynamic tree against T and BUILD the typed value (+1), or throw a
@@ -104,7 +100,7 @@ export declare function dynKeyGetHelper(E: CEmitter): string;
    * Recursive calls propagate a pending exception by releasing the
    * partially-built value and returning — the same pending-check discipline
    * emitted function bodies follow. */
-export declare function dynCheckHelper(E: CEmitter, t: IrType): string;
+export declare function dynCheckHelper(emitter: CEmitter, t: IrType): string;
 /** The emitted static→dyn converter for one type:
    * `static ScrDyn *sc_td_<n>(<T> v)` — build a fresh dyn value from a
    * static one (+1), DEEP-COPYING composites (a dyn value never aliases
@@ -112,27 +108,9 @@ export declare function dynCheckHelper(E: CEmitter, t: IrType): string;
    * plus undefined-armed unions (the undefined arm becomes the undefined
    * dyn singleton) and index-signature records (whose overflow entries
    * copy over). The operand is borrowed. Never throws. */
-export declare function toDynHelper(E: CEmitter, t: IrType): string;
-/** The checked-dynamic tree-promise settle adapter for one fulfillment payload type:
-   * `static void sc_pda_<n>(ScrPromise *dst, ScrPromise *src)` — read
-   * src's fulfilled payload by its compile-time kind, convert it to a dyn
-   * value, and fulfill dst with it (scr_dyn_new_promise_adapting's
-   * callback; rejections never reach an adapter — the runtime copies them
-   * raw). Interned per inner typeKey. */
-export declare function promiseDynAdapterHelper(E: CEmitter, inner: IrType): string;
-/** The call thunk for one closure signature (see the block comment). */
-export declare function dynFuncThunkHelper(E: CEmitter, t: IrType & {
-    kind: "func";
-}): string;
+export declare function toDynHelper(emitter: CEmitter, t: IrType): string;
 /** The box builder dynFrom emits for one closure signature. */
-export declare function dynFuncBoxHelper(E: CEmitter, t: IrType & {
-    kind: "func";
-}): string;
-/** The adapter closure body for one TARGET signature: the emitted C
-   * function a func-targeted dynCheck wraps a non-identical boxed
-   * signature in. caps[0] is an untraced obj-box owning the dyn function
-   * value. */
-export declare function dynFuncAdapterHelper(E: CEmitter, t: IrType & {
+export declare function dynFuncBoxHelper(emitter: CEmitter, t: IrType & {
     kind: "func";
 }): string;
 /** The emitted dynamic-keyed READ helper for one (shape, result type):
@@ -144,7 +122,7 @@ export declare function dynFuncAdapterHelper(E: CEmitter, t: IrType & {
    * arm (T undefined-armed union), or TRAPS with the key text (the array
    * OOB policy — the checker claimed T and no undefined is representable).
    * Borrows both; refcounted results are owned (+1). */
-export declare function recordKeyGetHelper(E: CEmitter, shapeId: string, t: IrType, overflowOnly?: boolean): string;
+export declare function recordKeyGetHelper(emitter: CEmitter, shapeId: string, t: IrType, overflowOnly?: boolean): string;
 /** The emitted dynamic-keyed WRITE helper for one index-signature shape:
    * `static void sc_rks_<n>(<struct> *r, ScrStr *k, <V> v)` — a declared
    * key writes THROUGH to the struct slot (dyn values validate against the
@@ -153,4 +131,4 @@ export declare function recordKeyGetHelper(E: CEmitter, shapeId: string, t: IrTy
    * anything, the documented divergence; typed values store directly),
    * an undeclared key inserts/replaces in the overflow map. Borrows r and
    * k; OWNS v (+1 moves in — released on the validation-failure path). */
-export declare function recordKeySetHelper(E: CEmitter, shapeId: string): string;
+export declare function recordKeySetHelper(emitter: CEmitter, shapeId: string): string;