@scriptc/compiler 0.3.6 → 0.4.1

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/ecdh.d.ts

@@ -0,0 +1,10 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+import { type IrExpr } from "../../../ir/ir.js";
+/** Whether a checker type is node:crypto's ECDH. */
+export declare function isEcdhType(lowerer: Lowerer, type: ts.Type): boolean;
+/** crypto.createECDH(curveName): a native ECDH handle. */
+export declare function lowerCreateEcdh(lowerer: Lowerer, call: ts.CallExpression): IrExpr;
+/** `ECDH.convertKey(...)` and calls on native ECDH handles. Methods
+ * dispatch through the handle with checked-dynamic arguments. */
+export declare function lowerEcdhCall(lowerer: Lowerer, call: ts.CallExpression): IrExpr | null;

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

@@ -0,0 +1,208 @@
+import * as ts from "../../ts7/adapter.js";
+import { dynUndefinedExpr, nodeThrowExpr, varRef } from "../../../ir/build.js";
+import {} from "../lowerer.js";
+import { locOf } from "../../program.js";
+import { DYN } from "../../../ir/ir.js";
+import { builtinImportOf } from "./module-bindings.js";
+import { v8CalleeText } from "./crypto.js";
+import { CRYPTO_CURVES } from "../crypto-tables.js";
+/* node:crypto's ECDH is a native checked-dynamic handle (scr_ecdh.c): the
+ * ECDH type maps to dyn, its methods dispatch through the handle, and
+ * these helpers lower createECDH, the static ECDH.convertKey and the
+ * method calls. */
+/** Whether `node` names node:crypto's ECDH class. */
+function isEcdhClass(lowerer, node) {
+    const builtin = ts.isIdentifier(node)
+        ? builtinImportOf(lowerer, node)
+        : ts.isPropertyAccessExpression(node) && !node.questionDotToken
+            ? lowerer.builtinMemberOf(node)
+            : null;
+    return builtin?.module === "crypto" && builtin.member === "ECDH";
+}
+/** Whether a checker type is node:crypto's ECDH. */
+export function isEcdhType(lowerer, type) {
+    const symbol = type.getAliasSymbol() ?? type.getSymbol();
+    return !!symbol && ts.symbolName(symbol) === "ECDH" && lowerer.isStdlibSymbol(symbol);
+}
+/** The call's arguments as checked-dynamic values in hidden locals, the
+ * first `count` of them padded with undefined, so every argument is
+ * evaluated left to right before the runtime checks them. Surplus
+ * arguments are evaluated and dropped. */
+function dynArguments(lowerer, call, count, stmts) {
+    const args = call.arguments.nodes;
+    const loc = locOf(call);
+    const values = [];
+    for (let i = 0; i < count; i++) {
+        const input = args[i]
+            ? lowerer.lowerExprExpecting(args[i], DYN)
+            : dynUndefinedExpr(loc);
+        const saved = lowerer.declareHiddenLocal("%ecdhInput", DYN);
+        stmts.push({ kind: "varDecl", localId: saved.id, init: input, loc });
+        values.push(varRef(saved.id, DYN, loc));
+    }
+    for (const arg of args.slice(count))
+        stmts.push({ kind: "exprStmt", expr: lowerer.lowerExpr(arg), loc });
+    return values;
+}
+/** The curves scr_ecdh.c implements, by their OpenSSL short names. */
+const IMPLEMENTED_CURVES = new Set([
+    "prime192v1",
+    "secp224r1",
+    "prime256v1",
+    "secp384r1",
+    "secp521r1",
+    "secp192k1",
+    "secp224k1",
+    "secp256k1",
+    "brainpoolP256r1",
+    "brainpoolP384r1",
+    "brainpoolP512r1",
+]);
+/** A literal curve name that Node knows (crypto.getCurves()) but the
+ * runtime does not implement is refused at compile time; computed names
+ * throw a coded SC2020 error at run time, and unknown names keep Node's
+ * errors. */
+function checkCurveName(lowerer, node, use) {
+    if (node === undefined)
+        return;
+    const type = lowerer.typeOf(node);
+    if (!type.isStringLiteralType())
+        return;
+    if (IMPLEMENTED_CURVES.has(type.value) || !CRYPTO_CURVES.includes(type.value))
+        return;
+    lowerer.noLowering(`${use} with curve '${type.value}'`, node, "the supported curves are prime192v1, secp224r1, prime256v1, secp384r1, secp521r1, secp192k1, " +
+        "secp224k1, secp256k1, brainpoolP256r1, brainpoolP384r1, and brainpoolP512r1");
+}
+/** crypto.createECDH(curveName): a native ECDH handle. */
+export function lowerCreateEcdh(lowerer, call) {
+    if (call.arguments.nodes.some(ts.isSpreadElement))
+        lowerer.noLowering("crypto.createECDH with spread arguments", call);
+    checkCurveName(lowerer, call.arguments.nodes[0], "crypto.createECDH");
+    const loc = locOf(call);
+    const stmts = [];
+    const values = dynArguments(lowerer, call, 1, stmts);
+    return {
+        kind: "seqExpr",
+        stmts,
+        result: { kind: "libCall", fn: "crypto.ecdhNew", args: values, type: DYN, loc },
+        type: DYN,
+        loc,
+    };
+}
+const ECDH_METHODS = new Set([
+    "generateKeys",
+    "computeSecret",
+    "getPublicKey",
+    "getPrivateKey",
+    "setPrivateKey",
+    "setPublicKey",
+]);
+/** computeSecret(view, encoding): Node reads the second argument as the
+ * input encoding, which a view key ignores, so the call answers a Buffer
+ * where @types/node declares the string of an output encoding. The
+ * form is refused at compile time rather than failing the string check
+ * at run time. */
+function refuseViewKeyWithEncoding(lowerer, call, name) {
+    if (name !== "computeSecret")
+        return;
+    const args = call.arguments.nodes;
+    if (args.length !== 2)
+        return;
+    const encoding = lowerer.typeOf(args[1]);
+    if ((encoding.flags & (ts.TypeFlags.Undefined | ts.TypeFlags.Null)) !== 0)
+        return;
+    if ((lowerer.typeOf(args[0]).flags & ts.TypeFlags.StringLike) !== 0)
+        return;
+    lowerer.noLowering("ECDH.computeSecret(key, encoding) with a Buffer or view key", call, "Node reads the second argument as the key's input encoding and answers a Buffer; " +
+        "pass the output encoding third: computeSecret(key, undefined, encoding)");
+}
+/** A call whose arguments the checker's chosen @types/node overload does
+ * not accept: the checker then types the result by an overload Node may
+ * not follow (getPublicKey("HEX") answers a string where the encoding-less
+ * overload declares a Buffer), so the call is refused rather than checked
+ * against that type at run time. Arguments typed any are accepted. */
+function refuseUnmatchedOverload(lowerer, call, what) {
+    const signature = lowerer.checker.getResolvedSignature(call);
+    if (signature === undefined)
+        return;
+    const params = signature.getParameters();
+    const args = call.arguments.nodes;
+    for (let i = 0; i < args.length && i < params.length; i++) {
+        const argType = lowerer.typeOf(args[i]);
+        if ((argType.flags & ts.TypeFlags.Any) !== 0)
+            continue;
+        const paramType = lowerer.checker.getTypeOfSymbolAtLocation(params[i], call);
+        if (lowerer.checker.isTypeAssignableTo(argType, paramType))
+            continue;
+        lowerer.noLowering(`${what} with an argument its declared overloads do not accept`, args[i], `pass ${lowerer.checker.typeToString(paramType)} here, as @types/node declares`);
+    }
+}
+/** `ECDH.convertKey(...)` and calls on native ECDH handles. Methods
+ * dispatch through the handle with checked-dynamic arguments. */
+export function lowerEcdhCall(lowerer, call) {
+    if (call.questionDotToken || !ts.isPropertyAccessExpression(call.expression))
+        return null;
+    const access = call.expression;
+    if (access.questionDotToken)
+        return null;
+    const name = access.name.text;
+    if (name === "convertKey" && isEcdhClass(lowerer, access.expression)) {
+        if (call.arguments.nodes.some(ts.isSpreadElement))
+            lowerer.noLowering("ECDH.convertKey with spread arguments", call);
+        refuseUnmatchedOverload(lowerer, call, "ECDH.convertKey");
+        checkCurveName(lowerer, call.arguments.nodes[1], "ECDH.convertKey");
+        const loc = locOf(call);
+        const stmts = [];
+        const values = dynArguments(lowerer, call, 5, stmts);
+        return {
+            kind: "seqExpr",
+            stmts,
+            result: { kind: "libCall", fn: "crypto.ecdhConvertKey", args: values, type: DYN, loc },
+            type: DYN,
+            loc,
+        };
+    }
+    if (!isEcdhType(lowerer, lowerer.typeOf(access.expression)))
+        return null;
+    const loc = locOf(call);
+    if (!ECDH_METHODS.has(name)) {
+        // Node reads the member as undefined and throws a TypeError once the
+        // receiver and arguments are evaluated.
+        const evaluated = [access.expression, ...call.arguments.nodes].map((node) => ({
+            kind: "exprStmt",
+            expr: lowerer.lowerExpr(node),
+            loc,
+        }));
+        return {
+            kind: "seqExpr",
+            stmts: evaluated,
+            result: nodeThrowExpr(1, "", `${v8CalleeText(access)} is not a function`, DYN, loc),
+            type: DYN,
+            loc,
+        };
+    }
+    if (call.arguments.nodes.some(ts.isSpreadElement))
+        lowerer.noLowering(`ECDH.${name} with spread arguments`, call);
+    refuseViewKeyWithEncoding(lowerer, call, name);
+    // setPublicKey has no @types/node declaration.
+    if (name !== "setPublicKey")
+        refuseUnmatchedOverload(lowerer, call, `ECDH.${name}`);
+    const invoke = {
+        kind: "dynInvoke",
+        recv: lowerer.lowerExprExpecting(access.expression, DYN),
+        method: name,
+        calleeName: v8CalleeText(access),
+        args: call.arguments.nodes.map((arg) => lowerer.lowerExprExpecting(arg, DYN)),
+        type: DYN,
+        loc,
+    };
+    // The arguments match a declared overload, so a Buffer or string result
+    // takes its static representation.
+    if (name === "setPrivateKey" || name === "setPublicKey")
+        return invoke;
+    const result = lowerer.irTypeOf(call);
+    return result.kind === "bytes" || result.kind === "string"
+        ? lowerer.coerceInto(call, invoke, result)
+        : invoke;
+}
+//# sourceMappingURL=ecdh.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ecdh.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/ecdh.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC/E,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,GAAG,EAA4B,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEpD;;;mBAGmB;AAEnB,qDAAqD;AACrD,SAAS,WAAW,CAAC,OAAgB,EAAE,IAAmB;IACxD,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACnC,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC;QAChC,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB;YAC7D,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC;YAC/B,CAAC,CAAC,IAAI,CAAC;IACX,OAAO,OAAO,EAAE,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,CAAC;AACnE,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,UAAU,CAAC,OAAgB,EAAE,IAAa;IACxD,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,EAAE,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;IACzD,OAAO,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,MAAM,IAAI,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;AACxF,CAAC;AAED;;;0CAG0C;AAC1C,SAAS,YAAY,CACnB,OAAgB,EAChB,IAAuB,EACvB,KAAa,EACb,KAAe;IAEf,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;IAClC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAW,IAAI,CAAC,CAAC,CAAC;YAC3B,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC;YAC3C,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;QAC5D,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QACrE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC1C,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACtE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,sEAAsE;AACtE,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IACjC,YAAY;IACZ,WAAW;IACX,YAAY;IACZ,WAAW;IACX,WAAW;IACX,WAAW;IACX,WAAW;IACX,WAAW;IACX,iBAAiB;IACjB,iBAAiB;IACjB,iBAAiB;CAClB,CAAC,CAAC;AAEH;;;aAGa;AACb,SAAS,cAAc,CAAC,OAAgB,EAAE,IAA+B,EAAE,GAAW;IACpF,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO;IAC/B,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,CAAC,IAAI,CAAC,mBAAmB,EAAE;QAAE,OAAO;IACxC,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO;IACtF,OAAO,CAAC,UAAU,CAChB,GAAG,GAAG,gBAAgB,IAAI,CAAC,KAAK,GAAG,EACnC,IAAI,EACJ,+FAA+F;QAC7F,6EAA6E,CAChF,CAAC;AACJ,CAAC;AAED,0DAA0D;AAC1D,MAAM,UAAU,eAAe,CAAC,OAAgB,EAAE,IAAuB;IACvE,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC;QAC/C,OAAO,CAAC,UAAU,CAAC,yCAAyC,EAAE,IAAI,CAAC,CAAC;IACtE,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAC;IACtE,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACrD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK;QACL,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QAC/E,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC;IAC3B,cAAc;IACd,eAAe;IACf,cAAc;IACd,eAAe;IACf,eAAe;IACf,cAAc;CACf,CAAC,CAAC;AAEH;;;;kBAIkB;AAClB,SAAS,yBAAyB,CAAC,OAAgB,EAAE,IAAuB,EAAE,IAAY;IACxF,IAAI,IAAI,KAAK,eAAe;QAAE,OAAO;IACrC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;IAClC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;IAC1C,IAAI,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC;QAAE,OAAO;IAClF,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO;IAC7E,OAAO,CAAC,UAAU,CAChB,6DAA6D,EAC7D,IAAI,EACJ,mFAAmF;QACjF,yEAAyE,CAC5E,CAAC;AACJ,CAAC;AAED;;;;sEAIsE;AACtE,SAAS,uBAAuB,CAAC,OAAgB,EAAE,IAAuB,EAAE,IAAY;IACtF,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC7D,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO;IACpC,MAAM,MAAM,GAAG,SAAS,CAAC,aAAa,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;IAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1D,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;QACzC,IAAI,CAAC,OAAO,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QACvD,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,CAAC;QAC9E,IAAI,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,OAAO,EAAE,SAAS,CAAC;YAAE,SAAS;QACrE,OAAO,CAAC,UAAU,CAChB,GAAG,IAAI,wDAAwD,EAC/D,IAAI,CAAC,CAAC,CAAE,EACR,QAAQ,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,SAAS,CAAC,gCAAgC,CAChF,CAAC;IACJ,CAAC;AACH,CAAC;AAED;iEACiE;AACjE,MAAM,UAAU,aAAa,CAAC,OAAgB,EAAE,IAAuB;IACrE,IAAI,IAAI,CAAC,gBAAgB,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1F,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,IAAI,IAAI,KAAK,YAAY,IAAI,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QACrE,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC;YAC/C,OAAO,CAAC,UAAU,CAAC,uCAAuC,EAAE,IAAI,CAAC,CAAC;QACpE,uBAAuB,CAAC,OAAO,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC;QAC1D,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC;QACpE,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;QACrD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,KAAK;YACL,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,uBAAuB,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACtF,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACzE,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,qEAAqE;QACrE,wCAAwC;QACxC,MAAM,SAAS,GAAG,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAU,EAAE,CAAC,CAAC;YACpF,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YAC7B,GAAG;SACJ,CAAC,CAAC,CAAC;QACJ,OAAO;YACL,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,SAAS;YAChB,MAAM,EAAE,aAAa,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,YAAY,CAAC,MAAM,CAAC,oBAAoB,EAAE,GAAG,EAAE,GAAG,CAAC;YACnF,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC;QAC/C,OAAO,CAAC,UAAU,CAAC,QAAQ,IAAI,wBAAwB,EAAE,IAAI,CAAC,CAAC;IACjE,yBAAyB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/C,+CAA+C;IAC/C,IAAI,IAAI,KAAK,cAAc;QAAE,uBAAuB,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC;IACpF,MAAM,MAAM,GAAW;QACrB,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC;QACxD,MAAM,EAAE,IAAI;QACZ,UAAU,EAAE,YAAY,CAAC,MAAM,CAAC;QAChC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC7E,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;IACF,wEAAwE;IACxE,mCAAmC;IACnC,IAAI,IAAI,KAAK,eAAe,IAAI,IAAI,KAAK,cAAc;QAAE,OAAO,MAAM,CAAC;IACvE,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACtC,OAAO,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;QACxD,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC;QAC1C,CAAC,CAAC,MAAM,CAAC;AACb,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"}