@scriptc/compiler 0.4.2 → 0.4.4

package/dist/frontend/lowering/completion-callbacks.js

@@ -0,0 +1,146 @@
+/* Completion callbacks in programs that use AsyncLocalStorage. Node runs
+ * the callback of an operation a callback-style API starts (fs.readFile,
+ * crypto.randomBytes, zlib.gzip, dns.lookup, server.listen, net.connect,
+ * http.get, stream.finished, stream.pipeline, ...) with the stores active
+ * when the call started it. The runtime invokes these callbacks from
+ * the event loop, where the context is empty, so in programs whose
+ * scheduling carries contexts (RuntimeFeatures asyncContext) each such
+ * argument is bound to the active context at the call: als.bindCallback
+ * for typed closures, als.bindCallbackDyn for dyn functions. Other
+ * programs are left unchanged. */
+import { BOOL } from "../../ir/ir.js";
+import { mapExprChildren, mapStmtChildren } from "../../ir/traverse.js";
+import { moduleRuntimeFeatures } from "../../ir/runtime-features.js";
+const COMPLETION_CALLBACKS = new Map([
+    ["cp.execFile", 2],
+    ["crypto.generateKeyCb", 2],
+    ["crypto.hkdfCb", 5],
+    ["crypto.pbkdf2Cb", 5],
+    ["crypto.randomBytesCb", 1],
+    ["crypto.randomFillCb", 4],
+    ["crypto.randomFillCbDyn", 4],
+    ["crypto.randomIntCb", 3],
+    ["crypto.scryptCb", 4],
+    ["dgram.bindCb", 3],
+    ["dgram.closeCb", 1],
+    ["dgram.connectCb", 3],
+    ["dns.lookupDyn", 2],
+    ["fs.callbackCall", "arguments"],
+    ["fs.callbackGlob", "arguments"],
+    ["fs.renameCb", 2],
+    ["http.requestAgentCb", "last"],
+    ["http.requestCb", "last"],
+    ["http.requestConnCb", "last"],
+    ["http.requestDynCb", "last"],
+    ["http.requestUrlCb", "last"],
+    ["net.connectCb", 2],
+    ["net.listenCb", 2],
+    ["net.listenOptsCb", 4],
+    ["net.listenOptsReusePortCb", 5],
+    ["net.listenPathCb", 2],
+    ["process.stderrWriteBytesCb", 2],
+    ["process.stdoutWriteBytesCb", 2],
+    // stream.finished and stream.pipeline callbacks, which Node binds to
+    // the context of the call (eos' and pipeline's AsyncResource.bind).
+    ["stream.finished", 1],
+    ["stream.finishedDyn", 1],
+    ["stream.finishedOpts", "last"],
+    ["stream.finishedOptsSignal", "last"],
+    ["stream.pipeline", "last"],
+    ["stream.pipelineDyn", "last"],
+    ["stream.pipelineStages", "last"],
+    ["stream.pipelineStagesDyn", "last"],
+    ["zlib.cbOpts", 3],
+    ["zlib.cbOptsDyn", 3],
+    ["zlib.deflateCb", 1],
+    ["zlib.deflateRawCb", 1],
+    ["zlib.gunzipCb", 1],
+    ["zlib.gzipCb", 1],
+    ["zlib.inflateCb", 1],
+    ["zlib.inflateRawCb", 1],
+    ["zlib.unzipCb", 1],
+]);
+/** Completion callbacks that fire from other contexts' code (a stream event
+ * that another context's call emits), so an empty context at the call
+ * binds too: the callback then runs with no store, as in Node. */
+const BIND_EMPTY_CONTEXT = new Set([
+    "stream.finished",
+    "stream.finishedDyn",
+    "stream.finishedOpts",
+    "stream.finishedOptsSignal",
+    "stream.pipeline",
+    "stream.pipelineDyn",
+    "stream.pipelineStages",
+    "stream.pipelineStagesDyn",
+]);
+/** `cb` bound to the context active where it is evaluated. Unless
+ * `bindEmpty`, an empty context leaves it unbound (`always` false): the
+ * loop already runs those callbacks with an empty context. */
+function bindToActiveContext(cb, bindEmpty = false) {
+    const always = { kind: "boolLit", value: bindEmpty, type: BOOL, loc: cb.loc };
+    if (cb.type.kind === "func")
+        return {
+            kind: "libCall",
+            fn: "als.bindCallback",
+            args: [cb, always],
+            type: cb.type,
+            loc: cb.loc,
+        };
+    if (cb.type.kind === "dyn")
+        return {
+            kind: "libCall",
+            fn: "als.bindCallbackDyn",
+            args: [cb, always],
+            type: cb.type,
+            loc: cb.loc,
+        };
+    return cb;
+}
+/** An element of a dyn argument vector that can be the callback: a boxed
+ * closure binds as a typed closure; any other dyn value that is not a
+ * boxed primitive binds as a dyn function (non-functions pass through). */
+function bindArgumentElement(e) {
+    if (e.kind === "dynFrom") {
+        return e.value.type.kind === "func" ? { ...e, value: bindToActiveContext(e.value) } : e;
+    }
+    return e.type.kind === "dyn" ? bindToActiveContext(e) : e;
+}
+function bindCall(e) {
+    if (e.kind !== "libCall")
+        return e;
+    const position = COMPLETION_CALLBACKS.get(e.fn);
+    if (position === undefined)
+        return e;
+    if (position === "arguments") {
+        const index = e.fn === "fs.callbackCall" ? 1 : 0;
+        const vector = e.args[index];
+        if (vector === undefined || vector.kind !== "dynArrLit")
+            return e;
+        const args = e.args.slice();
+        args[index] = {
+            kind: "dynArrLit",
+            elems: vector.elems.map(bindArgumentElement),
+            type: vector.type,
+            loc: vector.loc,
+        };
+        return { ...e, args };
+    }
+    const index = position === "last" ? e.args.length - 1 : position;
+    const cb = e.args[index];
+    if (cb === undefined || (position === "last" && cb.type.kind !== "func"))
+        return e;
+    const args = e.args.slice();
+    args[index] = bindToActiveContext(cb, BIND_EMPTY_CONTEXT.has(e.fn));
+    return { ...e, args };
+}
+/** Binds the completion callbacks of `mod` when its scheduling carries
+ * AsyncLocalStorage contexts. */
+export function bindCompletionCallbacks(mod) {
+    if (!moduleRuntimeFeatures(mod).asyncContext)
+        return;
+    const rewriteExpr = (e) => bindCall(mapExprChildren(e, rewriteExpr, rewriteStmt));
+    const rewriteStmt = (s) => mapStmtChildren(s, rewriteExpr, rewriteStmt);
+    for (const fn of mod.functions)
+        fn.body = fn.body.map(rewriteStmt);
+}
+//# sourceMappingURL=completion-callbacks.js.map

package/dist/frontend/lowering/completion-callbacks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"completion-callbacks.js","sourceRoot":"","sources":["../../../src/frontend/lowering/completion-callbacks.ts"],"names":[],"mappings":"AAAA;;;;;;;;;kCASkC;AAClC,OAAO,EAAE,IAAI,EAA2C,MAAM,gBAAgB,CAAC;AAE/E,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAQrE,MAAM,oBAAoB,GAA2C,IAAI,GAAG,CAG1E;IACA,CAAC,aAAa,EAAE,CAAC,CAAC;IAClB,CAAC,sBAAsB,EAAE,CAAC,CAAC;IAC3B,CAAC,eAAe,EAAE,CAAC,CAAC;IACpB,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACtB,CAAC,sBAAsB,EAAE,CAAC,CAAC;IAC3B,CAAC,qBAAqB,EAAE,CAAC,CAAC;IAC1B,CAAC,wBAAwB,EAAE,CAAC,CAAC;IAC7B,CAAC,oBAAoB,EAAE,CAAC,CAAC;IACzB,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACtB,CAAC,cAAc,EAAE,CAAC,CAAC;IACnB,CAAC,eAAe,EAAE,CAAC,CAAC;IACpB,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACtB,CAAC,eAAe,EAAE,CAAC,CAAC;IACpB,CAAC,iBAAiB,EAAE,WAAW,CAAC;IAChC,CAAC,iBAAiB,EAAE,WAAW,CAAC;IAChC,CAAC,aAAa,EAAE,CAAC,CAAC;IAClB,CAAC,qBAAqB,EAAE,MAAM,CAAC;IAC/B,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAC1B,CAAC,oBAAoB,EAAE,MAAM,CAAC;IAC9B,CAAC,mBAAmB,EAAE,MAAM,CAAC;IAC7B,CAAC,mBAAmB,EAAE,MAAM,CAAC;IAC7B,CAAC,eAAe,EAAE,CAAC,CAAC;IACpB,CAAC,cAAc,EAAE,CAAC,CAAC;IACnB,CAAC,kBAAkB,EAAE,CAAC,CAAC;IACvB,CAAC,2BAA2B,EAAE,CAAC,CAAC;IAChC,CAAC,kBAAkB,EAAE,CAAC,CAAC;IACvB,CAAC,4BAA4B,EAAE,CAAC,CAAC;IACjC,CAAC,4BAA4B,EAAE,CAAC,CAAC;IACjC,qEAAqE;IACrE,oEAAoE;IACpE,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACtB,CAAC,oBAAoB,EAAE,CAAC,CAAC;IACzB,CAAC,qBAAqB,EAAE,MAAM,CAAC;IAC/B,CAAC,2BAA2B,EAAE,MAAM,CAAC;IACrC,CAAC,iBAAiB,EAAE,MAAM,CAAC;IAC3B,CAAC,oBAAoB,EAAE,MAAM,CAAC;IAC9B,CAAC,uBAAuB,EAAE,MAAM,CAAC;IACjC,CAAC,0BAA0B,EAAE,MAAM,CAAC;IACpC,CAAC,aAAa,EAAE,CAAC,CAAC;IAClB,CAAC,gBAAgB,EAAE,CAAC,CAAC;IACrB,CAAC,gBAAgB,EAAE,CAAC,CAAC;IACrB,CAAC,mBAAmB,EAAE,CAAC,CAAC;IACxB,CAAC,eAAe,EAAE,CAAC,CAAC;IACpB,CAAC,aAAa,EAAE,CAAC,CAAC;IAClB,CAAC,gBAAgB,EAAE,CAAC,CAAC;IACrB,CAAC,mBAAmB,EAAE,CAAC,CAAC;IACxB,CAAC,cAAc,EAAE,CAAC,CAAC;CACpB,CAAC,CAAC;AAEH;;kEAEkE;AAClE,MAAM,kBAAkB,GAAyB,IAAI,GAAG,CAAU;IAChE,iBAAiB;IACjB,oBAAoB;IACpB,qBAAqB;IACrB,2BAA2B;IAC3B,iBAAiB;IACjB,oBAAoB;IACpB,uBAAuB;IACvB,0BAA0B;CAC3B,CAAC,CAAC;AAEH;;8DAE8D;AAC9D,SAAS,mBAAmB,CAAC,EAAU,EAAE,SAAS,GAAG,KAAK;IACxD,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC;IACtF,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QACzB,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,kBAAkB;YACtB,IAAI,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC;YAClB,IAAI,EAAE,EAAE,CAAC,IAAI;YACb,GAAG,EAAE,EAAE,CAAC,GAAG;SACZ,CAAC;IACJ,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QACxB,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,qBAAqB;YACzB,IAAI,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC;YAClB,IAAI,EAAE,EAAE,CAAC,IAAI;YACb,GAAG,EAAE,EAAE,CAAC,GAAG;SACZ,CAAC;IACJ,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;;2EAE2E;AAC3E,SAAS,mBAAmB,CAAC,CAAS;IACpC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS;IACzB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAChD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC;IACrC,IAAI,QAAQ,KAAK,WAAW,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,CAAC,CAAC,EAAE,KAAK,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,CAAC,CAAC;QAClE,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QAC5B,IAAI,CAAC,KAAK,CAAC,GAAG;YACZ,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,mBAAmB,CAAC;YAC5C,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,GAAG,EAAE,MAAM,CAAC,GAAG;SAChB,CAAC;QACF,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC;IACxB,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IACjE,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzB,IAAI,EAAE,KAAK,SAAS,IAAI,CAAC,QAAQ,KAAK,MAAM,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;QAAE,OAAO,CAAC,CAAC;IACnF,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;IAC5B,IAAI,CAAC,KAAK,CAAC,GAAG,mBAAmB,CAAC,EAAE,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpE,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC;AACxB,CAAC;AAED;iCACiC;AACjC,MAAM,UAAU,uBAAuB,CAAC,GAAa;IACnD,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,YAAY;QAAE,OAAO;IACrD,MAAM,WAAW,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;IAClG,MAAM,WAAW,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IACxF,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS;QAAE,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;AACrE,CAAC"}

package/dist/frontend/lowering/containers/array-callback-call.js

@@ -1,9 +1,9 @@
 import * as ts from "../../ts7/adapter.js";
+import { lowerOptionalIndex } from "../undefined-index.js";
 import { locOf } from "../../program.js";
 import { varRef } from "../../../ir/build.js";
 import { DYN, isUnitType } from "../../../ir/ir.js";
 import { completeFuncValueArgs } from "../call-arguments.js";
-import { lowerOptionalNumber } from "../lower-exprs.js";
 import { lowerSafeIndexRead } from "../array-values.js";
 /** Retain native function slots during indexed calls. The array remains
  * the receiver, and the selected callback is captured before arguments
@@ -30,7 +30,7 @@ export function lowerArrayCallbackCall(lowerer, call, access, array) {
         return varRef(local.id, local.type, loc);
     };
     const receiver = store(array, "%callbackArray");
-    const index = lowerOptionalNumber(lowerer, lowerer.lowerExpr(access.argumentExpression), locOf(access.argumentExpression), access.argumentExpression);
+    const index = lowerOptionalIndex(lowerer, lowerer.lowerExpr(access.argumentExpression), locOf(access.argumentExpression), access.argumentExpression);
     const read = lowerSafeIndexRead(lowerer, receiver, index, loc);
     if (!read || read.type.kind !== "union")
         return null;

package/dist/frontend/lowering/containers/array-callback-call.js.map

@@ -1 +1 @@
-{"version":3,"file":"array-callback-call.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/containers/array-callback-call.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,GAAG,EAA4B,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAE9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAExD;;yEAEyE;AACzE,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAuB,EACvB,MAAkC,EAClC,KAAa;IAEb,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9F,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC7F,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IAC5D,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IACxB,IACE,SAAS,CAAC,MAAM,KAAK,CAAC;QACtB,EAAE,EAAE,IAAI,KAAK,MAAM;QACnB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC;QAC5D,EAAE,CAAC,IAAI;QAEP,OAAO,IAAI,CAAC;IACd,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9F,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,CAAC,KAAa,EAAE,MAAc,EAAU,EAAE;QACtD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC7D,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QAC1E,OAAO,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,mBAAmB,CAC/B,OAAO,EACP,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAC5C,KAAK,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAChC,MAAM,CAAC,kBAAkB,CAC1B,CAAC;IACF,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC/D,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACrE,KAAK,CAAC,GAAG,EAAE,cAAc,CAAC,CAC3B,CAAC;IACF,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IACrE,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,MAAM,GAAW;QACrB,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;QACvE,QAAQ,EAAE,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,GAAG,CAAC;QACjD,IAAI;QACJ,IAAI,EAAE,EAAE,CAAC,GAAG;QACZ,GAAG;KACJ,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AAChF,CAAC"}
+{"version":3,"file":"array-callback-call.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/containers/array-callback-call.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,GAAG,EAA4B,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAE9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAExD;;yEAEyE;AACzE,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAuB,EACvB,MAAkC,EAClC,KAAa;IAEb,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9F,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC7F,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IAC5D,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IACxB,IACE,SAAS,CAAC,MAAM,KAAK,CAAC;QACtB,EAAE,EAAE,IAAI,KAAK,MAAM;QACnB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC;QAC5D,EAAE,CAAC,IAAI;QAEP,OAAO,IAAI,CAAC;IACd,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9F,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,CAAC,KAAa,EAAE,MAAc,EAAU,EAAE;QACtD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC7D,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QAC1E,OAAO,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,kBAAkB,CAC9B,OAAO,EACP,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAC5C,KAAK,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAChC,MAAM,CAAC,kBAAkB,CAC1B,CAAC;IACF,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC/D,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACrE,KAAK,CAAC,GAAG,EAAE,cAAc,CAAC,CAC3B,CAAC;IACF,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IACrE,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,MAAM,GAAW;QACrB,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;QACvE,QAAQ,EAAE,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,GAAG,CAAC;QACjD,IAAI;QACJ,IAAI,EAAE,EAAE,CAAC,GAAG;QACZ,GAAG;KACJ,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AAChF,CAAC"}

package/dist/frontend/lowering/containers/array-callbacks.d.ts

@@ -72,10 +72,11 @@ export declare function lowerArrayReduceCall(lowerer: Lowerer, call: ts.CallExpr
  * the left element first. Undefined values sink without reaching the user
  * comparator. The callback sequence differs from V8's TimSort, so exact
  * order and count parity are not claimed; results agree for consistent
- * comparators. Without a comparator, string, number and boolean arrays use
- * native stable ordering: their String conversions cannot call user code.
- * Strings compare UTF-16 units; numbers compare their decimal spellings
- * ([10, 9, 1] → [1, 10, 9]). Other element types still need a comparator. */
+ * comparators. Without a comparator, string, number, boolean and Date
+ * arrays use native stable ordering: their String conversions cannot call
+ * user code. Strings compare UTF-16 units; numbers compare their decimal
+ * spellings ([10, 9, 1] → [1, 10, 9]); Dates compare their toString() text.
+ * Other element types still need a comparator. */
 export declare function lowerArraySortCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression, elem: IrType, arrT: IrType & {
     kind: "array";
 }): IrExpr;