@scriptc/compiler 0.0.35 → 0.1.1

package/dist/frontend/lowering/lower-enums.js

@@ -24,11 +24,11 @@
  * What fences: computed members (their initializers are runtime
  * expressions Node evaluates when the declaration executes), reverse
  * lookups through runtime indices, and the enum object as a value.
- * The TYPE side lives in types.ts (enum types map to their underlying
+ * The TYPE side lives in type-mapper.ts (enum types map to their underlying
  * primitives) — see mapType's EnumLike branch. */
 import * as ts from "../ts7/adapter.js";
 import { locOf } from "../program.js";
-import { F64, STRING } from "../../ir/nodes.js";
+import { F64, STRING } from "../../ir/ir.js";
 /** The member's source-name text (identifiers and string-literal names —
  * the only name forms tsc allows on enum members). */
 function memberNameText(member) {
@@ -57,13 +57,13 @@ function effectFreeReceiver(e) {
  * element-access lowerings: claims enum member reads (fold to the constant)
  * and enum reverse-mapping reads. Null when the access is not enum-shaped
  * at all — the caller's ordinary paths apply. */
-export function lowerEnumAccess(L, expr) {
+export function lowerEnumAccess(lowerer, expr) {
     if (ts.isPropertyAccessExpression(expr)) {
-        const sym = L.checker.getSymbolAtLocation(expr.name);
+        const sym = lowerer.checker.getSymbolAtLocation(expr.name);
         if (sym && sym.flags & ts.SymbolFlags.EnumMember) {
-            const decl = L.checker.valueDeclarationOf(sym);
+            const decl = lowerer.checker.valueDeclarationOf(sym);
             if (decl && ts.isEnumMember(decl) && effectFreeReceiver(expr.expression)) {
-                return lowerEnumMemberRead(L, expr, decl);
+                return lowerEnumMemberRead(lowerer, expr, decl);
             }
         }
         return null;
@@ -73,10 +73,10 @@ export function lowerEnumAccess(L, expr) {
     const recv = expr.expression;
     if (!ts.isIdentifier(recv))
         return null;
-    const recvSym = L.resolveValueSymbol(recv);
+    const recvSym = lowerer.resolveValueSymbol(recv);
     if (!recvSym || !(recvSym.flags & ts.SymbolFlags.Enum))
         return null;
-    const decls = L.checker.declarationsOf(recvSym).filter((d) => ts.isEnumDeclaration(d));
+    const decls = lowerer.checker.declarationsOf(recvSym).filter((d) => ts.isEnumDeclaration(d));
     if (decls.length === 0)
         return null;
     let key = expr.argumentExpression;
@@ -88,18 +88,18 @@ export function lowerEnumAccess(L, expr) {
         for (const d of decls) {
             for (const member of d.members) {
                 if (memberNameText(member) === key.text)
-                    return lowerEnumMemberRead(L, expr, member);
+                    return lowerEnumMemberRead(lowerer, expr, member);
             }
         }
         // tsc resolved the name (or rejected the program); nothing to claim.
         return null;
     }
-    return lowerEnumReverseRead(L, expr, recvSym, decls, key);
+    return lowerEnumReverseRead(lowerer, expr, recvSym, decls, key);
 }
 /** One member read, folded to its constant — or the ambient/computed
  * stories (see the module comment). `expr` is the access carrying the
  * source span; `member` the resolved member declaration. */
-function lowerEnumMemberRead(L, expr, member) {
+function lowerEnumMemberRead(lowerer, expr, member) {
     const enumDecl = member.parent;
     if (!ts.isEnumDeclaration(enumDecl))
         return null;
@@ -115,9 +115,9 @@ function lowerEnumMemberRead(L, expr, member) {
         // them). What remains is the user's own `declare enum` — the
         // `declare const __VERSION__` stance: ReferenceError at the access.
         const sf = enumDecl.getSourceFile();
-        if (L.isStdlibFile(sf) || (L.dynamic && L.isNpmFile(sf)))
+        if (lowerer.isStdlibFile(sf) || (lowerer.dynamic && lowerer.isNpmFile(sf)))
             return null;
-        const declared = L.mapTypeOf(L.typeOf(expr));
+        const declared = lowerer.mapTypeOf(lowerer.typeOf(expr));
         if (!declared || declared.kind === "void")
             return null;
         return {
@@ -128,9 +128,9 @@ function lowerEnumMemberRead(L, expr, member) {
             loc,
         };
     }
-    const value = L.checker.getConstantValue(member);
+    const value = lowerer.checker.getConstantValue(member);
     if (value === undefined || (typeof value === "number" && Number.isNaN(value))) {
-        L.unsupported("SC1090", expr, `the enum member '${enumDecl.name.text}.${memberNameText(member)}' (its value is not a compile-time constant — the initializer runs when the declaration executes)`);
+        lowerer.unsupported("SC1090", expr, `the enum member '${enumDecl.name.text}.${memberNameText(member)}' (its value is not a compile-time constant — the initializer runs when the declaration executes)`);
     }
     return typeof value === "string"
         ? { kind: "strLit", value, type: STRING, loc }
@@ -142,12 +142,12 @@ function lowerEnumMemberRead(L, expr, member) {
  * Only compile-time-constant indices lower; a matchless constant index is
  * Node's undefined, which the read's `string` type cannot carry — both
  * fence by name. */
-function lowerEnumReverseRead(L, expr, recvSym, decls, key) {
+function lowerEnumReverseRead(lowerer, expr, recvSym, decls, key) {
     const loc = locOf(expr);
     const enumName = recvSym.name;
     // Ambient: no object exists — the member-read stance.
     if (decls.every((d) => isAmbientEnumDecl(d))) {
-        if (decls.some((d) => L.isStdlibFile(d.getSourceFile()) || (L.dynamic && L.isNpmFile(d.getSourceFile())))) {
+        if (decls.some((d) => lowerer.isStdlibFile(d.getSourceFile()) || (lowerer.dynamic && lowerer.isNpmFile(d.getSourceFile())))) {
             return null;
         }
         return {
@@ -162,26 +162,26 @@ function lowerEnumReverseRead(L, expr, recvSym, decls, key) {
     // existence tracking; nothing needs it — fence through the generic path.
     if (decls.some((d) => isAmbientEnumDecl(d)))
         return null;
-    const idx = foldConstIndex(L, key);
+    const idx = foldConstIndex(lowerer, key);
     if (idx === null) {
-        L.unsupported("SC1090", expr, `enum reverse lookups ('${enumName}[i]' where the index is a runtime value — only compile-time-constant indices lower)`);
+        lowerer.unsupported("SC1090", expr, `enum reverse lookups ('${enumName}[i]' where the index is a runtime value — only compile-time-constant indices lower)`);
     }
     let name = null;
     for (const d of decls) {
         for (const member of d.members) {
-            const v = L.checker.getConstantValue(member);
+            const v = lowerer.checker.getConstantValue(member);
             if (typeof v === "number" && v === idx)
                 name = memberNameText(member);
         }
     }
     if (name === null) {
-        L.unsupported("SC1090", expr, `'${enumName}[${idx}]' (no member of '${enumName}' has this value — Node answers undefined, which the reverse mapping's 'string' type cannot carry)`);
+        lowerer.unsupported("SC1090", expr, `'${enumName}[${idx}]' (no member of '${enumName}' has this value — Node answers undefined, which the reverse mapping's 'string' type cannot carry)`);
     }
     return { kind: "strLit", value: name, type: STRING, loc };
 }
 /** A compile-time-constant NUMERIC index: a numeric literal, its negation,
  * or an enum member read whose constant is a number. */
-function foldConstIndex(L, e) {
+function foldConstIndex(lowerer, e) {
     let x = e;
     while (ts.isParenthesizedExpression(x))
         x = x.expression;
@@ -193,11 +193,11 @@ function foldConstIndex(L, e) {
         return -Number(x.operand.text);
     }
     if (ts.isPropertyAccessExpression(x)) {
-        const sym = L.checker.getSymbolAtLocation(x.name);
+        const sym = lowerer.checker.getSymbolAtLocation(x.name);
         if (sym && sym.flags & ts.SymbolFlags.EnumMember) {
-            const decl = L.checker.valueDeclarationOf(sym);
+            const decl = lowerer.checker.valueDeclarationOf(sym);
             if (decl && ts.isEnumMember(decl)) {
-                const v = L.checker.getConstantValue(decl);
+                const v = lowerer.checker.getConstantValue(decl);
                 if (typeof v === "number")
                     return v;
             }
@@ -213,12 +213,12 @@ function foldConstIndex(L, e) {
  * fence per site. A computed member's initializer is a runtime expression
  * Node evaluates at the declaration — dropping it would be observable, so
  * the declaration fences on that member. */
-export function lowerEnumDeclaration(L, stmt) {
+export function lowerEnumDeclaration(lowerer, stmt) {
     if (isAmbientEnumDecl(stmt))
         return null;
     for (const member of stmt.members) {
-        if (L.checker.getConstantValue(member) === undefined) {
-            L.unsupported("SC1090", member, `enums with computed members ('${memberNameText(member)}' — the initializer is a runtime expression evaluated when the declaration executes; only compile-time-constant enum members lower)`);
+        if (lowerer.checker.getConstantValue(member) === undefined) {
+            lowerer.unsupported("SC1090", member, `enums with computed members ('${memberNameText(member)}' — the initializer is a runtime expression evaluated when the declaration executes; only compile-time-constant enum members lower)`);
         }
     }
     return null;
@@ -227,9 +227,9 @@ export function lowerEnumDeclaration(L, stmt) {
  * (passed around, iterated, stored). Member reads never reach here (the
  * access hook claims them); everything else is the object itself, which
  * has no lowering. Returns false when the symbol is not an enum. */
-export function fenceEnumObjectValue(L, expr, sym) {
+export function fenceEnumObjectValue(lowerer, expr, sym) {
     if (!(sym.flags & ts.SymbolFlags.Enum))
         return;
-    L.unsupported("SC1090", expr, `enum objects as values ('${expr.text}' — member reads like '${expr.text}.A' compile to constants; the object itself has no runtime representation)`);
+    lowerer.unsupported("SC1090", expr, `enum objects as values ('${expr.text}' — member reads like '${expr.text}.A' compile to constants; the object itself has no runtime representation)`);
 }
 //# sourceMappingURL=lower-enums.js.map

package/dist/frontend/lowering/lower-enums.js.map

@@ -1 +1 @@
-{"version":3,"file":"lower-enums.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lower-enums.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;kDA2BkD;AAClD,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,GAAG,EAAU,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAExD;sDACsD;AACtD,SAAS,cAAc,CAAC,MAAqB;IAC3C,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC;IACtB,OAAO,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AAChF,CAAC;AAED,mEAAmE;AACnE,SAAS,iBAAiB,CAAC,IAAwB;IACjD,OAAO,CACL,CAAC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC;QACpE,IAAI,CAAC,aAAa,EAAE,CAAC,iBAAiB,CACvC,CAAC;AACJ,CAAC;AAED;;;;uCAIuC;AACvC,SAAS,kBAAkB,CAAC,CAAgB;IAC1C,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,OACE,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;QACjC,CAAC,EAAE,CAAC,0BAA0B,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAC7D,CAAC;QACD,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;IACvB,CAAC;IACD,OAAO,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;AAC9B,CAAC;AAED;;;iDAGiD;AACjD,MAAM,UAAU,eAAe,CAC7B,CAAU,EACV,IAA8D;IAE9D,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;YACjD,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC;YAC/C,IAAI,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;gBACzE,OAAO,mBAAmB,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,uEAAuE;IACvE,6DAA6D;IAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;IAC7B,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,OAAO,GAAG,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACpE,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAA2B,EAAE,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;IAChH,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,GAAG,GAAG,IAAI,CAAC,kBAAkB,CAAC;IAClC,OAAO,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;QAAE,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;IAC/D,yEAAyE;IACzE,0DAA0D;IAC1D,IAAI,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,KAAK,MAAM,MAAM,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC/B,IAAI,cAAc,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,IAAI;oBAAE,OAAO,mBAAmB,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YACvF,CAAC;QACH,CAAC;QACD,qEAAqE;QACrE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,oBAAoB,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;AAC5D,CAAC;AAED;;4DAE4D;AAC5D,SAAS,mBAAmB,CAC1B,CAAU,EACV,IAA8D,EAC9D,MAAqB;IAErB,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAChC,qEAAqE;QACrE,qEAAqE;QACrE,qEAAqE;QACrE,sEAAsE;QACtE,sEAAsE;QACtE,sEAAsE;QACtE,oEAAoE;QACpE,6DAA6D;QAC7D,oEAAoE;QACpE,MAAM,EAAE,GAAG,QAAQ,CAAC,aAAa,EAAE,CAAC;QACpC,IAAI,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QACtE,MAAM,QAAQ,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC;QACvD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,kBAAkB;YACtB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YACxE,IAAI,EAAE,QAAQ;YACd,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACjD,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC9E,CAAC,CAAC,WAAW,CACX,QAAQ,EACR,IAAI,EACJ,oBAAoB,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,cAAc,CAAC,MAAM,CAAC,mGAAmG,CACpK,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,KAAK,KAAK,QAAQ;QAC9B,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QAC9C,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAChD,CAAC;AAED;;;;;oBAKoB;AACpB,SAAS,oBAAoB,CAC3B,CAAU,EACV,IAAgC,EAChC,OAAkB,EAClB,KAAoC,EACpC,GAAkB;IAElB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;IAC9B,sDAAsD;IACtD,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1G,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,kBAAkB;YACtB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YAC9D,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,kEAAkE;IAClE,yEAAyE;IACzE,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACzD,MAAM,GAAG,GAAG,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACnC,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QACjB,CAAC,CAAC,WAAW,CACX,QAAQ,EACR,IAAI,EACJ,0BAA0B,QAAQ,qFAAqF,CACxH,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,GAAkB,IAAI,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,KAAK,MAAM,MAAM,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;YAC7C,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,GAAG;gBAAE,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IACD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,CAAC,CAAC,WAAW,CACX,QAAQ,EACR,IAAI,EACJ,IAAI,QAAQ,IAAI,GAAG,qBAAqB,QAAQ,oGAAoG,CACrJ,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC5D,CAAC;AAED;wDACwD;AACxD,SAAS,cAAc,CAAC,CAAU,EAAE,CAAgB;IAClD,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAClD,IACE,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC;QAC7B,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;QACvC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,EAC9B,CAAC;QACD,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;YACjD,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC;YAC/C,IAAI,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;gBAC3C,IAAI,OAAO,CAAC,KAAK,QAAQ;oBAAE,OAAO,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;4CAO4C;AAC5C,MAAM,UAAU,oBAAoB,CAAC,CAAU,EAAE,IAAwB;IACvE,IAAI,iBAAiB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACzC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,IAAI,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,KAAK,SAAS,EAAE,CAAC;YACrD,CAAC,CAAC,WAAW,CACX,QAAQ,EACR,MAAM,EACN,iCAAiC,cAAc,CAAC,MAAM,CAAC,qIAAqI,CAC7L,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;oEAGoE;AACpE,MAAM,UAAU,oBAAoB,CAAC,CAAU,EAAE,IAAmB,EAAE,GAAc;IAClF,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC;QAAE,OAAO;IAC/C,CAAC,CAAC,WAAW,CACX,QAAQ,EACR,IAAI,EACJ,4BAA4B,IAAI,CAAC,IAAI,0BAA0B,IAAI,CAAC,IAAI,4EAA4E,CACrJ,CAAC;AACJ,CAAC"}
+{"version":3,"file":"lower-enums.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lower-enums.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;kDA2BkD;AAClD,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,GAAG,EAAU,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAErD;sDACsD;AACtD,SAAS,cAAc,CAAC,MAAqB;IAC3C,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC;IACtB,OAAO,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AAChF,CAAC;AAED,mEAAmE;AACnE,SAAS,iBAAiB,CAAC,IAAwB;IACjD,OAAO,CACL,CAAC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC;QACpE,IAAI,CAAC,aAAa,EAAE,CAAC,iBAAiB,CACvC,CAAC;AACJ,CAAC;AAED;;;;uCAIuC;AACvC,SAAS,kBAAkB,CAAC,CAAgB;IAC1C,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,OACE,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;QACjC,CAAC,EAAE,CAAC,0BAA0B,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAC7D,CAAC;QACD,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;IACvB,CAAC;IACD,OAAO,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;AAC9B,CAAC;AAED;;;iDAGiD;AACjD,MAAM,UAAU,eAAe,CAC7B,OAAgB,EAChB,IAA8D;IAE9D,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;YACjD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC;YACrD,IAAI,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;gBACzE,OAAO,mBAAmB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,uEAAuE;IACvE,6DAA6D;IAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;IAC7B,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,OAAO,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACpE,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAA2B,EAAE,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;IACtH,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,GAAG,GAAG,IAAI,CAAC,kBAAkB,CAAC;IAClC,OAAO,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;QAAE,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;IAC/D,yEAAyE;IACzE,0DAA0D;IAC1D,IAAI,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,KAAK,MAAM,MAAM,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC/B,IAAI,cAAc,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,IAAI;oBAAE,OAAO,mBAAmB,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC7F,CAAC;QACH,CAAC;QACD,qEAAqE;QACrE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,oBAAoB,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;AAClE,CAAC;AAED;;4DAE4D;AAC5D,SAAS,mBAAmB,CAC1B,OAAgB,EAChB,IAA8D,EAC9D,MAAqB;IAErB,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAChC,qEAAqE;QACrE,qEAAqE;QACrE,qEAAqE;QACrE,sEAAsE;QACtE,sEAAsE;QACtE,sEAAsE;QACtE,oEAAoE;QACpE,6DAA6D;QAC7D,oEAAoE;QACpE,MAAM,EAAE,GAAG,QAAQ,CAAC,aAAa,EAAE,CAAC;QACpC,IAAI,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QACxF,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC;QACvD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,kBAAkB;YACtB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YACxE,IAAI,EAAE,QAAQ;YACd,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACvD,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC9E,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,oBAAoB,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,cAAc,CAAC,MAAM,CAAC,mGAAmG,CACpK,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,KAAK,KAAK,QAAQ;QAC9B,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QAC9C,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAChD,CAAC;AAED;;;;;oBAKoB;AACpB,SAAS,oBAAoB,CAC3B,OAAgB,EAChB,IAAgC,EAChC,OAAkB,EAClB,KAAoC,EACpC,GAAkB;IAElB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;IAC9B,sDAAsD;IACtD,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5H,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,kBAAkB;YACtB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YAC9D,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,kEAAkE;IAClE,yEAAyE;IACzE,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACzD,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACzC,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QACjB,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,0BAA0B,QAAQ,qFAAqF,CACxH,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,GAAkB,IAAI,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,KAAK,MAAM,MAAM,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;YACnD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,GAAG;gBAAE,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IACD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,IAAI,QAAQ,IAAI,GAAG,qBAAqB,QAAQ,oGAAoG,CACrJ,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC5D,CAAC;AAED;wDACwD;AACxD,SAAS,cAAc,CAAC,OAAgB,EAAE,CAAgB;IACxD,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAClD,IACE,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC;QAC7B,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;QACvC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,EAC9B,CAAC;QACD,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACxD,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;YACjD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC;YACrD,IAAI,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClC,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;gBACjD,IAAI,OAAO,CAAC,KAAK,QAAQ;oBAAE,OAAO,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;4CAO4C;AAC5C,MAAM,UAAU,oBAAoB,CAAC,OAAgB,EAAE,IAAwB;IAC7E,IAAI,iBAAiB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACzC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,IAAI,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,KAAK,SAAS,EAAE,CAAC;YAC3D,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,MAAM,EACN,iCAAiC,cAAc,CAAC,MAAM,CAAC,qIAAqI,CAC7L,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;oEAGoE;AACpE,MAAM,UAAU,oBAAoB,CAAC,OAAgB,EAAE,IAAmB,EAAE,GAAc;IACxF,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC;QAAE,OAAO;IAC/C,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,4BAA4B,IAAI,CAAC,IAAI,0BAA0B,IAAI,CAAC,IAAI,4EAA4E,CACrJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/{lower-emitter.d.ts → lower-event-emitter.d.ts}

@@ -1,9 +1,9 @@
 import * as ts from "../ts7/adapter.js";
 import type { Lowerer } from "./lowerer.js";
 import type { ClassInfo } from "./lower-classes.js";
-import { IrExpr, IrFunction, IrLocal, IrType } from "../../ir/nodes.js";
+import { IrExpr, IrFunction, IrLocal, IrType } from "../../ir/ir.js";
 /** True when the class descends from (or is) the runtime emitter. */
-export declare function emitterRooted(L: Lowerer, info: ClassInfo | undefined | null): boolean;
+export declare function emitterRooted(lowerer: Lowerer, info: ClassInfo | undefined | null): boolean;
 /** `recv.<member>(...)` over an emitter-rooted receiver — the whole
  * EventEmitter method surface. Returns null only for members this spoke
  * does not own (the caller falls through to its own fences).
@@ -13,7 +13,7 @@ export declare function emitterRooted(L: Lowerer, info: ClassInfo | undefined |
  * NEVER dispatches through an override at-or-below the lexical class —
  * JS's static super dispatch (the nearest override STRICTLY ABOVE the
  * lexical class still answers, exactly like a prototype-chain walk). */
-export declare function lowerEmitterMethodCall(L: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression, info: ClassInfo, superRecv?: {
+export declare function lowerEmitterMethodCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression, info: ClassInfo, superRecv?: {
     thisRef: IrExpr;
     cls: ClassInfo;
 }): IrExpr | null;
@@ -46,32 +46,21 @@ export interface EmitSpecRequest {
 /** Why a subclass `emit` declaration is NOT the forwarding shape, or null
  * when it conforms. Checked at class collection; the recorded override
  * then lowers per event with no further shape questions. */
-export declare function emitOverrideShapeReason(L: Lowerer, member: ts.MethodDeclaration): string | null;
-/** The nearest class at-or-above `info` declaring an emit override. */
-export declare function emitOverrideAtOrAbove(info: ClassInfo | null | undefined): ClassInfo | null;
-/** An emit-override class COMPARABLE to `info` (ancestor-or-self or
- * descendant — a dynamic instance under this static type could dispatch
- * through it), or null. The meta-registration fence's test. */
-export declare function emitOverrideComparable(info: ClassInfo): ClassInfo | null;
-/** Interns the specialization `%<class>.emit:<event>`: registers the
- * method on the class (vtable participation — the ABI is `(this, ...tuple)
- * => bool` for every declarer of one event, override-exact by
- * construction) and queues the body for the drive loop's fixpoint. */
-export declare function ensureEmitSpec(L: Lowerer, info: ClassInfo, event: string, tuple: IrType[]): void;
+export declare function emitOverrideShapeReason(lowerer: Lowerer, member: ts.MethodDeclaration): string | null;
 /** One specialization body: the override method's statements lowered with
  * `event` bound to the name and hidden tuple parameters standing in for
  * the rest parameter (readable ONLY through the super-forward, which the
  * collection shape check guaranteed). */
-export declare function lowerEmitOverrideSpec(L: Lowerer, req: EmitSpecRequest): IrFunction | null;
+export declare function lowerEmitOverrideSpec(lowerer: Lowerer, req: EmitSpecRequest): IrFunction | null;
 /** The specialization body's `super.emit(event, ...args)` — matched
  * BEFORE the general super lowering (the event name is this
  * specialization's, not a source literal). The target is the nearest
  * override ancestor's specialization (JS's super chain) or the runtime
  * emit. Null when the call is not the forward (a literal-name super.emit
  * rides the general super-emitter route). */
-export declare function emitSpecSuperForward(L: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+export declare function emitSpecSuperForward(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
 /** `super.<member>(...)` over an emitter-rooted base — the emitter spoke
  * with the current method's `this` as the receiver and STATIC dispatch
  * (an emit override at-or-below the lexical class never answers a super
  * call — JS's prototype-chain rule). */
-export declare function lowerEmitterSuperCall(L: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression, cls: ClassInfo): IrExpr | null;
+export declare function lowerEmitterSuperCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression, cls: ClassInfo): IrExpr | null;