@scriptc/compiler 0.0.32 → 0.0.33

package/dist/frontend/lowering/lowerer.d.ts

@@ -511,6 +511,16 @@ export declare class Lowerer {
     /** Union re-tag helpers (%union.retag.N), interned per (from, to)
      * unionId pair — see unionRetagHelper. */
     readonly retagHelpers: Map<string, string>;
+    /** Callee names of every interned coercion helper whose CALL mints a
+     * FRESH closure per evaluation (%fn.width.*, %fn.adapt.*,
+     * %fnval.spawnres.*). Registered at the mint site — NOT recovered by
+     * name-prefix matching — because retained-FFI release identity is the
+     * runtime closure pointer: a coercion adapter allocates a different
+     * closure at the registration and release sites, so lowerFfiCall must
+     * refuse these forms at compile time (SC5003). Any new closure-minting
+     * adapter helper MUST add its name here, or the identity guard silently
+     * reopens and the mismatch surfaces as a runtime release trap instead. */
+    readonly freshClosureAdapters: Set<string>;
     /** Symbols bound by `const x = promisify(execFile)` — the one lowered
      * util.promisify shape. Declarations register here and emit nothing;
      * calls through the binding lower (lowerExecFileAsyncCall) and value
@@ -706,6 +716,8 @@ export declare class Lowerer {
      * IrModule.unions. An arm's index in the canonical list is its runtime
      * tag. */
     readonly unions: UnionRegistry;
+    /** Context-free successful type mappings. See TypeMapperCtx.typeMemo. */
+    readonly typeMemo: Map<string, IrType>;
     readonly ambient: string;
     readonly overridesAmbient: string;
     readonly fallbackAmbient: string;

package/dist/frontend/lowering/lowerer.js

@@ -700,6 +700,16 @@ export class Lowerer {
     /** Union re-tag helpers (%union.retag.N), interned per (from, to)
      * unionId pair — see unionRetagHelper. */
     retagHelpers = new Map();
+    /** Callee names of every interned coercion helper whose CALL mints a
+     * FRESH closure per evaluation (%fn.width.*, %fn.adapt.*,
+     * %fnval.spawnres.*). Registered at the mint site — NOT recovered by
+     * name-prefix matching — because retained-FFI release identity is the
+     * runtime closure pointer: a coercion adapter allocates a different
+     * closure at the registration and release sites, so lowerFfiCall must
+     * refuse these forms at compile time (SC5003). Any new closure-minting
+     * adapter helper MUST add its name here, or the identity guard silently
+     * reopens and the mismatch surfaces as a runtime release trap instead. */
+    freshClosureAdapters = new Set();
     /** Symbols bound by `const x = promisify(execFile)` — the one lowered
      * util.promisify shape. Declarations register here and emit nothing;
      * calls through the binding lower (lowerExecFileAsyncCall) and value
@@ -875,6 +885,8 @@ export class Lowerer {
      * IrModule.unions. An arm's index in the canonical list is its runtime
      * tag. */
     unions = new UnionRegistry();
+    /** Context-free successful type mappings. See TypeMapperCtx.typeMemo. */
+    typeMemo = new Map();
     ambient = ambientDtsPath();
     overridesAmbient = overridesDtsPath();
     fallbackAmbient = fallbackDtsPath();
@@ -1038,6 +1050,10 @@ export class Lowerer {
             isNpmFile: this.isNpmFile,
             isExternalTypeFile: (sf) => this.externalTypeSpecifiersByFile.has(tsgoPath(resolve(sf.fileName))),
             dynamic: this.dynamic,
+            typeMemo: this.typeMemo,
+            canMemoizeType: () => this.typeParamBindings === null &&
+                this.typeParamTsBindings === null &&
+                this.mixinTypeContext === null,
             // fileTag is filled just below; the hook is only ever CALLED during
             // lowering, long after the constructor completes.
             isProgramFile: (sf) => this.fileTag.has(sf),
@@ -2000,7 +2016,7 @@ export class Lowerer {
         const module = this.diags.length > 0
             ? null
             : {
-                irVersion: 3,
+                irVersion: 5,
                 sourceFile: this.entry.fileName,
                 functions,
                 classes: artifacts.classes,
@@ -4368,6 +4384,7 @@ export class Lowerer {
             return existing;
         const name = `%fn.width.${this.widthHelpers.size}`;
         this.widthHelpers.set(key, name);
+        this.freshClosureAdapters.add(name); // wraps `f` in a new closure per call
         const impl = `${name}.impl`;
         // The returned closure's body: call the captured original, width-map.
         this.liftedFns.push({
@@ -4545,6 +4562,7 @@ export class Lowerer {
             return existing;
         const name = `%fn.adapt.${this.retagHelpers.size}`;
         this.retagHelpers.set(key, name);
+        this.freshClosureAdapters.add(name); // wraps `f` in a new closure per call
         const impl = `${name}.impl`;
         const params = toT.params.map((t, i) => ({ localId: `a.${i}`, name: `a${i}`, type: t }));
         const strandThrow = (why) => ({
@@ -4715,6 +4733,7 @@ export class Lowerer {
             return existing;
         const name = `%fnval.spawnres.${this.widthHelpers.size}`;
         this.widthHelpers.set(key, name);
+        this.freshClosureAdapters.add(name); // wraps `f` in a new closure per call
         const impl = `${name}.impl`;
         const params = toT.params.map((p, i) => ({ localId: `p${i}.0`, name: `p${i}`, type: p }));
         const rRef = { kind: "varRef", localId: "r.0", type: fromT.ret, loc };