@scriptc/compiler 0.3.4 → 0.3.6

package/dist/frontend/lowering/null-prototype.d.ts

@@ -0,0 +1,13 @@
+import { type IrExpr, type IrType, type SrcLoc } from "../../ir/ir.js";
+import type { Lowerer } from "./lowerer.js";
+/** Records that can have a null prototype: pure index-signature shapes,
+ * which Object.groupBy builds with a `nullProto` recordLit. The flag lives
+ * on the record's overflow map, so other shapes never carry it. */
+export declare function nullProtoRecordShape(lowerer: Lowerer, t: IrType): (IrType & {
+    kind: "record";
+}) | null;
+/** `obj` has a null prototype (`obj` is a borrowed, pure read). */
+export declare function recordNullProtoTest(obj: IrExpr, shapeId: string, loc: SrcLoc): IrExpr;
+/** `value`, or Node's TypeError(message) when `obj` has a null prototype
+ * (`obj` is a borrowed, pure read evaluated before `value`). */
+export declare function guardNullProto(obj: IrExpr, shapeId: string, message: string, value: IrExpr, loc: SrcLoc): IrExpr;

package/dist/frontend/lowering/null-prototype.js

@@ -0,0 +1,33 @@
+import { nodeThrowExpr } from "../../ir/build.js";
+import { BOOL } from "../../ir/ir.js";
+/** Records that can have a null prototype: pure index-signature shapes,
+ * which Object.groupBy builds with a `nullProto` recordLit. The flag lives
+ * on the record's overflow map, so other shapes never carry it. */
+export function nullProtoRecordShape(lowerer, t) {
+    if (t.kind !== "record")
+        return null;
+    const shape = lowerer.shapes.get(t.shapeId);
+    return shape !== undefined &&
+        shape.indexValue !== undefined &&
+        !shape.tuple &&
+        shape.fields.length === 0
+        ? t
+        : null;
+}
+/** `obj` has a null prototype (`obj` is a borrowed, pure read). */
+export function recordNullProtoTest(obj, shapeId, loc) {
+    return { kind: "recordNullProto", obj, shapeId, type: BOOL, loc };
+}
+/** `value`, or Node's TypeError(message) when `obj` has a null prototype
+ * (`obj` is a borrowed, pure read evaluated before `value`). */
+export function guardNullProto(obj, shapeId, message, value, loc) {
+    return {
+        kind: "ternary",
+        cond: recordNullProtoTest(obj, shapeId, loc),
+        then: nodeThrowExpr(1, "", message, value.type, loc),
+        else_: value,
+        type: value.type,
+        loc,
+    };
+}
+//# sourceMappingURL=null-prototype.js.map

package/dist/frontend/lowering/null-prototype.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"null-prototype.js","sourceRoot":"","sources":["../../../src/frontend/lowering/null-prototype.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,IAAI,EAAyC,MAAM,gBAAgB,CAAC;AAG7E;;mEAEmE;AACnE,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,CAAS;IAET,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC5C,OAAO,KAAK,KAAK,SAAS;QACxB,KAAK,CAAC,UAAU,KAAK,SAAS;QAC9B,CAAC,KAAK,CAAC,KAAK;QACZ,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QACzB,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,mBAAmB,CAAC,GAAW,EAAE,OAAe,EAAE,GAAW;IAC3E,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACpE,CAAC;AAED;gEACgE;AAChE,MAAM,UAAU,cAAc,CAC5B,GAAW,EACX,OAAe,EACf,OAAe,EACf,KAAa,EACb,GAAW;IAEX,OAAO;QACL,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,mBAAmB,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC;QAC5C,IAAI,EAAE,aAAa,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC;QACpD,KAAK,EAAE,KAAK;QACZ,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/record-sources.d.ts

@@ -0,0 +1,15 @@
+import type { IrExpr, IrType, SrcLoc } from "../../ir/ir.js";
+import type { Lowerer } from "./lowerer.js";
+/** Closed declared-field layouts with an ordinary data surface: the targets
+ * the checked record builder notes sources for. */
+export declare function recordMayKeepSource(lowerer: Lowerer, t: IrType & {
+    kind: "record";
+}): boolean;
+/** `record.sourceHas(value)`: whether this record kept undeclared source
+ * properties. */
+export declare function recordSourceTest(value: IrExpr, loc: SrcLoc): IrExpr;
+/** A reflective answer over a record value that branches on its kept
+ * source: `staticAnswer` walks the declared fields, `viewAnswer` answers
+ * from the live checked view (typed `type`, the static answer's type). The
+ * receiver evaluates once. */
+export declare function throughRecordSource(lowerer: Lowerer, receiver: IrExpr, loc: SrcLoc, staticAnswer: (record: IrExpr) => IrExpr, viewAnswer: (view: IrExpr, type: IrType) => IrExpr): IrExpr;

package/dist/frontend/lowering/record-sources.js

@@ -0,0 +1,46 @@
+import { BOOL, DYN, recordTextCodecClass, shapeHasAccessorSlots } from "../../ir/ir.js";
+import { varRef } from "../../ir/build.js";
+import { isPerfEntryType } from "./builtins/performance.js";
+/** Closed declared-field layouts with an ordinary data surface: the targets
+ * the checked record builder notes sources for. */
+export function recordMayKeepSource(lowerer, t) {
+    const shape = lowerer.shapes.get(t.shapeId);
+    return (shape !== undefined &&
+        !shape.tuple &&
+        shape.indexValue === undefined &&
+        shape.fields.length > 0 &&
+        !shapeHasAccessorSlots(shape) &&
+        recordTextCodecClass(shape) === null &&
+        !isPerfEntryType(lowerer, t) &&
+        lowerer.dynConvertible(t));
+}
+/** `record.sourceHas(value)`: whether this record kept undeclared source
+ * properties. */
+export function recordSourceTest(value, loc) {
+    return { kind: "libCall", fn: "record.sourceHas", args: [value], type: BOOL, loc };
+}
+/** A reflective answer over a record value that branches on its kept
+ * source: `staticAnswer` walks the declared fields, `viewAnswer` answers
+ * from the live checked view (typed `type`, the static answer's type). The
+ * receiver evaluates once. */
+export function throughRecordSource(lowerer, receiver, loc, staticAnswer, viewAnswer) {
+    const local = lowerer.declareHiddenLocal("%sourcedRecord", receiver.type);
+    const record = () => varRef(local.id, receiver.type, loc);
+    const plain = staticAnswer(record());
+    const view = { kind: "dynFrom", value: record(), liveRef: true, type: DYN, loc };
+    return {
+        kind: "seqExpr",
+        stmts: [{ kind: "varDecl", localId: local.id, init: receiver, loc }],
+        result: {
+            kind: "ternary",
+            cond: recordSourceTest(record(), loc),
+            then: viewAnswer(view, plain.type),
+            else_: plain,
+            type: plain.type,
+            loc,
+        },
+        type: plain.type,
+        loc,
+    };
+}
+//# sourceMappingURL=record-sources.js.map

package/dist/frontend/lowering/record-sources.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-sources.js","sourceRoot":"","sources":["../../../src/frontend/lowering/record-sources.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACxF,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3C,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAE5D;mDACmD;AACnD,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,CAA8B;IAClF,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC5C,OAAO,CACL,KAAK,KAAK,SAAS;QACnB,CAAC,KAAK,CAAC,KAAK;QACZ,KAAK,CAAC,UAAU,KAAK,SAAS;QAC9B,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QACvB,CAAC,qBAAqB,CAAC,KAAK,CAAC;QAC7B,oBAAoB,CAAC,KAAK,CAAC,KAAK,IAAI;QACpC,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5B,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,CAC1B,CAAC;AACJ,CAAC;AAED;iBACiB;AACjB,MAAM,UAAU,gBAAgB,CAAC,KAAa,EAAE,GAAW;IACzD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrF,CAAC;AAED;;;8BAG8B;AAC9B,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,QAAgB,EAChB,GAAW,EACX,YAAwC,EACxC,UAAkD;IAElD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAG,GAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAClE,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC;IACrC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACzF,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;QACpE,MAAM,EAAE;YACN,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,gBAAgB,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC;YACrC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;YAClC,KAAK,EAAE,KAAK;YACZ,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,GAAG;SACJ;QACD,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/surfaces.d.ts

@@ -88,9 +88,9 @@ export declare const SET_METHODS: Set<string>;
 /** The ES2025 Set composition surface (union/intersection/…): desugared
  * to interned helper loops over the set iteration primitives — no user
  * code runs mid-loop, so the walks need no enter/exit bracketing. The
- * lib accepts any ReadonlySetLike argument; only a real Set lowers (the
- * argument's has/size must be the builtins for the desugar to BE the
- * spec's algorithm). */
+ * lib accepts any ReadonlySetLike argument; only a real Set or Map lowers
+ * (the argument's has/size/keys must be the builtins for the desugar to BE
+ * the spec's algorithm). */
 export declare const SET_COMBINE_METHODS: Set<string>;
 export type CompoundOp = "+" | "-" | "*" | "/" | "%" | "**" | "&" | "|" | "^" | "<<" | ">>" | ">>>";
 export declare const COMPOUND_ASSIGN_OPS: Partial<Record<ts.SyntaxKind, CompoundOp>>;

package/dist/frontend/lowering/surfaces.js

@@ -461,9 +461,9 @@ export const SET_METHODS = new Set([
 /** The ES2025 Set composition surface (union/intersection/…): desugared
  * to interned helper loops over the set iteration primitives — no user
  * code runs mid-loop, so the walks need no enter/exit bracketing. The
- * lib accepts any ReadonlySetLike argument; only a real Set lowers (the
- * argument's has/size must be the builtins for the desugar to BE the
- * spec's algorithm). */
+ * lib accepts any ReadonlySetLike argument; only a real Set or Map lowers
+ * (the argument's has/size/keys must be the builtins for the desugar to BE
+ * the spec's algorithm). */
 export const SET_COMBINE_METHODS = new Set([
     "union",
     "intersection",
@@ -1033,6 +1033,18 @@ export const BUILTIN_MODULE_FNS = {
         // opendirSync's options (a literal { bufferSize, encoding: "utf8" })
         // lower in lowerBuiltinModuleCall; the row routes the dispatch.
         opendirSync: { fn: "fs.opendirSync", params: [STRING, F64], result: DIR_T },
+        // createReadStream/createWriteStream lower in lowerBuiltinModuleCall
+        // (path and options cross as dyn values); the rows route the dispatch.
+        createReadStream: {
+            fn: "fs.createReadStream",
+            params: [DYN, DYN],
+            result: { kind: "object", className: "%Readable" },
+        },
+        createWriteStream: {
+            fn: "fs.createWriteStream",
+            params: [DYN, DYN],
+            result: { kind: "object", className: "%Writable" },
+        },
         lstatSync: { fn: "fs.lstatSync", params: [STRING], result: STATS_T },
         fstatSync: {
             fn: "fs.fstatSync",
@@ -1070,6 +1082,16 @@ export const BUILTIN_MODULE_FNS = {
             result: VOID,
             valueParams: exactValueParams(DYN, DYN),
         },
+        // Options and paths are checked by the runtime (scr_fs_cp_begin).
+        cpSync: {
+            fn: "fs.cpSync",
+            params: [DYN, DYN, DYN],
+            result: VOID,
+            valueParams: [
+                ...exactValueParams(DYN, DYN),
+                { mode: "optional", type: DYN, defaultValue: undefined },
+            ],
+        },
         symlinkSync: {
             fn: "fs.symlinkSync",
             params: [DYN, DYN, DYN],
@@ -1210,6 +1232,15 @@ export const BUILTIN_MODULE_FNS = {
             result: { kind: "promise", inner: VOID },
             valueParams: exactValueParams(DYN, DYN),
         },
+        cp: {
+            fn: "fsp.cp",
+            params: [DYN, DYN, DYN],
+            result: { kind: "promise", inner: VOID },
+            valueParams: [
+                ...exactValueParams(DYN, DYN),
+                { mode: "optional", type: DYN, defaultValue: undefined },
+            ],
+        },
         symlink: {
             fn: "fsp.symlink",
             params: [DYN, DYN, DYN],
@@ -1734,6 +1765,9 @@ export const BUILTIN_MODULE_FNS = {
  * lowering. Cluster metadata describes a directly-run native executable. */
 export const BUILTIN_MODULE_CONSTS = {
     http: { maxHeaderSize: 16384 },
+    // Node's default protocol range, the TLS 1.2 to 1.3 range the bundled
+    // mbedTLS negotiates
+    tls: { DEFAULT_MIN_VERSION: "TLSv1.2", DEFAULT_MAX_VERSION: "TLSv1.3" },
     path: { sep: "/", delimiter: ":" },
     "path/posix": { sep: "/", delimiter: ":" },
     "path/win32": { sep: "\\", delimiter: ";" },
@@ -1775,6 +1809,23 @@ export const BUILTIN_MODULE_FN_ALIASES = {
         // The bytes-data form and the { mode } options form.
         writeFileSync: ["fs.writeFileSyncBytes", "fs.writeFileModeSync"],
         appendFileSync: ["fs.appendFileSyncBytes"],
+        // The fs stream members (bytesRead/bytesWritten, pending, path, close).
+        createReadStream: [
+            "fs.fsStreamBytes",
+            "fs.fsStreamPending",
+            "fs.fsStreamPath",
+            "fs.fsStreamPropDyn",
+            "fs.fsStreamClose",
+            "fs.fsStreamCloseCb",
+        ],
+        createWriteStream: [
+            "fs.fsStreamBytes",
+            "fs.fsStreamPending",
+            "fs.fsStreamPath",
+            "fs.fsStreamPropDyn",
+            "fs.fsStreamClose",
+            "fs.fsStreamCloseCb",
+        ],
         // The utf8 string overload; the table row is the Buffer-window form.
         writeSync: ["fs.writeStrSync"],
         // The { recursive, mode } option lowerings.
@@ -1783,6 +1834,9 @@ export const BUILTIN_MODULE_FN_ALIASES = {
         rmSync: ["fs.rmOptsSync", "fs.rmRetrySync"],
         // The { withFileTypes: true } Dirent form.
         readdirSync: ["fs.readdirTypesSync"],
+        // The { throwIfNoEntry } probe form.
+        statSync: ["fs.statProbeSync"],
+        lstatSync: ["fs.lstatProbeSync"],
         globSync: ["fs.globTypesSync"],
         // The JS-source validation-ladder variant (lowerFsLadderCall): the
         // real mkdtemp runs when the options leave utf8 semantics.
@@ -2547,7 +2601,7 @@ export function builtinModulesArrayLit(loc) {
 /** Member-specific hints for RECOGNIZED builtin modules whose member has
  * no lowering. The default-options one-shot zlib/deflate-raw/gzip codecs
  * lower for strings and Buffers; the remaining surface points at them. */
-const ZLIB_HINT = "the default-options deflate/inflate, raw, gzip/gunzip, and unzip sync/callback forms, crc32, " +
+const ZLIB_HINT = "the deflate/inflate, raw, gzip/gunzip, and unzip sync/callback forms with Node's options, crc32, " +
     "and the Deflate/Inflate/Gzip/Gunzip/DeflateRaw/InflateRaw/Unzip streams are the lowered zlib surface";
 /** Brotli has no codec in the static runtime (zlib is the only vendored
  * compression library). */
@@ -2570,7 +2624,7 @@ export const BUILTIN_MODULE_FENCE_HINTS = {
         doesNotReject: ASSERT_MODULE_HINTS["doesNotReject"],
     },
     util: {
-        promisify: "the lowered shapes are const bindings over child_process.execFile and fs.readFile; call the bound function directly",
+        promisify: "the lowered shapes are const bindings over child_process.execFile, child_process.exec, setTimeout, setImmediate, stream.finished, stream.pipeline, the zlib callback one-shots and the fs callback functions with an fs/promises counterpart; call the bound function directly",
     },
     "stream/consumers": {
         blob: "collecting a stream into a Blob is not supported yet — " +