@scriptc/compiler 0.2.4 → 0.2.5

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

@@ -0,0 +1,186 @@
+import { isBuiltinClassInstance } from "./receiver-types.js";
+import { strLit } from "../../../ir/build.js";
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+import { locOf } from "../../program.js";
+import { isChildSurfaceMember } from "../surfaces.js";
+import { BOOL, CHILDSTREAM_T, CHILDWRITER_T, F64, FILEHANDLE_T, STRING, } from "../../../ir/ir.js";
+import { storedTextCodecClassOf } from "./text-codecs.js";
+/** The property-read extensions this spoke owns, tried BEFORE the
+ * lower-exprs intrinsic-property fallback (the lowerer's wrapper chains
+ * them): the widened numeric Stats snapshot and SpawnSyncReturns.signal
+ * (the termination signal's name as the call site's `Signals | null` union
+ * — null for a normal exit or spawn failure; a timeout kill reports its
+ * killSignal, Node's shape). Null for everything else, so the ordinary
+ * chain (and its fences) keeps going. */
+export function lowerBuiltinExtraProperty(lowerer, expr) {
+    if (expr.questionDotToken && !lowerer.chainHandled.has(expr))
+        return null;
+    const codec = storedTextCodecClassOf(lowerer, expr.expression);
+    if (codec &&
+        lowerer.isStdlibMember(expr) &&
+        ["encoding", "fatal", "ignoreBOM"].includes(expr.name.text)) {
+        const receiver = lowerer.lowerExpr(expr.expression);
+        if (receiver.type.kind !== "record")
+            lowerer.badType(expr.expression, lowerer.typeOf(expr.expression));
+        const loc = locOf(expr);
+        if (codec === "TextEncoder" && expr.name.text === "encoding") {
+            return {
+                kind: "seqExpr",
+                stmts: [{ kind: "exprStmt", expr: receiver, loc }],
+                result: strLit("utf-8", loc),
+                type: STRING,
+                loc,
+            };
+        }
+        if (codec === "TextDecoder") {
+            const field = expr.name.text === "encoding" ? "%TextDecoder" : `%${expr.name.text}`;
+            const value = {
+                kind: "recordGet",
+                obj: receiver,
+                shapeId: receiver.type.shapeId,
+                field,
+                type: expr.name.text === "encoding" ? F64 : BOOL,
+                loc,
+            };
+            return expr.name.text === "encoding"
+                ? { kind: "libCall", fn: "text.decoderName", args: [value], type: STRING, loc }
+                : value;
+        }
+    }
+    // decoder.encoding on a StringDecoder-typed receiver: the record's
+    // hidden canonical-name field (construction folded the aliases —
+    // exactly what Node's normalized `.encoding` answers).
+    if (expr.name.text === "encoding" &&
+        isBuiltinClassInstance(lowerer, expr.expression, "StringDecoder") &&
+        lowerer.isStdlibMember(expr)) {
+        const receiver = lowerer.lowerExpr(expr.expression);
+        if (receiver.type.kind !== "record")
+            lowerer.badType(expr.expression, lowerer.typeOf(expr.expression));
+        return {
+            kind: "recordGet",
+            obj: receiver,
+            shapeId: receiver.type.shapeId,
+            field: "%enc",
+            type: STRING,
+            loc: locOf(expr),
+        };
+    }
+    const kind = lowerer.mapTypeOf(lowerer.typeOf(expr.expression))?.kind;
+    if (kind === "record" &&
+        ["read", "written"].includes(expr.name.text) &&
+        lowerer.isStdlibMember(expr)) {
+        const receiver = lowerer.lowerExpr(expr.expression);
+        if (receiver.type.kind === "record") {
+            const fields = lowerer.shapes.get(receiver.type.shapeId)?.fields;
+            if (fields?.length === 2 &&
+                fields.every((field) => ["read", "written"].includes(field.name) && field.type.kind === "f64")) {
+                return {
+                    kind: "recordGet",
+                    obj: receiver,
+                    shapeId: receiver.type.shapeId,
+                    field: expr.name.text,
+                    type: F64,
+                    loc: locOf(expr),
+                };
+            }
+        }
+    }
+    if (kind !== "stats" &&
+        kind !== "fileHandle" &&
+        kind !== "spawnRes" &&
+        kind !== "child" &&
+        kind !== "childWriter")
+        return null;
+    if (kind === "child" ? !isChildSurfaceMember(lowerer, expr) : !lowerer.isStdlibMember(expr))
+        return null;
+    const name = expr.name.text;
+    const loc = locOf(expr);
+    if (kind === "fileHandle") {
+        if (name === "fd") {
+            const receiver = lowerer.lowerExprExpecting(expr.expression, FILEHANDLE_T);
+            return { kind: "libCall", fn: "fileHandle.fd", args: [receiver], type: F64, loc };
+        }
+        const methods = new Set([
+            "close",
+            "read",
+            "write",
+            "readFile",
+            "writeFile",
+            "appendFile",
+            "stat",
+        ]);
+        if (methods.has(name)) {
+            lowerer.unsupported("SC1090", expr, `FileHandle methods as values (call '${name}' directly)`);
+        }
+        lowerer.noLowering(`FileHandle.${name}`, expr, "fd, close(), read(), write(), readFile(), writeFile(), appendFile(), and stat() are the supported FileHandle members", lowerer.checker.getSymbolAtLocation(expr.name));
+    }
+    // child.stdin/stdout/stderr — the piped streams: the checker's
+    // `Writable | null` / `Readable | null` (null exactly when the slot
+    // was not piped), constructed type-directedly in the backend over the
+    // +1-or-NULL runtime pair.
+    if (kind === "child" && (name === "stdin" || name === "stdout" || name === "stderr")) {
+        const receiver = lowerer.lowerExpr(expr.expression);
+        const streamType = name === "stdin" ? CHILDWRITER_T : CHILDSTREAM_T;
+        const type = {
+            kind: "union",
+            unionId: lowerer.unions.intern([streamType, { kind: "nullT" }]),
+        };
+        const read = {
+            kind: "libCall",
+            fn: name === "stdin" ? "child.stdin" : name === "stdout" ? "child.stdout" : "child.stderr",
+            args: [receiver],
+            type,
+            loc,
+        };
+        return lowerer.maybeNarrow(read, expr);
+    }
+    if (kind === "child" && name === "connected") {
+        return {
+            kind: "libCall",
+            fn: "child.connected",
+            args: [lowerer.lowerExpr(expr.expression)],
+            type: BOOL,
+            loc,
+        };
+    }
+    if (kind === "child")
+        return null; // pid/exitCode/killed live in lowerIntrinsicProperty
+    if (kind === "childWriter") {
+        if (name === "writable") {
+            const receiver = lowerer.lowerExprExpecting(expr.expression, CHILDWRITER_T);
+            return { kind: "libCall", fn: "writer.writable", args: [receiver], type: BOOL, loc };
+        }
+        if (name === "write" ||
+            name === "end" ||
+            name === "destroy" ||
+            name === "on" ||
+            name === "once") {
+            lowerer.unsupported("SC1090", expr, `child stdin methods as values (call '${name}' directly)`);
+        }
+        lowerer.noLowering(`Writable.${name}`, expr, 'write(string | Uint8Array), end(), destroy(), writable, and on/once("drain" | "finish" | "error", cb) are supported', lowerer.checker.getSymbolAtLocation(expr.name));
+    }
+    if (kind === "stats" &&
+        (name === "dev" ||
+            name === "ino" ||
+            name === "blocks" ||
+            name === "nlink" ||
+            name === "atimeMs" ||
+            name === "mtimeMs" ||
+            name === "ctimeMs")) {
+        const receiver = lowerer.lowerExpr(expr.expression);
+        const fn = `stats.${name}`;
+        return { kind: "libCall", fn, args: [receiver], type: F64, loc };
+    }
+    if (kind === "spawnRes" && name === "signal") {
+        const receiver = lowerer.lowerExpr(expr.expression);
+        const type = {
+            kind: "union",
+            unionId: lowerer.unions.intern([STRING, { kind: "nullT" }]),
+        };
+        const read = { kind: "libCall", fn: "spawnRes.signal", args: [receiver], type, loc };
+        return lowerer.maybeNarrow(read, expr);
+    }
+    return null;
+}
+//# sourceMappingURL=properties.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"properties.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/properties.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AACtD,OAAO,EACL,IAAI,EACJ,aAAa,EACb,aAAa,EACb,GAAG,EACH,YAAY,EAGZ,MAAM,GACP,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAE1D;;;;;;yCAMyC;AACzC,MAAM,UAAU,yBAAyB,CACvC,OAAgB,EAChB,IAAiC;IAEjC,IAAI,IAAI,CAAC,gBAAgB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1E,MAAM,KAAK,GAAG,sBAAsB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/D,IACE,KAAK;QACL,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC;QAC5B,CAAC,UAAU,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAC3D,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpD,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YACjC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;QACpE,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,KAAK,KAAK,aAAa,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC7D,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;gBAClD,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC;gBAC5B,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,KAAK,aAAa,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACpF,MAAM,KAAK,GAAW;gBACpB,IAAI,EAAE,WAAW;gBACjB,GAAG,EAAE,QAAQ;gBACb,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO;gBAC9B,KAAK;gBACL,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI;gBAChD,GAAG;aACJ,CAAC;YACF,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;gBAClC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;gBAC/E,CAAC,CAAC,KAAK,CAAC;QACZ,CAAC;IACH,CAAC;IACD,mEAAmE;IACnE,iEAAiE;IACjE,uDAAuD;IACvD,IACE,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;QAC7B,sBAAsB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,eAAe,CAAC;QACjE,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,EAC5B,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpD,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YACjC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;QACpE,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,GAAG,EAAE,QAAQ;YACb,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO;YAC9B,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,MAAM;YACZ,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;SACjB,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC;IACtE,IACE,IAAI,KAAK,QAAQ;QACjB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAC5C,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,EAC5B,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpD,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACpC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;YACjE,IACE,MAAM,EAAE,MAAM,KAAK,CAAC;gBACpB,MAAM,CAAC,KAAK,CACV,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CACjF,EACD,CAAC;gBACD,OAAO;oBACL,IAAI,EAAE,WAAW;oBACjB,GAAG,EAAE,QAAQ;oBACb,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO;oBAC9B,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;oBACrB,IAAI,EAAE,GAAG;oBACT,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;iBACjB,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,IACE,IAAI,KAAK,OAAO;QAChB,IAAI,KAAK,YAAY;QACrB,IAAI,KAAK,UAAU;QACnB,IAAI,KAAK,OAAO;QAChB,IAAI,KAAK,aAAa;QAEtB,OAAO,IAAI,CAAC;IACd,IAAI,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC;QACzF,OAAO,IAAI,CAAC;IACd,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC5B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;QAC1B,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;YAC3E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACpF,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC;YACtB,OAAO;YACP,MAAM;YACN,OAAO;YACP,UAAU;YACV,WAAW;YACX,YAAY;YACZ,MAAM;SACP,CAAC,CAAC;QACH,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACtB,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,uCAAuC,IAAI,aAAa,CAAC,CAAC;QAChG,CAAC;QACD,OAAO,CAAC,UAAU,CAChB,cAAc,IAAI,EAAE,EACpB,IAAI,EACJ,sHAAsH,EACtH,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAC/C,CAAC;IACJ,CAAC;IACD,+DAA+D;IAC/D,oEAAoE;IACpE,sEAAsE;IACtE,2BAA2B;IAC3B,IAAI,IAAI,KAAK,OAAO,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;QACrF,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpD,MAAM,UAAU,GAAG,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC;QACpE,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;SAChE,CAAC;QACF,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,cAAc;YAC1F,IAAI,EAAE,CAAC,QAAQ,CAAC;YAChB,IAAI;YACJ,GAAG;SACJ,CAAC;QACF,OAAO,OAAO,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACzC,CAAC;IACD,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QAC7C,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,iBAAiB;YACrB,IAAI,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC1C,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC,CAAC,qDAAqD;IACxF,IAAI,IAAI,KAAK,aAAa,EAAE,CAAC;QAC3B,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;YACxB,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;YAC5E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACvF,CAAC;QACD,IACE,IAAI,KAAK,OAAO;YAChB,IAAI,KAAK,KAAK;YACd,IAAI,KAAK,SAAS;YAClB,IAAI,KAAK,IAAI;YACb,IAAI,KAAK,MAAM,EACf,CAAC;YACD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,wCAAwC,IAAI,aAAa,CAC1D,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,UAAU,CAChB,YAAY,IAAI,EAAE,EAClB,IAAI,EACJ,qHAAqH,EACrH,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAC/C,CAAC;IACJ,CAAC;IACD,IACE,IAAI,KAAK,OAAO;QAChB,CAAC,IAAI,KAAK,KAAK;YACb,IAAI,KAAK,KAAK;YACd,IAAI,KAAK,QAAQ;YACjB,IAAI,KAAK,OAAO;YAChB,IAAI,KAAK,SAAS;YAClB,IAAI,KAAK,SAAS;YAClB,IAAI,KAAK,SAAS,CAAC,EACrB,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpD,MAAM,EAAE,GAAG,SAAS,IAAI,EAOL,CAAC;QACpB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACnE,CAAC;IACD,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7C,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpD,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;SAC5D,CAAC;QACF,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC7F,OAAO,OAAO,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

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

@@ -0,0 +1,19 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+import { type IrExpr, type SrcLoc } from "../../../ir/ir.js";
+/** querystring.parse / querystring.decode: the scan runs in the runtime
+ * (scr_qs_parse_into fills the result dictionary's overflow map), so the
+ * frontend completes sep/eq/maxKeys to Node's defaults and verifies the
+ * call site's mapped result IS the ParsedUrlQuery dictionary — a pure
+ * index-signature record over `string | string[]` (an undefined arm
+ * tolerated: @types/node's Dict) — the networkInterfaces verification
+ * stance. The default decoder is the one lowered decoder; a custom
+ * decodeURIComponent option fences by name. */
+export declare function lowerQuerystringParseCall(lowerer: Lowerer, call: ts.CallExpression, loc: SrcLoc): IrExpr;
+/** querystring.stringify / querystring.encode: the object crosses as a
+ * dyn value (dynFrom — JSON-safe records and, in JS sources, dyn values
+ * directly) and Node's encodeStringified rules run in the runtime
+ * (scr_qs_stringify), so arrays expand to repeated keys and
+ * null/undefined values are empty. The default encoder is the one
+ * lowered encoder; a custom encodeURIComponent option fences by name. */
+export declare function lowerQuerystringStringifyCall(lowerer: Lowerer, call: ts.CallExpression, loc: SrcLoc): IrExpr;

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

@@ -0,0 +1,150 @@
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+import { QS_PARSE_DOCUMENTED_OPTIONS, QS_STRINGIFY_DOCUMENTED_OPTIONS, fenceOrDropOptionKey, } from "../surfaces.js";
+import { DYN, F64, STRING } from "../../../ir/ir.js";
+import { optionMember } from "./arguments.js";
+/** querystring's sep/eq arguments: an omitted argument, the literal
+ * null, and the literal undefined all mean the default (Node's falsy
+ * rule — parse(s, null, null, opts) is the canonical maxKeys spelling);
+ * a string expression passes through (the runtime applies the same
+ * falsy rule to '' at runtime). Everything else fences. */
+function qsSepEqArg(lowerer, node, dflt, what, loc) {
+    if (!node ||
+        node.kind === ts.SyntaxKind.NullKeyword ||
+        (ts.isIdentifier(node) && node.text === "undefined")) {
+        return { kind: "strLit", value: dflt, type: STRING, loc };
+    }
+    const v = lowerer.lowerExpr(node);
+    if (v.type.kind !== "string") {
+        lowerer.noLowering(`${what} with a '${lowerer.fmt(v.type)}' separator`, node, "pass a string, or null/undefined for the default (narrow unions first)");
+    }
+    return v;
+}
+/** querystring.parse / querystring.decode: the scan runs in the runtime
+ * (scr_qs_parse_into fills the result dictionary's overflow map), so the
+ * frontend completes sep/eq/maxKeys to Node's defaults and verifies the
+ * call site's mapped result IS the ParsedUrlQuery dictionary — a pure
+ * index-signature record over `string | string[]` (an undefined arm
+ * tolerated: @types/node's Dict) — the networkInterfaces verification
+ * stance. The default decoder is the one lowered decoder; a custom
+ * decodeURIComponent option fences by name. */
+export function lowerQuerystringParseCall(lowerer, call, loc) {
+    if (call.arguments.length > 4 || call.arguments.some(ts.isSpreadElement)) {
+        lowerer.noLowering(`querystring.parse with ${call.arguments.length} arguments`, call);
+    }
+    const fence = () => lowerer.noLowering("querystring.parse where the result is not the ParsedUrlQuery dictionary", call, "the `{ [key: string]: string | string[] }` shape is the supported result");
+    const result = lowerer.mapTypeOf(lowerer.typeOf(call));
+    if (result?.kind !== "record")
+        fence();
+    const dictShape = lowerer.shapes.get(result.shapeId);
+    if (!dictShape || dictShape.tuple || dictShape.fields.length > 0 || !dictShape.indexValue)
+        fence();
+    const iv = dictShape.indexValue;
+    if (iv.kind !== "union")
+        fence();
+    const ivDef = lowerer.unions.get(iv.unionId);
+    if (!ivDef)
+        fence();
+    let sawStr = false;
+    let sawArr = false;
+    for (const arm of ivDef.arms) {
+        if (arm.kind === "string")
+            sawStr = true;
+        else if (arm.kind === "array" && arm.elem.kind === "string")
+            sawArr = true;
+        // undefined rides @types/node's Dict; the f64 arm is the
+        // header-family canonicalization (type-mapper.ts interns every
+        // `string | string[]`-slotted dictionary as the one canonical
+        // header shape, whose slot adds number type-level only — parse
+        // never stores one).
+        else if (arm.kind !== "undefinedT" && arm.kind !== "f64")
+            fence();
+    }
+    if (!sawStr || !sawArr)
+        fence();
+    const argument = call.arguments[0];
+    if (!argument)
+        lowerer.noLowering("querystring.parse without a query string", call);
+    const str = lowerer.lowerExprExpecting(argument, STRING);
+    const sep = qsSepEqArg(lowerer, call.arguments[1], "&", "querystring.parse", loc);
+    const eq = qsSepEqArg(lowerer, call.arguments[2], "=", "querystring.parse", loc);
+    // The options walk: maxKeys lowers (Node's rule — > 0 caps the pair
+    // count, 0 and negatives mean unlimited — lives in the runtime, so
+    // any number expression works); a custom decodeURIComponent changes
+    // every decoded byte and fences by name.
+    let maxKeys = { kind: "numLit", value: 1000, type: F64, loc };
+    const optsNode = call.arguments[3];
+    if (optsNode) {
+        if (!ts.isObjectLiteralExpression(optsNode)) {
+            lowerer.noLowering("querystring.parse with a non-literal options argument", optsNode, "the supported form spells the options inline: parse(s, sep, eq, { maxKeys: n })");
+        }
+        for (const p of optsNode.properties) {
+            const m = optionMember(p);
+            if (!m) {
+                lowerer.noLowering("querystring.parse with this options shape", p, "spreads and computed keys have no lowering — write each member inline");
+            }
+            if (m.name === "maxKeys") {
+                maxKeys = lowerer.lowerExprExpecting(m.value, F64);
+            }
+            else if (m.name === "decodeURIComponent") {
+                lowerer.noLowering("querystring.parse with a custom decodeURIComponent", p, "the default decoder is the lowered surface (strict decodeURIComponent with Node's lenient fallback)");
+            }
+            else {
+                fenceOrDropOptionKey(lowerer, p, m.name, "querystring.parse", QS_PARSE_DOCUMENTED_OPTIONS, "maxKeys is the supported option");
+            }
+        }
+    }
+    return { kind: "libCall", fn: "qs.parse", args: [str, sep, eq, maxKeys], type: result, loc };
+}
+/** querystring.stringify / querystring.encode: the object crosses as a
+ * dyn value (dynFrom — JSON-safe records and, in JS sources, dyn values
+ * directly) and Node's encodeStringified rules run in the runtime
+ * (scr_qs_stringify), so arrays expand to repeated keys and
+ * null/undefined values are empty. The default encoder is the one
+ * lowered encoder; a custom encodeURIComponent option fences by name. */
+export function lowerQuerystringStringifyCall(lowerer, call, loc) {
+    if (call.arguments.length > 4 || call.arguments.some(ts.isSpreadElement)) {
+        lowerer.noLowering(`querystring.stringify with ${call.arguments.length} arguments`, call);
+    }
+    const objNode = call.arguments[0];
+    // stringify() / stringify(undefined) / stringify(null): Node answers
+    // '' for every non-object — the constant folds.
+    if (!objNode ||
+        objNode.kind === ts.SyntaxKind.NullKeyword ||
+        (ts.isIdentifier(objNode) && objNode.text === "undefined")) {
+        return { kind: "strLit", value: "", type: STRING, loc };
+    }
+    const objV = lowerer.lowerExpr(objNode);
+    let obj;
+    if (objV.type.kind === "dyn") {
+        obj = objV;
+    }
+    else if (objV.type.kind === "record" && lowerer.dynConvertible(objV.type)) {
+        obj = { kind: "dynFrom", value: objV, type: DYN, loc };
+    }
+    else {
+        lowerer.noLowering(`querystring.stringify of '${lowerer.fmt(objV.type)}' values`, objNode, "pass a record of string/number/boolean values (arrays of those expand to repeated keys; null/undefined values serialize empty)");
+    }
+    const sep = qsSepEqArg(lowerer, call.arguments[1], "&", "querystring.stringify", loc);
+    const eq = qsSepEqArg(lowerer, call.arguments[2], "=", "querystring.stringify", loc);
+    const optsNode = call.arguments[3];
+    if (optsNode) {
+        if (!ts.isObjectLiteralExpression(optsNode)) {
+            lowerer.noLowering("querystring.stringify with a non-literal options argument", optsNode, "the supported form spells the options inline (and the only documented option, encodeURIComponent, has no lowering)");
+        }
+        for (const p of optsNode.properties) {
+            const m = optionMember(p);
+            if (!m) {
+                lowerer.noLowering("querystring.stringify with this options shape", p, "spreads and computed keys have no lowering — write each member inline");
+            }
+            if (m.name === "encodeURIComponent") {
+                lowerer.noLowering("querystring.stringify with a custom encodeURIComponent", p, "the default encoder (querystring.escape's component set) is the lowered surface");
+            }
+            else {
+                fenceOrDropOptionKey(lowerer, p, m.name, "querystring.stringify", QS_STRINGIFY_DOCUMENTED_OPTIONS, "no stringify options have a lowering");
+            }
+        }
+    }
+    return { kind: "libCall", fn: "qs.stringify", args: [obj, sep, eq], type: STRING, loc };
+}
+//# sourceMappingURL=querystring.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"querystring.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/querystring.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EACL,2BAA2B,EAC3B,+BAA+B,EAC/B,oBAAoB,GACrB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,GAAG,EAAE,GAAG,EAAe,MAAM,EAAe,MAAM,mBAAmB,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C;;;;2DAI2D;AAC3D,SAAS,UAAU,CACjB,OAAgB,EAChB,IAA+B,EAC/B,IAAY,EACZ,IAAY,EACZ,GAAW;IAEX,IACE,CAAC,IAAI;QACL,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACvC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,EACpD,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC5D,CAAC;IACD,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,GAAG,IAAI,YAAY,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,EACnD,IAAI,EACJ,wEAAwE,CACzE,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;;;+CAO+C;AAC/C,MAAM,UAAU,yBAAyB,CACvC,OAAgB,EAChB,IAAuB,EACvB,GAAW;IAEX,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,0BAA0B,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;IACxF,CAAC;IACD,MAAM,KAAK,GAAgB,GAAG,EAAE,CAC9B,OAAO,CAAC,UAAU,CAChB,yEAAyE,EACzE,IAAI,EACJ,0EAA0E,CAC3E,CAAC;IACJ,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACvD,IAAI,MAAM,EAAE,IAAI,KAAK,QAAQ;QAAE,KAAK,EAAE,CAAC;IACvC,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACrD,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,KAAK,IAAI,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU;QACvF,KAAK,EAAE,CAAC;IACV,MAAM,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC;IAChC,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO;QAAE,KAAK,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IAC7C,IAAI,CAAC,KAAK;QAAE,KAAK,EAAE,CAAC;IACpB,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,MAAM,GAAG,IAAI,CAAC;aACpC,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,MAAM,GAAG,IAAI,CAAC;QAC3E,yDAAyD;QACzD,+DAA+D;QAC/D,8DAA8D;QAC9D,+DAA+D;QAC/D,qBAAqB;aAChB,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK;YAAE,KAAK,EAAE,CAAC;IACpE,CAAC;IACD,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM;QAAE,KAAK,EAAE,CAAC;IAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,QAAQ;QAAE,OAAO,CAAC,UAAU,CAAC,0CAA0C,EAAE,IAAI,CAAC,CAAC;IACpF,MAAM,GAAG,GAAG,OAAO,CAAC,kBAAkB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACzD,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,mBAAmB,EAAE,GAAG,CAAC,CAAC;IAClF,MAAM,EAAE,GAAG,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,mBAAmB,EAAE,GAAG,CAAC,CAAC;IACjF,oEAAoE;IACpE,mEAAmE;IACnE,oEAAoE;IACpE,yCAAyC;IACzC,IAAI,OAAO,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACtE,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,QAAQ,EAAE,CAAC;QACb,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5C,OAAO,CAAC,UAAU,CAChB,uDAAuD,EACvD,QAAQ,EACR,iFAAiF,CAClF,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;YACpC,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,CAAC,CAAC,EAAE,CAAC;gBACP,OAAO,CAAC,UAAU,CAChB,2CAA2C,EAC3C,CAAC,EACD,uEAAuE,CACxE,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACzB,OAAO,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACrD,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;gBAC3C,OAAO,CAAC,UAAU,CAChB,oDAAoD,EACpD,CAAC,EACD,qGAAqG,CACtG,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,oBAAoB,CAClB,OAAO,EACP,CAAC,EACD,CAAC,CAAC,IAAI,EACN,mBAAmB,EACnB,2BAA2B,EAC3B,iCAAiC,CAClC,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC/F,CAAC;AAED;;;;;yEAKyE;AACzE,MAAM,UAAU,6BAA6B,CAC3C,OAAgB,EAChB,IAAuB,EACvB,GAAW;IAEX,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,8BAA8B,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;IAC5F,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAClC,qEAAqE;IACrE,gDAAgD;IAChD,IACE,CAAC,OAAO;QACR,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC1C,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,EAC1D,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC1D,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,GAAW,CAAC;IAChB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC7B,GAAG,GAAG,IAAI,CAAC;IACb,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5E,GAAG,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACzD,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,UAAU,CAChB,6BAA6B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAC7D,OAAO,EACP,gIAAgI,CACjI,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,uBAAuB,EAAE,GAAG,CAAC,CAAC;IACtF,MAAM,EAAE,GAAG,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,uBAAuB,EAAE,GAAG,CAAC,CAAC;IACrF,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,QAAQ,EAAE,CAAC;QACb,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5C,OAAO,CAAC,UAAU,CAChB,2DAA2D,EAC3D,QAAQ,EACR,oHAAoH,CACrH,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;YACpC,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,CAAC,CAAC,EAAE,CAAC;gBACP,OAAO,CAAC,UAAU,CAChB,+CAA+C,EAC/C,CAAC,EACD,uEAAuE,CACxE,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;gBACpC,OAAO,CAAC,UAAU,CAChB,wDAAwD,EACxD,CAAC,EACD,iFAAiF,CAClF,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,oBAAoB,CAClB,OAAO,EACP,CAAC,EACD,CAAC,CAAC,IAAI,EACN,uBAAuB,EACvB,+BAA+B,EAC/B,sCAAsC,CACvC,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC1F,CAAC"}

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

@@ -0,0 +1,13 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+import { type IrExpr, type SrcLoc } from "../../../ir/ir.js";
+/** Method calls on readline Interface receivers: `rl.question(query, cb)`
+ * writes the query to stdout and delivers the next stdin line's text to
+ * the callback (one (answer: string) parameter, or none); `rl.close()`
+ * fires the 'close' listeners synchronously (Node's inline emit) and
+ * releases the loop; `rl.on("close", cb)` registers a zero-arg
+ * listener. Everything else the lib declares (on("line"), prompt,
+ * setPrompt, ...) fences member-qualified. Null for non-Interface
+ * receivers. */
+export declare function lowerReadlineMethodCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+export declare function lowerReadlineCreateCall(lowerer: Lowerer, expr: ts.CallExpression, loc: SrcLoc): IrExpr;

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

@@ -0,0 +1,138 @@
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+import { locOf } from "../../program.js";
+import { F64, STRING, VOID } from "../../../ir/ir.js";
+import { READLINE_DOCUMENTED_OPTIONS, fenceOrDropOptionKey } from "../surfaces.js";
+/** True when `node`'s checker type is readline's Interface (stdlib
+ * provenance + the enclosing "readline" ambient module — the name alone
+ * is too generic). The interface maps to an f64 handle, so the IR type
+ * cannot discriminate it from a plain number. */
+function isReadlineTyped(lowerer, node) {
+    const t = lowerer.checker.getTypeAtLocation(node);
+    const sym = t.getAliasSymbol() ?? t.getSymbol();
+    if (sym?.name !== "Interface")
+        return false;
+    return lowerer.checker.declarationsOf(sym).some((d) => {
+        if (!ts.isClassDeclaration(d) && !ts.isInterfaceDeclaration(d))
+            return false;
+        if (!lowerer.isStdlibFile(d.getSourceFile()))
+            return false;
+        let up = d.parent;
+        while (up) {
+            if (ts.isModuleDeclaration(up) && ts.isStringLiteral(up.name)) {
+                return up.name.text === "readline" || up.name.text === "node:readline";
+            }
+            up = up.parent;
+        }
+        return false;
+    });
+}
+/** Method calls on readline Interface receivers: `rl.question(query, cb)`
+ * writes the query to stdout and delivers the next stdin line's text to
+ * the callback (one (answer: string) parameter, or none); `rl.close()`
+ * fires the 'close' listeners synchronously (Node's inline emit) and
+ * releases the loop; `rl.on("close", cb)` registers a zero-arg
+ * listener. Everything else the lib declares (on("line"), prompt,
+ * setPrompt, ...) fences member-qualified. Null for non-Interface
+ * receivers. */
+export function lowerReadlineMethodCall(lowerer, call, access) {
+    if (call.questionDotToken || access.questionDotToken)
+        return null;
+    if (!isReadlineTyped(lowerer, access.expression))
+        return null;
+    if (!lowerer.isStdlibMember(access))
+        return null;
+    const name = access.name.text;
+    const loc = locOf(call);
+    if (name === "question" && call.arguments.length === 2) {
+        const receiver = lowerer.lowerExprExpecting(access.expression, F64);
+        const query = lowerer.lowerExprExpecting(call.arguments[0], STRING);
+        const cb = lowerer.lowerExpr(call.arguments[1]);
+        if (cb.type.kind !== "func" || cb.type.ret.kind !== "void" || cb.type.params.length > 1) {
+            lowerer.unsupported("SC1090", call.arguments[1], "question callbacks with more than one parameter or a return value");
+        }
+        const param = cb.type.params[0];
+        if (param !== undefined && param.kind !== "string") {
+            lowerer.unsupported("SC1090", call.arguments[1], `question callbacks whose parameter is not 'string' (got '${lowerer.fmt(param)}')`);
+        }
+        return { kind: "libCall", fn: "rl.question", args: [receiver, query, cb], type: VOID, loc };
+    }
+    if (name === "close" && call.arguments.length === 0) {
+        const receiver = lowerer.lowerExprExpecting(access.expression, F64);
+        return { kind: "libCall", fn: "rl.close", args: [receiver], type: VOID, loc };
+    }
+    if (name === "on" && call.arguments.length === 2) {
+        const evT = lowerer.typeOf(call.arguments[0]);
+        const event = evT.isStringLiteralType() ? evT.value : null;
+        if (event !== "close") {
+            lowerer.noLowering(`readline.Interface.on(${event === null ? "non-literal event" : `"${event}"`}, ...)`, call.arguments[0], '"close" is the supported readline event (question(query, cb) is the line consumer)');
+        }
+        if (!ts.isExpressionStatement(call.parent)) {
+            lowerer.unsupported("SC1090", call, "chaining readline listener registration (the result is void here — register each listener as its own statement)");
+        }
+        const receiver = lowerer.lowerExprExpecting(access.expression, F64);
+        const cb = lowerer.lowerExpr(call.arguments[1]);
+        if (cb.type.kind !== "func" || cb.type.ret.kind !== "void" || cb.type.params.length > 0) {
+            lowerer.unsupported("SC1090", call.arguments[1], "close listeners with parameters or a return value (use ())");
+        }
+        return { kind: "libCall", fn: "rl.onClose", args: [receiver, cb], type: VOID, loc };
+    }
+    lowerer.noLowering(`readline.Interface.${name}`, call, 'question(query, cb), close(), and on("close", cb) are the supported Interface members', lowerer.checker.getSymbolAtLocation(access.name));
+}
+// readline.createInterface({ input: process.stdin, output:
+// process.stdout }): exactly that options shape — the runtime reads
+// fd 0 and writes prompts to stdout, so any OTHER stream would be a
+// lie. `terminal` is accepted only as the literal false (the pipe
+// behavior this implements); other members fence by name.
+export function lowerReadlineCreateCall(lowerer, expr, loc) {
+    const optsNode = expr.arguments.length === 1 ? expr.arguments[0] : undefined;
+    if (!optsNode || !ts.isObjectLiteralExpression(optsNode)) {
+        lowerer.noLowering("createInterface with this argument shape", expr, "the supported form is createInterface({ input: process.stdin, output: process.stdout })");
+    }
+    let sawInput = false;
+    for (const p of optsNode.properties) {
+        if (!ts.isPropertyAssignment(p) || !ts.isIdentifier(p.name)) {
+            lowerer.noLowering("createInterface with this options shape", p, "spreads, computed keys, and shorthand options have no lowering — write each member inline");
+        }
+        const member = p.name.text;
+        const streamOf = (node) => ts.isPropertyAccessExpression(node) ? lowerer.stdlibGlobalMember(node, "process") : null;
+        if (member === "input") {
+            if (streamOf(p.initializer) !== "stdin") {
+                lowerer.noLowering("createInterface with a non-stdin input", p.initializer, "process.stdin is the one supported input stream");
+            }
+            sawInput = true;
+        }
+        else if (member === "output") {
+            if (streamOf(p.initializer) !== "stdout") {
+                lowerer.noLowering("createInterface with a non-stdout output", p.initializer, "process.stdout is the one supported output stream");
+            }
+        }
+        else if (member === "terminal") {
+            const t = lowerer.typeOf(p.initializer);
+            if (!(t.flags & ts.TypeFlags.BooleanLiteral) || lowerer.checker.typeToString(t) !== "false") {
+                lowerer.noLowering("createInterface with terminal enabled", p.initializer, "terminal line editing has no lowering — the pipe behavior is what compiles");
+            }
+        }
+        else if (member === "crlfDelay") {
+            // Infinity states the lowered behavior: the splitter holds a
+            // trailing \r until the next chunk decides \r\n vs \r, with no
+            // time limit (scr_readline.c) — Node's crlfDelay: Infinity.
+            // Finite delays would need a timer the splitter does not have.
+            if (!ts.isIdentifier(p.initializer) || p.initializer.text !== "Infinity") {
+                lowerer.noLowering("createInterface with a finite crlfDelay", p.initializer, "the lowered splitter always joins \\r\\n across chunks (Node's crlfDelay: Infinity) — Infinity is the accepted value");
+            }
+        }
+        else if (member === "completer") {
+            lowerer.noLowering("createInterface with a completer", p, "tab completion needs an interactive terminal — the lowered interface reads piped lines (terminal: false)");
+        }
+        else {
+            fenceOrDropOptionKey(lowerer, p, member, "createInterface", READLINE_DOCUMENTED_OPTIONS, "input, output, terminal: false, and crlfDelay: Infinity are the supported options");
+            // An undocumented key, dropped like Node drops it.
+        }
+    }
+    if (!sawInput) {
+        lowerer.noLowering("createInterface without an input stream", optsNode, "pass { input: process.stdin, output: process.stdout }");
+    }
+    return { kind: "libCall", fn: "rl.create", args: [], type: F64, loc };
+}
+//# sourceMappingURL=readline.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"readline.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/readline.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,GAAG,EAA4B,MAAM,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAChF,OAAO,EAAE,2BAA2B,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAEnF;;;iDAGiD;AACjD,SAAS,eAAe,CAAC,OAAgB,EAAE,IAAmB;IAC5D,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,GAAG,GAAG,CAAC,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;IAChD,IAAI,GAAG,EAAE,IAAI,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC;IAC5C,OAAO,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QACpD,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7E,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3D,IAAI,EAAE,GAAwB,CAAC,CAAC,MAAM,CAAC;QACvC,OAAO,EAAE,EAAE,CAAC;YACV,IAAI,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9D,OAAO,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC;YACzE,CAAC;YACD,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC;QACjB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;gBAOgB;AAChB,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,IAAI,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvD,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACpE,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC;QACrE,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;QACjD,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxF,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAClB,mEAAmE,CACpE,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACnD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAClB,4DAA4D,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CACnF,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC9F,CAAC;IACD,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpD,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACpE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChF,CAAC;IACD,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjD,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAG,GAAG,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3D,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;YACtB,OAAO,CAAC,UAAU,CAChB,yBAAyB,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,QAAQ,EACpF,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAClB,oFAAoF,CACrF,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3C,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,iHAAiH,CAClH,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACpE,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;QACjD,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxF,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAClB,4DAA4D,CAC7D,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACtF,CAAC;IACD,OAAO,CAAC,UAAU,CAChB,sBAAsB,IAAI,EAAE,EAC5B,IAAI,EACJ,uFAAuF,EACvF,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CACjD,CAAC;AACJ,CAAC;AAED,2DAA2D;AAC3D,oEAAoE;AACpE,oEAAoE;AACpE,kEAAkE;AAClE,0DAA0D;AAC1D,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,IAAuB,EACvB,GAAW;IAEX,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7E,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzD,OAAO,CAAC,UAAU,CAChB,0CAA0C,EAC1C,IAAI,EACJ,yFAAyF,CAC1F,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;QACpC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5D,OAAO,CAAC,UAAU,CAChB,yCAAyC,EACzC,CAAC,EACD,2FAA2F,CAC5F,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3B,MAAM,QAAQ,GAAG,CAAC,IAAmB,EAAiB,EAAE,CACtD,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3F,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;YACvB,IAAI,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,OAAO,EAAE,CAAC;gBACxC,OAAO,CAAC,UAAU,CAChB,wCAAwC,EACxC,CAAC,CAAC,WAAW,EACb,iDAAiD,CAClD,CAAC;YACJ,CAAC;YACD,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;aAAM,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC/B,IAAI,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,QAAQ,EAAE,CAAC;gBACzC,OAAO,CAAC,UAAU,CAChB,0CAA0C,EAC1C,CAAC,CAAC,WAAW,EACb,mDAAmD,CACpD,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;YACjC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YACxC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,OAAO,EAAE,CAAC;gBAC5F,OAAO,CAAC,UAAU,CAChB,uCAAuC,EACvC,CAAC,CAAC,WAAW,EACb,4EAA4E,CAC7E,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,IAAI,MAAM,KAAK,WAAW,EAAE,CAAC;YAClC,6DAA6D;YAC7D,+DAA+D;YAC/D,4DAA4D;YAC5D,+DAA+D;YAC/D,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACzE,OAAO,CAAC,UAAU,CAChB,yCAAyC,EACzC,CAAC,CAAC,WAAW,EACb,sHAAsH,CACvH,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,IAAI,MAAM,KAAK,WAAW,EAAE,CAAC;YAClC,OAAO,CAAC,UAAU,CAChB,kCAAkC,EAClC,CAAC,EACD,0GAA0G,CAC3G,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,oBAAoB,CAClB,OAAO,EACP,CAAC,EACD,MAAM,EACN,iBAAiB,EACjB,2BAA2B,EAC3B,mFAAmF,CACpF,CAAC;YACF,mDAAmD;QACrD,CAAC;IACH,CAAC;IACD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,CAAC,UAAU,CAChB,yCAAyC,EACzC,QAAQ,EACR,uDAAuD,CACxD,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACxE,CAAC"}

package/dist/frontend/lowering/builtins/receiver-types.d.ts

@@ -0,0 +1,5 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+/** Handle and record representations do not retain the builtin receiver's identity.
+ * Match its checker symbol and declaration provenance before using a builtin ABI. */
+export declare function isBuiltinClassInstance(lowerer: Lowerer, node: ts.Expression, name: string): boolean;

package/dist/frontend/lowering/builtins/receiver-types.js

@@ -0,0 +1,15 @@
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+/** Handle and record representations do not retain the builtin receiver's identity.
+ * Match its checker symbol and declaration provenance before using a builtin ABI. */
+export function isBuiltinClassInstance(lowerer, node, name) {
+    const type = lowerer.checker.getTypeAtLocation(node);
+    const symbol = type.getAliasSymbol() ?? type.getSymbol();
+    if (symbol?.name !== name)
+        return false;
+    return lowerer.checker
+        .declarationsOf(symbol)
+        .some((declaration) => (ts.isClassDeclaration(declaration) || ts.isInterfaceDeclaration(declaration)) &&
+        lowerer.isStdlibFile(declaration.getSourceFile()));
+}
+//# sourceMappingURL=receiver-types.js.map

package/dist/frontend/lowering/builtins/receiver-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"receiver-types.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/receiver-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAE7C;qFACqF;AACrF,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAmB,EACnB,IAAY;IAEZ,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,EAAE,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;IACzD,IAAI,MAAM,EAAE,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACxC,OAAO,OAAO,CAAC,OAAO;SACnB,cAAc,CAAC,MAAM,CAAC;SACtB,IAAI,CACH,CAAC,WAAW,EAAE,EAAE,CACd,CAAC,EAAE,CAAC,kBAAkB,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,WAAW,CAAC,CAAC;QAC9E,OAAO,CAAC,YAAY,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC,CACpD,CAAC;AACN,CAAC"}

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

@@ -0,0 +1,13 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+import { type IrExpr } from "../../../ir/ir.js";
+/** Reflect.ownKeys uses native computed-key reflection. Reflect.apply(target,
+ * thisArg, argsList) where the TARGET is a builtin
+ * rest-parameter table fn (path.join / path.resolve — test/common
+ * fixtures.js's fixturesPath forwards its rest args exactly this way):
+ * the packed libCall over a validated string[] extraction of argsList.
+ * The builtins ignore the receiver, so thisArg must be an effect-free
+ * spelling (`this`, an identifier, a unit literal) whose dropped
+ * evaluation is unobservable; every other Reflect.apply keeps the
+ * fence. Null when this isn't a supported Reflect call. */
+export declare function lowerReflectCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;