@scriptc/compiler 0.2.4 → 0.2.6

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

@@ -0,0 +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"}

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

@@ -0,0 +1,34 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+import { type IrExpr, type IrType, type SrcLoc } from "../../../ir/ir.js";
+/** An `env` option object → the [k, v, ...] pairs array cp.execSync
+ * consumes. The value must be a record (an index-signature ProcessEnv
+ * snapshot — `{ ...process.env, X: y }` — or a plain string-map): its
+ * string-typed fields and, for index-signature shapes, overflow entries
+ * flatten in JS own-key order, undefined-armed values SKIPPED (Node
+ * drops undefined env entries). Reuses the interned overflow-keys/read
+ * machinery. */
+export declare function recordToEnvPairs(lowerer: Lowerer, node: ts.Expression): IrExpr;
+/** True iff `node` is THE ambient `process.env` object itself (the
+ * receiver of an env read). */
+export declare function isProcessEnv(lowerer: Lowerer, node: ts.Expression): boolean;
+/** The interned `string | undefined` union — the type every env read
+ * produces (withUndefinedArm interns [string, undefined] in canonical
+ * order, so the string arm's tag is 0 and the undefined arm's is 1,
+ * program-wide). */
+export declare function envValueType(lowerer: Lowerer): IrType;
+/** `process.env.NAME` → the process.envGet intrinsic with a literal key
+ * (the element form lands in lowerElementAccess). getenv(3) at runtime:
+ * present wraps the string arm, absent yields the interned
+ * undefined-arm instance. Null for non-env receivers. */
+export declare function lowerProcessEnvGet(lowerer: Lowerer, expr: ts.PropertyAccessExpression): IrExpr | null;
+export declare function lowerProcessLoadEnvFile(lowerer: Lowerer, call: ts.CallExpression): IrExpr;
+/** The interned `%env.snapshot` helper behind `process.env` as a VALUE: a
+ * fresh `{ [k: string]: string | undefined }` record built over environ —
+ * envPairs hands the [k0, v0, k1, v1, ...] strings in environ order and
+ * the helper keyed-writes each pair into the record's overflow map (JS
+ * own-key order follows insertion, exactly Node's Object.keys order over
+ * process.env). The target shape must be a pure index-signature record
+ * whose value slot is the `string | undefined` union (what ProcessEnv
+ * maps to); anything else answers null and the caller keeps its fence. */
+export declare function envSnapshotHelper(lowerer: Lowerer, shapeId: string, loc: SrcLoc): string | null;

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

@@ -0,0 +1,95 @@
+import { dynUndefinedExpr } from "../../../ir/build.js";
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+import { locOf } from "../../program.js";
+import { pairsSnapshotHelper } from "../pairs-snapshot.js";
+import { DYN, STRING, VOID, arrayOf, typeEquals, } from "../../../ir/ir.js";
+/** An `env` option object → the [k, v, ...] pairs array cp.execSync
+ * consumes. The value must be a record (an index-signature ProcessEnv
+ * snapshot — `{ ...process.env, X: y }` — or a plain string-map): its
+ * string-typed fields and, for index-signature shapes, overflow entries
+ * flatten in JS own-key order, undefined-armed values SKIPPED (Node
+ * drops undefined env entries). Reuses the interned overflow-keys/read
+ * machinery. */
+export function recordToEnvPairs(lowerer, node) {
+    const v = lowerer.lowerExpr(node);
+    if (v.type.kind !== "record") {
+        lowerer.noLowering(`an env option of '${lowerer.fmt(v.type)}' values`, node, "pass a string-keyed object (spread process.env or build a Record<string, string>)");
+    }
+    const helper = lowerer.envToPairsHelper(v.type.shapeId, locOf(node));
+    if (helper === null) {
+        lowerer.noLowering(`an env option of '${lowerer.fmt(v.type)}' values`, node, "env fields must be strings (or string | undefined)");
+    }
+    return { kind: "call", callee: helper, args: [v], type: arrayOf(STRING), loc: locOf(node) };
+}
+/** True iff `node` is THE ambient `process.env` object itself (the
+ * receiver of an env read). */
+export function isProcessEnv(lowerer, node) {
+    return (ts.isPropertyAccessExpression(node) && lowerer.stdlibGlobalMember(node, "process") === "env");
+}
+/** The interned `string | undefined` union — the type every env read
+ * produces (withUndefinedArm interns [string, undefined] in canonical
+ * order, so the string arm's tag is 0 and the undefined arm's is 1,
+ * program-wide). */
+export function envValueType(lowerer) {
+    return lowerer.withUndefinedArm(STRING);
+}
+/** `process.env.NAME` → the process.envGet intrinsic with a literal key
+ * (the element form lands in lowerElementAccess). getenv(3) at runtime:
+ * present wraps the string arm, absent yields the interned
+ * undefined-arm instance. Null for non-env receivers. */
+export function lowerProcessEnvGet(lowerer, expr) {
+    if (expr.questionDotToken)
+        return null;
+    if (!lowerer.isProcessEnv(expr.expression))
+        return null;
+    const loc = locOf(expr);
+    const key = {
+        kind: "strLit",
+        value: expr.name.text,
+        type: STRING,
+        loc: locOf(expr.name),
+    };
+    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)) {
+        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)
+        : dynUndefinedExpr(loc);
+    const load = {
+        kind: "libCall",
+        fn: "process.loadEnvFile",
+        args: [path],
+        type: VOID,
+        loc,
+    };
+    if (ts.isExpressionStatement(call.parent))
+        return load;
+    return {
+        kind: "seqExpr",
+        stmts: [{ kind: "exprStmt", expr: load, loc }],
+        result: dynUndefinedExpr(loc),
+        type: DYN,
+        loc,
+    };
+}
+/** The interned `%env.snapshot` helper behind `process.env` as a VALUE: a
+ * fresh `{ [k: string]: string | undefined }` record built over environ —
+ * envPairs hands the [k0, v0, k1, v1, ...] strings in environ order and
+ * the helper keyed-writes each pair into the record's overflow map (JS
+ * own-key order follows insertion, exactly Node's Object.keys order over
+ * process.env). The target shape must be a pure index-signature record
+ * whose value slot is the `string | undefined` union (what ProcessEnv
+ * maps to); anything else answers null and the caller keeps its fence. */
+export function envSnapshotHelper(lowerer, shapeId, loc) {
+    return pairsSnapshotHelper(lowerer, shapeId, loc, {
+        keyPrefix: "env",
+        libCall: "process.envPairs",
+        indexValueOk: (indexValue) => typeEquals(indexValue, lowerer.envValueType()),
+    });
+}
+//# sourceMappingURL=environment.js.map

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

@@ -0,0 +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"}

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

@@ -0,0 +1,14 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+import { type IrExpr } from "../../../ir/ir.js";
+/** `.code` and `.cause` on an error-hierarchy receiver. The latter reads
+ * the hidden dyn slot installed by constructor options. The former is NodeJS.ErrnoException's
+ * member (the fallback declares the same shape): the runtime Error's
+ * code slot as `string | undefined` — the errno name where a throw site
+ * stamped one (fs, exec spawn/timeout, process.kill, the spawn 'error'
+ * event), undefined everywhere else. Stdlib provenance required (a user
+ * class's own `code` field takes the ordinary field paths — its
+ * declaration is not stdlib). Reads only: writes keep their fence (no
+ * compiled program constructs an errno error). Null for non-error
+ * receivers and non-stdlib members, so the chain keeps trying. */
+export declare function lowerErrorCodeProperty(lowerer: Lowerer, expr: ts.PropertyAccessExpression): IrExpr | null;

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

@@ -0,0 +1,83 @@
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+import { locOf } from "../../program.js";
+import { DYN, F64, STRING } from "../../../ir/ir.js";
+/** `.code` and `.cause` on an error-hierarchy receiver. The latter reads
+ * the hidden dyn slot installed by constructor options. The former is NodeJS.ErrnoException's
+ * member (the fallback declares the same shape): the runtime Error's
+ * code slot as `string | undefined` — the errno name where a throw site
+ * stamped one (fs, exec spawn/timeout, process.kill, the spawn 'error'
+ * event), undefined everywhere else. Stdlib provenance required (a user
+ * class's own `code` field takes the ordinary field paths — its
+ * declaration is not stdlib). Reads only: writes keep their fence (no
+ * compiled program constructs an errno error). Null for non-error
+ * receivers and non-stdlib members, so the chain keeps trying. */
+export function lowerErrorCodeProperty(lowerer, expr) {
+    // `?.code` re-dispatches through the optional-chain machinery (the
+    // mdns `(r.error as ErrnoException | undefined)?.code` idiom): the
+    // chain-handled marker means the receiver already narrowed to the
+    // non-unit arm and reads as chainRecv below.
+    if (expr.questionDotToken && !lowerer.chainHandled.has(expr))
+        return null;
+    const recvT = lowerer.mapTypeOf(lowerer.typeOf(expr.expression));
+    if (recvT?.kind !== "object")
+        return null;
+    // %DOMException's OWN read surface first: `code` is the WebIDL legacy
+    // NUMBER (never the errno string slot), and `cause` reads the options
+    // form's stored value (Node's undefined when absent). Both live in
+    // runtime slots beyond the ScrError prefix, reached by dedicated
+    // libCalls.
+    if (recvT.className === "%DOMException" && lowerer.isStdlibMember(expr)) {
+        if (expr.name.text === "code") {
+            const receiver = lowerer.lowerExpr(expr.expression);
+            return {
+                kind: "libCall",
+                fn: "error.domCode",
+                args: [receiver],
+                type: F64,
+                loc: locOf(expr),
+            };
+        }
+        if (expr.name.text === "cause") {
+            const receiver = lowerer.lowerExpr(expr.expression);
+            return {
+                kind: "libCall",
+                fn: "error.domCause",
+                args: [receiver],
+                type: DYN,
+                loc: locOf(expr),
+            };
+        }
+    }
+    if (expr.name.text !== "code" && expr.name.text !== "cause" && expr.name.text !== "stack")
+        return null;
+    // Error-rooted classes only — builtin or user subclass (both embed the
+    // code and cause slots in their layout prefix).
+    let info = lowerer.classes.get(recvT.className) ?? null;
+    while (info && info.base)
+        info = info.base;
+    if (!info || info.def.name !== "%Error")
+        return null;
+    if (!lowerer.isStdlibMember(expr))
+        return null;
+    const rawReceiver = lowerer.lowerExpr(expr.expression);
+    const receiver = rawReceiver.type.kind === "dyn"
+        ? lowerer.coerceInto(expr.expression, rawReceiver, recvT)
+        : rawReceiver;
+    return {
+        kind: "libCall",
+        fn: expr.name.text === "stack"
+            ? "error.stack"
+            : expr.name.text === "cause"
+                ? "error.cause"
+                : "error.code",
+        args: [receiver],
+        type: expr.name.text === "stack"
+            ? STRING
+            : expr.name.text === "cause"
+                ? DYN
+                : lowerer.envValueType(),
+        loc: locOf(expr),
+    };
+}
+//# sourceMappingURL=errors.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/errors.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,EAAE,GAAG,EAAe,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAElE;;;;;;;;;kEASkE;AAClE,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAiC;IAEjC,mEAAmE;IACnE,mEAAmE;IACnE,kEAAkE;IAClE,6CAA6C;IAC7C,IAAI,IAAI,CAAC,gBAAgB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1E,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IACjE,IAAI,KAAK,EAAE,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC1C,sEAAsE;IACtE,sEAAsE;IACtE,mEAAmE;IACnE,iEAAiE;IACjE,YAAY;IACZ,IAAI,KAAK,CAAC,SAAS,KAAK,eAAe,IAAI,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QACxE,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACpD,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,eAAe;gBACnB,IAAI,EAAE,CAAC,QAAQ,CAAC;gBAChB,IAAI,EAAE,GAAG;gBACT,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;aACjB,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC/B,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACpD,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,gBAAgB;gBACpB,IAAI,EAAE,CAAC,QAAQ,CAAC;gBAChB,IAAI,EAAE,GAAG;gBACT,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;aACjB,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QACvF,OAAO,IAAI,CAAC;IACd,uEAAuE;IACvE,gDAAgD;IAChD,IAAI,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC;IACxD,OAAO,IAAI,IAAI,IAAI,CAAC,IAAI;QAAE,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IAC3C,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACrD,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/C,MAAM,WAAW,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvD,MAAM,QAAQ,GACZ,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAC7B,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,WAAW,EAAE,KAAK,CAAC;QACzD,CAAC,CAAC,WAAW,CAAC;IAClB,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EACA,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;YACxB,CAAC,CAAC,aAAa;YACf,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;gBAC1B,CAAC,CAAC,aAAa;gBACf,CAAC,CAAC,YAAY;QACpB,IAAI,EAAE,CAAC,QAAQ,CAAC;QAChB,IAAI,EACF,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;YACxB,CAAC,CAAC,MAAM;YACR,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;gBAC1B,CAAC,CAAC,GAAG;gBACL,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE;QAC9B,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;KACjB,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/builtins/filesystem-calls.d.ts

@@ -0,0 +1,35 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+import { type BuiltinModuleFn } from "../surfaces.js";
+import { type IrExpr, type SrcLoc } from "../../../ir/ir.js";
+export declare function lowerFsCallbackCall(lowerer: Lowerer, expr: ts.CallExpression, bi: {
+    module: string;
+    member: string;
+}, loc: SrcLoc): IrExpr;
+export declare function lowerFsLinkOrStatfsCall(lowerer: Lowerer, expr: ts.CallExpression, bi: {
+    module: string;
+    member: string;
+}, fn: BuiltinModuleFn, loc: SrcLoc, name: string): IrExpr;
+export declare function lowerFsTimestampCall(lowerer: Lowerer, expr: ts.CallExpression, fn: BuiltinModuleFn, loc: SrcLoc, name: string): IrExpr;
+export declare function lowerFsVectorOrTruncateCall(lowerer: Lowerer, expr: ts.CallExpression, bi: {
+    module: string;
+    member: string;
+}, fn: BuiltinModuleFn, loc: SrcLoc, name: string): IrExpr;
+export declare function lowerFsNumericOpenCall(lowerer: Lowerer, expr: ts.CallExpression, loc: SrcLoc): IrExpr;
+export declare function lowerFsPromisesOpenCall(lowerer: Lowerer, expr: ts.CallExpression, loc: SrcLoc): IrExpr;
+export declare function lowerFsRenameCallbackCall(lowerer: Lowerer, expr: ts.CallExpression, loc: SrcLoc): IrExpr;
+export declare function lowerFsReadSyncCall(lowerer: Lowerer, expr: ts.CallExpression, loc: SrcLoc): IrExpr;
+export declare function lowerFsWriteSyncCall(lowerer: Lowerer, expr: ts.CallExpression, loc: SrcLoc): IrExpr;
+export declare function lowerFsReadDescriptorCall(lowerer: Lowerer, expr: ts.CallExpression, loc: SrcLoc): IrExpr;
+/** Encoding-bearing reads share Buffer's decoder and runtime alias checks.
+ * Keep the read and encoding evaluation in source order in one helper. */
+export declare function lowerFsEncodedRead(lowerer: Lowerer, expr: ts.CallExpression, descriptor: boolean, loc: SrcLoc): IrExpr | null;
+export declare function lowerFsMkdirSyncCall(lowerer: Lowerer, expr: ts.CallExpression, loc: SrcLoc): IrExpr;
+export declare function lowerFsPromisesMkdirCall(lowerer: Lowerer, expr: ts.CallExpression, loc: SrcLoc): IrExpr;
+export declare function lowerFsRemoveCall(lowerer: Lowerer, expr: ts.CallExpression, loc: SrcLoc): IrExpr;
+export declare function lowerFsWriteBytesCall(lowerer: Lowerer, expr: ts.CallExpression, bi: {
+    module: string;
+    member: string;
+}, loc: SrcLoc): IrExpr | null;
+export declare function lowerFsWriteOptionsCall(lowerer: Lowerer, expr: ts.CallExpression, loc: SrcLoc, promiseWriteOptions: boolean): IrExpr;
+export declare function lowerFsReadPathCall(lowerer: Lowerer, expr: ts.CallExpression, loc: SrcLoc): IrExpr | null;