@scriptc/compiler 0.3.5 → 0.4.0

package/dist/frontend/lowering/builtins/dates.js

@@ -1,7 +1,7 @@
 import * as ts from "../../ts7/adapter.js";
 import { own } from "../lowerer.js";
 import { locOf } from "../../program.js";
-import { F64, STRING } from "../../../ir/ir.js";
+import { BOOL, F64, NULL_T, STRING, typeKey, } from "../../../ir/ir.js";
 const DATE_GETTER_FNS = {
     getFullYear: "date.getFullYear",
     getUTCFullYear: "date.getUTCFullYear",
@@ -21,7 +21,12 @@ const DATE_GETTER_FNS = {
     getUTCMilliseconds: "date.getUTCMilliseconds",
     getTimezoneOffset: "date.getTimezoneOffset",
 };
-const DATE_METHOD_HINT = "getTime(), valueOf(), toISOString(), the local/UTC calendar getters, and getTimezoneOffset() are supported; Date setters and locale/string formatters have no lowering";
+const DATE_TEXT_FNS = new Map([
+    ["toString", "date.toString"],
+    ["toDateString", "date.toDateString"],
+    ["toTimeString", "date.toTimeString"],
+]);
+const DATE_METHOD_HINT = "getTime(), valueOf(), toISOString(), toUTCString(), toJSON(), toString(), toDateString(), toTimeString(), the local/UTC calendar getters, and getTimezoneOffset() are supported; Date setters and locale formatters have no lowering";
 /** The Date slice: statics plus read-only Date values backed by one
  * TimeClip'd millisecond scalar. Construction lives in lowerNew;
  * identity and mutating methods remain fenced. */
@@ -30,19 +35,18 @@ export function lowerDateCall(lowerer, call, access) {
         return null;
     const loc = locOf(call);
     if (lowerer.stdlibGlobalMember(access, "Date") === "now") {
-        if (call.arguments.length !== 0) {
-            lowerer.noLowering(`Date.now with ${call.arguments.length} arguments`, call);
+        if (call.arguments.nodes.length !== 0) {
+            lowerer.noLowering(`Date.now with ${call.arguments.nodes.length} arguments`, call);
         }
         return { kind: "libCall", fn: "date.now", args: [], type: F64, loc };
     }
-    // Date.parse uses the same bounded date-string parser as
-    // new Date(dateString).getTime(); keep their NaN and TimeClip behavior
-    // identical for the ISO timestamps used by CLI applications.
+    // Date.parse uses the same date-string parser as new Date(dateString)
+    // (V8's grammar in the runtime), so their NaN and TimeClip behavior agree.
     if (lowerer.stdlibGlobalMember(access, "Date") === "parse") {
-        if (call.arguments.length !== 1 || ts.isSpreadElement(call.arguments[0])) {
-            lowerer.noLowering(`Date.parse with ${call.arguments.length} arguments`, call);
+        if (call.arguments.nodes.length !== 1 || ts.isSpreadElement(call.arguments.nodes[0])) {
+            lowerer.noLowering(`Date.parse with ${call.arguments.nodes.length} arguments`, call);
         }
-        const input = lowerer.lowerExprExpecting(call.arguments[0], STRING);
+        const input = lowerer.lowerExprExpecting(call.arguments.nodes[0], STRING);
         return { kind: "libCall", fn: "date.parse", args: [input], type: F64, loc };
     }
     // Date.UTC(year[, month[, date[, hours[, minutes[, seconds[, ms]]]]]]):
@@ -51,15 +55,15 @@ export function lowerDateCall(lowerer, call, access) {
     // defaults (month 0, date 1, time parts 0); tsc pins every present
     // argument to number, so the seven-f64 ABI is exact.
     if (lowerer.stdlibGlobalMember(access, "Date") === "UTC") {
-        if (call.arguments.length < 1 ||
-            call.arguments.length > 7 ||
-            call.arguments.some((a) => ts.isSpreadElement(a))) {
-            lowerer.noLowering(`Date.UTC with ${call.arguments.length} arguments`, call);
+        if (call.arguments.nodes.length < 1 ||
+            call.arguments.nodes.length > 7 ||
+            call.arguments.nodes.some((a) => ts.isSpreadElement(a))) {
+            lowerer.noLowering(`Date.UTC with ${call.arguments.nodes.length} arguments`, call);
         }
         const defaults = [0, 0, 1, 0, 0, 0, 0]; // year is always present (arity ≥ 1)
         const args = [];
         for (let i = 0; i < 7; i++) {
-            const a = call.arguments[i];
+            const a = call.arguments.nodes[i];
             args.push(a !== undefined
                 ? lowerer.lowerExprExpecting(a, F64)
                 : { kind: "numLit", value: defaults[i], type: F64, loc });
@@ -71,7 +75,9 @@ export function lowerDateCall(lowerer, call, access) {
     if (!lowerer.isStdlibMember(access))
         return null;
     const name = access.name.text;
-    if (call.arguments.length !== 0) {
+    if (name === "toJSON")
+        return lowerDateToJson(lowerer, call, access);
+    if (call.arguments.nodes.length !== 0) {
         lowerer.noLowering(`Date.prototype.${name} with arguments`, call, DATE_METHOD_HINT);
     }
     const raw = lowerer.lowerExpr(access.expression);
@@ -92,10 +98,80 @@ export function lowerDateCall(lowerer, call, access) {
     if (name === "toISOString") {
         return { kind: "libCall", fn: "date.toISOStringValue", args: [receiver], type: STRING, loc };
     }
+    if (name === "toUTCString") {
+        return { kind: "libCall", fn: "date.toUTCString", args: [receiver], type: STRING, loc };
+    }
     const fn = own(DATE_GETTER_FNS, name);
     if (fn !== undefined) {
         return { kind: "libCall", fn, args: [receiver], type: F64, loc };
     }
+    const textFn = DATE_TEXT_FNS.get(name);
+    if (textFn !== undefined) {
+        return { kind: "libCall", fn: textFn, args: [receiver], type: STRING, loc };
+    }
     lowerer.noLowering(`Date.prototype.${name}`, call, DATE_METHOD_HINT, lowerer.checker.getSymbolAtLocation(access.name));
 }
+/** `d.toJSON(key?)`: Node answers null for an invalid date and the
+ * `toISOString()` string otherwise, as `string | null` (the lib types say
+ * `string`). The argument is evaluated and ignored, as the built-in does. */
+function lowerDateToJson(lowerer, call, access) {
+    const loc = locOf(call);
+    if (call.arguments.nodes.length > 1 || call.arguments.nodes.some((a) => ts.isSpreadElement(a)))
+        lowerer.noLowering(`Date.prototype.toJSON with ${call.arguments.nodes.length} arguments`, call);
+    const raw = lowerer.lowerExpr(access.expression);
+    const receiver = raw.type.kind === "dyn"
+        ? { kind: "libCall", fn: "date.checkedValue", args: [raw], type: { kind: "date" }, loc }
+        : raw;
+    if (receiver.type.kind !== "date")
+        lowerer.badType(access.expression, lowerer.typeOf(access.expression));
+    const date = lowerer.declareHiddenLocal("%date", receiver.type);
+    const stmts = [{ kind: "varDecl", localId: date.id, init: receiver, loc }];
+    const key = call.arguments.nodes[0];
+    if (key)
+        stmts.push({ kind: "exprStmt", expr: lowerer.lowerExpr(key), loc });
+    const value = { kind: "varRef", localId: date.id, type: receiver.type, loc };
+    const time = { kind: "libCall", fn: "date.getTime", args: [value], type: F64, loc };
+    const type = dateJsonType(lowerer);
+    return {
+        kind: "seqExpr",
+        stmts,
+        result: {
+            kind: "ternary",
+            // An invalid date's time value is NaN, the one value unequal to itself.
+            cond: { kind: "bin", op: "!==", left: time, right: time, type: BOOL, loc },
+            then: lowerer.coerceToExpected({ kind: "unitLit", unit: "null", type: NULL_T, loc }, type),
+            else_: lowerer.coerceToExpected({ kind: "libCall", fn: "date.toISOStringValue", args: [value], type: STRING, loc }, type),
+            type,
+            loc,
+        },
+        type,
+        loc,
+    };
+}
+/** `string | null`, the type of a Date's `toJSON()` result. */
+export function dateJsonType(lowerer) {
+    const arms = [STRING, NULL_T].sort((a, b) => (typeKey(a) < typeKey(b) ? -1 : 1));
+    return { kind: "union", unionId: lowerer.unions.intern(arms) };
+}
+/** A Date `toJSON()` call, or a binding initialized by one
+ * (Lowerer.dateJsonBindings): its value can be null where the lib types
+ * say string. */
+export function isDateJsonSource(lowerer, node) {
+    while (ts.isParenthesizedExpression(node))
+        node = node.expression;
+    if (ts.isIdentifier(node)) {
+        const symbol = node.parent && ts.isShorthandPropertyAssignment(node.parent) && node.parent.name === node
+            ? lowerer.checker.getShorthandAssignmentValueSymbol(node.parent)
+            : lowerer.checker.getSymbolAtLocation(node);
+        return symbol !== undefined && lowerer.dateJsonBindings.has(symbol);
+    }
+    if (!ts.isCallExpression(node) || !ts.isPropertyAccessExpression(node.expression))
+        return false;
+    const access = node.expression;
+    return (access.name.text === "toJSON" &&
+        !node.questionDotToken &&
+        !access.questionDotToken &&
+        lowerer.mapTypeOf(lowerer.typeOf(access.expression))?.kind === "date" &&
+        lowerer.isStdlibMember(access));
+}
 //# sourceMappingURL=dates.js.map

package/dist/frontend/lowering/builtins/dates.js.map

@@ -1 +1 @@
-{"version":3,"file":"dates.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/dates.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,GAAG,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,GAAG,EAA6B,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3E,MAAM,eAAe,GAAsC;IACzD,WAAW,EAAE,kBAAkB;IAC/B,cAAc,EAAE,qBAAqB;IACrC,QAAQ,EAAE,eAAe;IACzB,WAAW,EAAE,kBAAkB;IAC/B,OAAO,EAAE,cAAc;IACvB,UAAU,EAAE,iBAAiB;IAC7B,MAAM,EAAE,aAAa;IACrB,SAAS,EAAE,gBAAgB;IAC3B,QAAQ,EAAE,eAAe;IACzB,WAAW,EAAE,kBAAkB;IAC/B,UAAU,EAAE,iBAAiB;IAC7B,aAAa,EAAE,oBAAoB;IACnC,UAAU,EAAE,iBAAiB;IAC7B,aAAa,EAAE,oBAAoB;IACnC,eAAe,EAAE,sBAAsB;IACvC,kBAAkB,EAAE,yBAAyB;IAC7C,iBAAiB,EAAE,wBAAwB;CAC5C,CAAC;AAEF,MAAM,gBAAgB,GACpB,wKAAwK,CAAC;AAE3K;;kDAEkD;AAClD,MAAM,UAAU,aAAa,CAC3B,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,IAAI,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC;QACzD,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChC,OAAO,CAAC,UAAU,CAAC,iBAAiB,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;QAC/E,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACvE,CAAC;IACD,yDAAyD;IACzD,uEAAuE;IACvE,6DAA6D;IAC7D,IAAI,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,OAAO,EAAE,CAAC;QAC3D,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;YAC1E,OAAO,CAAC,UAAU,CAAC,mBAAmB,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;QACjF,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC;QACrE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC9E,CAAC;IACD,wEAAwE;IACxE,mEAAmE;IACnE,gEAAgE;IAChE,mEAAmE;IACnE,qDAAqD;IACrD,IAAI,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC;QACzD,IACE,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;YACzB,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;YACzB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EACjD,CAAC;YACD,OAAO,CAAC,UAAU,CAAC,iBAAiB,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;QAC/E,CAAC;QACD,MAAM,QAAQ,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,qCAAqC;QAC7E,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAI,CAAC,IAAI,CACP,CAAC,KAAK,SAAS;gBACb,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,EAAE,GAAG,CAAC;gBACpC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAC5D,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACnE,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACvF,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,CAAC,UAAU,CAAC,kBAAkB,IAAI,iBAAiB,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACtF,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACjD,MAAM,QAAQ,GACZ,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QACrB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE;QACxF,CAAC,CAAC,GAAG,CAAC;IACV,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAC/B,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IACxE,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7C,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,cAAc;YACxD,IAAI,EAAE,CAAC,QAAQ,CAAC;YAChB,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,KAAK,aAAa,EAAE,CAAC;QAC3B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,uBAAuB,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC/F,CAAC;IACD,MAAM,EAAE,GAAG,GAAG,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;IACtC,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACrB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACnE,CAAC;IACD,OAAO,CAAC,UAAU,CAChB,kBAAkB,IAAI,EAAE,EACxB,IAAI,EACJ,gBAAgB,EAChB,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CACjD,CAAC;AACJ,CAAC"}
+{"version":3,"file":"dates.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/dates.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,GAAG,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EACL,IAAI,EACJ,GAAG,EAKH,MAAM,EACN,MAAM,EACN,OAAO,GACR,MAAM,mBAAmB,CAAC;AAE3B,MAAM,eAAe,GAAsC;IACzD,WAAW,EAAE,kBAAkB;IAC/B,cAAc,EAAE,qBAAqB;IACrC,QAAQ,EAAE,eAAe;IACzB,WAAW,EAAE,kBAAkB;IAC/B,OAAO,EAAE,cAAc;IACvB,UAAU,EAAE,iBAAiB;IAC7B,MAAM,EAAE,aAAa;IACrB,SAAS,EAAE,gBAAgB;IAC3B,QAAQ,EAAE,eAAe;IACzB,WAAW,EAAE,kBAAkB;IAC/B,UAAU,EAAE,iBAAiB;IAC7B,aAAa,EAAE,oBAAoB;IACnC,UAAU,EAAE,iBAAiB;IAC7B,aAAa,EAAE,oBAAoB;IACnC,eAAe,EAAE,sBAAsB;IACvC,kBAAkB,EAAE,yBAAyB;IAC7C,iBAAiB,EAAE,wBAAwB;CAC5C,CAAC;AAEF,MAAM,aAAa,GAAiC,IAAI,GAAG,CAAC;IAC1D,CAAC,UAAU,EAAE,eAAe,CAAC;IAC7B,CAAC,cAAc,EAAE,mBAAmB,CAAC;IACrC,CAAC,cAAc,EAAE,mBAAmB,CAAC;CACtC,CAAC,CAAC;AAEH,MAAM,gBAAgB,GACpB,sOAAsO,CAAC;AAEzO;;kDAEkD;AAClD,MAAM,UAAU,aAAa,CAC3B,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,IAAI,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC;QACzD,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtC,OAAO,CAAC,UAAU,CAAC,iBAAiB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;QACrF,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACvE,CAAC;IACD,sEAAsE;IACtE,2EAA2E;IAC3E,IAAI,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,OAAO,EAAE,CAAC;QAC3D,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;YACtF,OAAO,CAAC,UAAU,CAAC,mBAAmB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;QACvF,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC;QAC3E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC9E,CAAC;IACD,wEAAwE;IACxE,mEAAmE;IACnE,gEAAgE;IAChE,mEAAmE;IACnE,qDAAqD;IACrD,IAAI,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC;QACzD,IACE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;YAC/B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;YAC/B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EACvD,CAAC;YACD,OAAO,CAAC,UAAU,CAAC,iBAAiB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;QACrF,CAAC;QACD,MAAM,QAAQ,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,qCAAqC;QAC7E,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAClC,IAAI,CAAC,IAAI,CACP,CAAC,KAAK,SAAS;gBACb,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,EAAE,GAAG,CAAC;gBACpC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAC5D,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACnE,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACvF,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACrE,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,CAAC,UAAU,CAAC,kBAAkB,IAAI,iBAAiB,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACtF,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACjD,MAAM,QAAQ,GACZ,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QACrB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE;QACxF,CAAC,CAAC,GAAG,CAAC;IACV,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAC/B,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IACxE,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7C,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,cAAc;YACxD,IAAI,EAAE,CAAC,QAAQ,CAAC;YAChB,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,KAAK,aAAa,EAAE,CAAC;QAC3B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,uBAAuB,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC/F,CAAC;IACD,IAAI,IAAI,KAAK,aAAa,EAAE,CAAC;QAC3B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC1F,CAAC;IACD,MAAM,EAAE,GAAG,GAAG,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;IACtC,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACrB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACnE,CAAC;IACD,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC9E,CAAC;IACD,OAAO,CAAC,UAAU,CAChB,kBAAkB,IAAI,EAAE,EACxB,IAAI,EACJ,gBAAgB,EAChB,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CACjD,CAAC;AACJ,CAAC;AAED;;6EAE6E;AAC7E,SAAS,eAAe,CACtB,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC5F,OAAO,CAAC,UAAU,CAAC,8BAA8B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;IAClG,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACjD,MAAM,QAAQ,GACZ,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QACrB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE;QACxF,CAAC,CAAC,GAAG,CAAC;IACV,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAC/B,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IACxE,MAAM,IAAI,GAAG,OAAO,CAAC,kBAAkB,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAChE,MAAM,KAAK,GAAa,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;IACrF,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,GAAG;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC7E,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;IACrF,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC5F,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACnC,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK;QACL,MAAM,EAAE;YACN,IAAI,EAAE,SAAS;YACf,wEAAwE;YACxE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAC1E,IAAI,EAAE,OAAO,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC;YAC1F,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAC7B,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,uBAAuB,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAClF,IAAI,CACL;YACD,IAAI;YACJ,GAAG;SACJ;QACD,IAAI;QACJ,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,YAAY,CAAC,OAAgB;IAC3C,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjF,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;AACjE,CAAC;AAED;;iBAEiB;AACjB,MAAM,UAAU,gBAAgB,CAAC,OAAgB,EAAE,IAAa;IAC9D,OAAO,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;IAClE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,MAAM,GACV,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI;YACvF,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,iCAAiC,CAAC,IAAI,CAAC,MAAM,CAAC;YAChE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAChD,OAAO,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC;IAChG,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,OAAO,CACL,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC7B,CAAC,IAAI,CAAC,gBAAgB;QACtB,CAAC,MAAM,CAAC,gBAAgB;QACxB,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,KAAK,MAAM;QACrE,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAC/B,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/builtins/disposable-stack.d.ts

@@ -0,0 +1,18 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+import { type IrExpr } from "../../../ir/ir.js";
+/** `new DisposableStack()`: a native stack handle (scr_symbol.c). Its
+ * members are function values and getters of the handle, reached through
+ * the checked-dynamic method and property paths. Null for other
+ * constructors. */
+export declare function lowerDisposableStackNew(lowerer: Lowerer, expr: ts.NewExpression): IrExpr | null;
+/** `x instanceof DisposableStack`, or null when the right side is not the
+ * standard library's DisposableStack. */
+export declare function lowerDisposableStackInstanceOf(lowerer: Lowerer, expr: ts.BinaryExpression): IrExpr | null;
+/** `stack.use(value)` where `value` is a class instance. The dyn view of a
+ * class instance has no methods, so the stack receives a function that
+ * calls the class's [Symbol.dispose] method on the value, and the call
+ * answers the value at its static type. Other values take the
+ * checked-dynamic method path, which reads the value's [Symbol.dispose].
+ * Null when the call is not that form. */
+export declare function lowerDisposableStackUseCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;

package/dist/frontend/lowering/builtins/disposable-stack.js

@@ -0,0 +1,137 @@
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+import { locOf } from "../../program.js";
+import { newFnCtx } from "../function-context.js";
+import { BOOL, DYN, VOID } from "../../../ir/ir.js";
+import { varRef } from "../../../ir/build.js";
+/** Whether `node`'s static type is the standard library's DisposableStack. */
+function isStdlibDisposableStack(lowerer, node) {
+    const type = lowerer.checker.getBaseTypeOfLiteralType(lowerer.typeOf(node));
+    for (const symbol of [type.getSymbol(), type.getAliasSymbol()]) {
+        if (symbol !== undefined &&
+            ts.symbolName(symbol) === "DisposableStack" &&
+            lowerer.isStdlibSymbol(symbol))
+            return true;
+    }
+    return false;
+}
+/** `new DisposableStack()`: a native stack handle (scr_symbol.c). Its
+ * members are function values and getters of the handle, reached through
+ * the checked-dynamic method and property paths. Null for other
+ * constructors. */
+export function lowerDisposableStackNew(lowerer, expr) {
+    if (!ts.isIdentifier(expr.expression) || expr.expression.text !== "DisposableStack")
+        return null;
+    const symbol = lowerer.resolveValueSymbol(expr.expression);
+    if (!symbol || !lowerer.isStdlibSymbol(symbol))
+        return null;
+    if ((expr.arguments?.nodes ?? []).length !== 0)
+        return null;
+    return { kind: "libCall", fn: "disposable.stackNew", args: [], type: DYN, loc: locOf(expr) };
+}
+/** `x instanceof DisposableStack`, or null when the right side is not the
+ * standard library's DisposableStack. */
+export function lowerDisposableStackInstanceOf(lowerer, expr) {
+    if (!lowerer.isStdlibGlobal(expr.right, "DisposableStack"))
+        return null;
+    const value = lowerer.coerceInto(expr.left, lowerer.lowerExpr(expr.left), DYN);
+    return { kind: "libCall", fn: "disposable.stackIs", args: [value], type: BOOL, loc: locOf(expr) };
+}
+/** `stack.use(value)` where `value` is a class instance. The dyn view of a
+ * class instance has no methods, so the stack receives a function that
+ * calls the class's [Symbol.dispose] method on the value, and the call
+ * answers the value at its static type. Other values take the
+ * checked-dynamic method path, which reads the value's [Symbol.dispose].
+ * Null when the call is not that form. */
+export function lowerDisposableStackUseCall(lowerer, call, access) {
+    if (call.questionDotToken || access.questionDotToken)
+        return null;
+    if (access.name.text !== "use" || call.arguments.nodes.length !== 1)
+        return null;
+    const argNode = call.arguments.nodes[0];
+    if (ts.isSpreadElement(argNode))
+        return null;
+    if (!isStdlibDisposableStack(lowerer, access.expression))
+        return null;
+    const valueT = lowerer.mapTypeOf(lowerer.typeOf(argNode));
+    if (valueT?.kind === "union") {
+        const arms = lowerer.unions.get(valueT.unionId)?.arms ?? [];
+        if (arms.some((arm) => arm.kind === "object")) {
+            lowerer.unsupported("SC1090", argNode, "DisposableStack.use on a union with class instances (narrow the value to the class first)");
+        }
+    }
+    if (valueT?.kind !== "object")
+        return null;
+    const loc = locOf(call);
+    const className = valueT.className;
+    const info = lowerer.classes.get(className);
+    if (!info)
+        lowerer.flushDeferredClass(className);
+    const found = info ? lowerer.findMethodOn(info, "sym:dispose") : null;
+    if (!found)
+        return null;
+    if (found.sig.params.length !== 0) {
+        lowerer.unsupported("SC1090", argNode, "[Symbol.dispose] methods with parameters");
+    }
+    const stack = lowerer.lowerExpr(access.expression);
+    const value = lowerer.lowerExpr(argNode);
+    const key = `disposableStack.use:${className}`;
+    let helper = lowerer.valueHelpers.get(key);
+    if (!helper) {
+        helper = `%disposableStack.use.${lowerer.valueHelpers.size}`;
+        lowerer.valueHelpers.set(key, helper);
+        const context = newFnCtx(false, null, null, VOID);
+        lowerer.fnStack.push(context);
+        try {
+            const param = lowerer.declareHiddenLocal("value", valueT);
+            const self = varRef(param.id, valueT, loc);
+            lowerer.liftedFns.push({
+                name: helper,
+                params: [{ localId: param.id, name: "value", type: valueT }],
+                returnType: VOID,
+                locals: context.locals,
+                body: [
+                    {
+                        kind: "exprStmt",
+                        expr: lowerer.accessorCall(className, "sym:dispose", self, [], found.sig.ret, loc),
+                        loc,
+                    },
+                ],
+                loc,
+            });
+        }
+        finally {
+            lowerer.fnStack.pop();
+        }
+    }
+    const stackLocal = lowerer.declareHiddenLocal("%disposableStack", DYN);
+    const valueLocal = lowerer.declareHiddenLocal("%disposableValue", valueT);
+    const fnT = { kind: "func", params: [valueT], ret: VOID };
+    const dispose = { kind: "closure", fnName: helper, captures: [], type: fnT, loc };
+    return {
+        kind: "seqExpr",
+        stmts: [
+            { kind: "varDecl", localId: stackLocal.id, init: stack, loc },
+            { kind: "varDecl", localId: valueLocal.id, init: value, loc },
+            {
+                kind: "exprStmt",
+                expr: {
+                    kind: "libCall",
+                    fn: "disposable.stackUseCallback",
+                    args: [
+                        varRef(stackLocal.id, DYN, loc),
+                        lowerer.coerceToExpected(varRef(valueLocal.id, valueT, loc), DYN),
+                        lowerer.coerceToExpected(dispose, DYN),
+                    ],
+                    type: BOOL,
+                    loc,
+                },
+                loc,
+            },
+        ],
+        result: varRef(valueLocal.id, valueT, loc),
+        type: valueT,
+        loc,
+    };
+}
+//# sourceMappingURL=disposable-stack.js.map

package/dist/frontend/lowering/builtins/disposable-stack.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"disposable-stack.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/disposable-stack.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAClD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAA4B,MAAM,mBAAmB,CAAC;AAC9E,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAE9C,8EAA8E;AAC9E,SAAS,uBAAuB,CAAC,OAAgB,EAAE,IAAmB;IACpE,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,wBAAwB,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5E,KAAK,MAAM,MAAM,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,IAAI,CAAC,cAAc,EAAE,CAAC,EAAE,CAAC;QAC/D,IACE,MAAM,KAAK,SAAS;YACpB,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,iBAAiB;YAC3C,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC;YAE9B,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;mBAGmB;AACnB,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAsB;IAC9E,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,IAAI,CAAC;IACjG,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC3D,IAAI,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5D,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5D,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,qBAAqB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;AAC/F,CAAC;AAED;yCACyC;AACzC,MAAM,UAAU,8BAA8B,CAC5C,OAAgB,EAChB,IAAyB;IAEzB,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,iBAAiB,CAAC;QAAE,OAAO,IAAI,CAAC;IACxE,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;IAC/E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;AACpG,CAAC;AAED;;;;;0CAK0C;AAC1C,MAAM,UAAU,2BAA2B,CACzC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,IAAI,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACjF,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;IACzC,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7C,IAAI,CAAC,uBAAuB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACtE,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1D,IAAI,MAAM,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;QAC5D,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;YAC9C,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,OAAO,EACP,2FAA2F,CAC5F,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,MAAM,EAAE,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;IACnC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC5C,IAAI,CAAC,IAAI;QAAE,OAAO,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACtE,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,EAAE,0CAA0C,CAAC,CAAC;IACrF,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACzC,MAAM,GAAG,GAAG,uBAAuB,SAAS,EAAE,CAAC;IAC/C,IAAI,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,wBAAwB,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QAC7D,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAClD,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YAC1D,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;YAC3C,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;gBACrB,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;gBAC5D,UAAU,EAAE,IAAI;gBAChB,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE,OAAO,CAAC,YAAY,CAAC,SAAS,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC;wBAClF,GAAG;qBACJ;iBACF;gBACD,GAAG;aACJ,CAAC,CAAC;QACL,CAAC;gBAAS,CAAC;YACT,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;QACxB,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,OAAO,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,GAAG,CAAC,CAAC;IACvE,MAAM,UAAU,GAAG,OAAO,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC;IAC1E,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IAClE,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC1F,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE;YACL,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;YAC7D,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;YAC7D;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,6BAA6B;oBACjC,IAAI,EAAE;wBACJ,MAAM,CAAC,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC;wBAC/B,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC;wBACjE,OAAO,CAAC,gBAAgB,CAAC,OAAO,EAAE,GAAG,CAAC;qBACvC;oBACD,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,GAAG;aACJ;SACF;QACD,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC;QAC1C,IAAI,EAAE,MAAM;QACZ,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/builtins/environment.js

@@ -53,12 +53,12 @@ export function lowerProcessEnvGet(lowerer, expr) {
     return { kind: "libCall", fn: "process.envGet", args: [key], type: lowerer.envValueType(), loc };
 }
 export function lowerProcessLoadEnvFile(lowerer, call) {
-    if (call.arguments.length > 1 || call.arguments.some(ts.isSpreadElement)) {
+    if (call.arguments.nodes.length > 1 || call.arguments.nodes.some(ts.isSpreadElement)) {
         lowerer.noLowering("process.loadEnvFile with spread or extra arguments", call);
     }
     const loc = locOf(call);
-    const path = call.arguments[0]
-        ? lowerer.lowerExprExpecting(call.arguments[0], DYN)
+    const path = call.arguments.nodes[0]
+        ? lowerer.lowerExprExpecting(call.arguments.nodes[0], DYN)
         : dynUndefinedExpr(loc);
     const load = {
         kind: "libCall",

package/dist/frontend/lowering/builtins/environment.js.map

@@ -1 +1 @@
-{"version":3,"file":"environment.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/environment.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EACL,GAAG,EAGH,MAAM,EAEN,IAAI,EACJ,OAAO,EACP,UAAU,GACX,MAAM,mBAAmB,CAAC;AAE3B;;;;;;gBAMgB;AAChB,MAAM,UAAU,gBAAgB,CAAC,OAAgB,EAAE,IAAmB;IACpE,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO,CAAC,UAAU,CAChB,qBAAqB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,EAClD,IAAI,EACJ,mFAAmF,CACpF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACrE,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,CAAC,UAAU,CAChB,qBAAqB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,EAClD,IAAI,EACJ,oDAAoD,CACrD,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;AAC9F,CAAC;AAED;+BAC+B;AAC/B,MAAM,UAAU,YAAY,CAAC,OAAgB,EAAE,IAAmB;IAChE,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,KAAK,CAC7F,CAAC;AACJ,CAAC;AAED;;;oBAGoB;AACpB,MAAM,UAAU,YAAY,CAAC,OAAgB;IAC3C,OAAO,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;AAC1C,CAAC;AAED;;;yDAGyD;AACzD,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAiC;IAEjC,IAAI,IAAI,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACvC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,GAAG,GAAW;QAClB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;QACrB,IAAI,EAAE,MAAM;QACZ,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;KACtB,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,YAAY,EAAE,EAAE,GAAG,EAAE,CAAC;AACnG,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAuB;IAC/E,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QACzE,OAAO,CAAC,UAAU,CAAC,oDAAoD,EAAE,IAAI,CAAC,CAAC;IACjF,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAW,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;QACpC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;QACpD,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,CAAC,IAAI,CAAC;QACZ,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC;IACF,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACvD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC9C,MAAM,EAAE,gBAAgB,CAAC,GAAG,CAAC;QAC7B,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;;;;0EAO0E;AAC1E,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,OAAe,EAAE,GAAW;IAC9E,OAAO,mBAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE;QAChD,SAAS,EAAE,KAAK;QAChB,OAAO,EAAE,kBAAkB;QAC3B,YAAY,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC;KAC7E,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"environment.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/environment.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EACL,GAAG,EAGH,MAAM,EAEN,IAAI,EACJ,OAAO,EACP,UAAU,GACX,MAAM,mBAAmB,CAAC;AAE3B;;;;;;gBAMgB;AAChB,MAAM,UAAU,gBAAgB,CAAC,OAAgB,EAAE,IAAmB;IACpE,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO,CAAC,UAAU,CAChB,qBAAqB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,EAClD,IAAI,EACJ,mFAAmF,CACpF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACrE,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,CAAC,UAAU,CAChB,qBAAqB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,EAClD,IAAI,EACJ,oDAAoD,CACrD,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;AAC9F,CAAC;AAED;+BAC+B;AAC/B,MAAM,UAAU,YAAY,CAAC,OAAgB,EAAE,IAAmB;IAChE,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,KAAK,CAC7F,CAAC;AACJ,CAAC;AAED;;;oBAGoB;AACpB,MAAM,UAAU,YAAY,CAAC,OAAgB;IAC3C,OAAO,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;AAC1C,CAAC;AAED;;;yDAGyD;AACzD,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAiC;IAEjC,IAAI,IAAI,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACvC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,GAAG,GAAW;QAClB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;QACrB,IAAI,EAAE,MAAM;QACZ,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;KACtB,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,YAAY,EAAE,EAAE,GAAG,EAAE,CAAC;AACnG,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAuB;IAC/E,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QACrF,OAAO,CAAC,UAAU,CAAC,oDAAoD,EAAE,IAAI,CAAC,CAAC;IACjF,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1C,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;QAC1D,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,CAAC,IAAI,CAAC;QACZ,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC;IACF,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACvD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC9C,MAAM,EAAE,gBAAgB,CAAC,GAAG,CAAC;QAC7B,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;;;;0EAO0E;AAC1E,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,OAAe,EAAE,GAAW;IAC9E,OAAO,mBAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE;QAChD,SAAS,EAAE,KAAK;QAChB,OAAO,EAAE,kBAAkB;QAC3B,YAAY,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC;KAC7E,CAAC,CAAC;AACL,CAAC"}

package/dist/frontend/lowering/builtins/errors.d.ts

@@ -1,14 +1,18 @@
 import * as ts from "../../ts7/adapter.js";
 import { type Lowerer } from "../lowerer.js";
 import { type IrExpr } from "../../../ir/ir.js";
-/** `.code` and `.cause` on an error-hierarchy receiver. The latter reads
- * the hidden dyn slot installed by constructor options. The former is NodeJS.ErrnoException's
- * member (the fallback declares the same shape): the runtime Error's
- * code slot as `string | undefined` — the errno name where a throw site
- * stamped one (fs, exec spawn/timeout, process.kill, the spawn 'error'
- * event), undefined everywhere else. Stdlib provenance required (a user
- * class's own `code` field takes the ordinary field paths — its
- * declaration is not stdlib). Reads only: writes keep their fence (no
- * compiled program constructs an errno error). Null for non-error
- * receivers and non-stdlib members, so the chain keeps trying. */
+/** True for child_process.ExecException, exec's callback error. Its
+ * `code` is the child's numeric exit status (null after a signal), which
+ * the runtime error's string code slot does not hold, so reads, `in` tests
+ * and typeof tests of `code` refuse instead of answering from the slot. */
+export declare function isExecExceptionType(lowerer: Lowerer, t: ts.Type): boolean;
+export declare function refuseExecExceptionCode(lowerer: Lowerer, node: ts.Node): never;
 export declare function lowerErrorCodeProperty(lowerer: Lowerer, expr: ts.PropertyAccessExpression): IrExpr | null;
+/** `Error.isError(value)`. A catch binding tests its payload against the
+ * Error class, an `unknown` value tests the checked-dynamic tree's error
+ * encoding, and a union tests its runtime tag against the arms whose class
+ * extends Error. Every other type answers statically: true for class
+ * instances whose class extends Error, false otherwise. The argument is
+ * evaluated in every case. Null when the callee is not the standard
+ * library's Error.isError. */
+export declare function lowerErrorIsErrorCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;