@scriptc/compiler 0.2.4 → 0.2.6

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

@@ -0,0 +1,31 @@
+import { dynUndefinedExpr, strLit, varRef } from "../../../ir/build.js";
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+import { BOOL, DYN } from "../../../ir/ir.js";
+export function lowerUtilTypeCall(lowerer, expr, bi, loc, name) {
+    if (expr.arguments.some(ts.isSpreadElement))
+        lowerer.noLowering(`${name} with spread arguments`, expr);
+    const input = expr.arguments[0]
+        ? lowerer.lowerExprExpecting(expr.arguments[0], DYN)
+        : dynUndefinedExpr(loc);
+    const saved = lowerer.declareHiddenLocal("%utilTypeInput", DYN);
+    return {
+        kind: "seqExpr",
+        stmts: [
+            { kind: "varDecl", localId: saved.id, init: input, loc },
+            ...expr.arguments
+                .slice(1)
+                .map((arg) => ({ kind: "exprStmt", expr: lowerer.lowerExpr(arg), loc })),
+        ],
+        result: {
+            kind: "libCall",
+            fn: "util.typeIs",
+            args: [varRef(saved.id, DYN, loc), strLit(bi.member, loc)],
+            type: BOOL,
+            loc,
+        },
+        type: BOOL,
+        loc,
+    };
+}
+//# sourceMappingURL=util-types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"util-types.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/util-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AACxE,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,IAAI,EAAE,GAAG,EAAyC,MAAM,mBAAmB,CAAC;AAErF,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,IAAuB,EACvB,EAAsC,EACtC,GAAW,EACX,IAAY;IAEZ,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC;QACzC,OAAO,CAAC,UAAU,CAAC,GAAG,IAAI,wBAAwB,EAAE,IAAI,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;QAC7B,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,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;IAChE,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE;YACL,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;YACxD,GAAG,IAAI,CAAC,SAAS;iBACd,KAAK,CAAC,CAAC,CAAC;iBACR,GAAG,CAAC,CAAC,GAAG,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;SACnF;QACD,MAAM,EAAE;YACN,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,aAAa;YACjB,IAAI,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAC1D,IAAI,EAAE,IAAI;YACV,GAAG;SACJ;QACD,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,5 @@
+import * as ts from "../../ts7/adapter.js";
+import { type IrExpr, type SrcLoc } from "../../../ir/ir.js";
+import type { Lowerer } from "../lowerer.js";
+export declare function lowerWorkerMetadata(member: string, loc: SrcLoc): IrExpr | null;
+export declare function lowerWorkerNew(lowerer: Lowerer, expression: ts.NewExpression): IrExpr | null;

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

@@ -0,0 +1,65 @@
+import * as ts from "../../ts7/adapter.js";
+import { locOf } from "../../program.js";
+import { resolve } from "node:path";
+import { isWorkerConstructor, workerModulePath } from "../../worker-target.js";
+import { tsgoPath } from "../../dts-paths.js";
+import { BOOL, DYN, F64, STRING, UNDEFINED_T, isFfiCallbackParam, } from "../../../ir/ir.js";
+export function lowerWorkerMetadata(member, loc) {
+    switch (member) {
+        case "isMainThread":
+            return { kind: "libCall", fn: "worker.isMainThread", args: [], type: BOOL, loc };
+        case "threadId":
+            return { kind: "libCall", fn: "worker.threadId", args: [], type: F64, loc };
+        case "workerData":
+            return { kind: "libCall", fn: "worker.data", args: [], type: DYN, loc };
+        case "parentPort":
+            return { kind: "libCall", fn: "worker.parentPort", args: [], type: DYN, loc };
+        case "isInternalThread":
+            return { kind: "boolLit", value: false, type: BOOL, loc };
+        default:
+            return null;
+    }
+}
+export function lowerWorkerNew(lowerer, expression) {
+    const constructor = expression.expression;
+    if (!isWorkerConstructor(lowerer.program, constructor))
+        return null;
+    const args = expression.arguments ?? [];
+    if (args.length < 1 || args.length > 2 || args.some(ts.isSpreadElement)) {
+        lowerer.noLowering("Worker constructor arguments", expression, "use new Worker(filename, options?)");
+    }
+    const filename = args[0];
+    const path = workerModulePath(lowerer.program, filename);
+    const root = path === null ? undefined : lowerer.workerTargetIdByPath.get(tsgoPath(resolve(path)));
+    if (root === undefined) {
+        lowerer.noLowering("this Worker entry point", filename, "the worker entry must resolve to a statically compiled source file");
+    }
+    if (lowerer.dynamic || lowerer.targetPlatform === "wasi") {
+        lowerer.noLowering("Worker execution in this target", expression, "use a native static executable");
+    }
+    if (lowerer.ffiImports.some((entry) => entry.params.some((parameter) => isFfiCallbackParam(parameter) && parameter.callback.invoke === "foreign"))) {
+        lowerer.noLowering("workers with foreign-thread native callbacks", expression, "native callbacks in worker executables must run on their owning script thread");
+    }
+    lowerer.usesWorkers = true;
+    const loc = locOf(expression);
+    const options = args[1]
+        ? lowerer.lowerExprExpecting(args[1], DYN)
+        : {
+            kind: "dynFrom",
+            value: { kind: "unitLit", unit: "undefined", type: UNDEFINED_T, loc },
+            type: DYN,
+            loc,
+        };
+    return {
+        kind: "libCall",
+        fn: "worker.new",
+        args: [
+            { kind: "numLit", value: root, type: F64, loc },
+            { kind: "strLit", value: path, type: STRING, loc },
+            options,
+        ],
+        type: DYN,
+        loc,
+    };
+}
+//# sourceMappingURL=workers.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"workers.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/workers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/E,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EACH,MAAM,EACN,WAAW,EACX,kBAAkB,GAGnB,MAAM,mBAAmB,CAAC;AAG3B,MAAM,UAAU,mBAAmB,CAAC,MAAc,EAAE,GAAW;IAC7D,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,cAAc;YACjB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,qBAAqB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACnF,KAAK,UAAU;YACb,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC9E,KAAK,YAAY;YACf,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC1E,KAAK,YAAY;YACf,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAChF,KAAK,kBAAkB;YACrB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC5D;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,OAAgB,EAAE,UAA4B;IAC3E,MAAM,WAAW,GAAG,UAAU,CAAC,UAAU,CAAC;IAC1C,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC;IACpE,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,IAAI,EAAE,CAAC;IACxC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QACxE,OAAO,CAAC,UAAU,CAChB,8BAA8B,EAC9B,UAAU,EACV,oCAAoC,CACrC,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;IAC1B,MAAM,IAAI,GAAG,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACzD,MAAM,IAAI,GACR,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,CAAC,UAAU,CAChB,yBAAyB,EACzB,QAAQ,EACR,oEAAoE,CACrE,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,cAAc,KAAK,MAAM,EAAE,CAAC;QACzD,OAAO,CAAC,UAAU,CAChB,iCAAiC,EACjC,UAAU,EACV,gCAAgC,CACjC,CAAC;IACJ,CAAC;IACD,IACE,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAChC,KAAK,CAAC,MAAM,CAAC,IAAI,CACf,CAAC,SAAS,EAAE,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CACxF,CACF,EACD,CAAC;QACD,OAAO,CAAC,UAAU,CAChB,8CAA8C,EAC9C,UAAU,EACV,+EAA+E,CAChF,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC;IAC9B,MAAM,OAAO,GAAW,IAAI,CAAC,CAAC,CAAC;QAC7B,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;QAC1C,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE;YACrE,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACN,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE;YACJ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAC/C,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YACnD,OAAO;SACR;QACD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/call-arguments.d.ts

@@ -0,0 +1,72 @@
+import * as ts from "../ts7/adapter.js";
+import type { Lowerer } from "./lowerer.js";
+import { type IrExpr, type IrType, type SrcLoc } from "../../ir/ir.js";
+import { type ParamShape } from "./call-signatures.js";
+/** CALL-SITE COMPLETION — the frontend half of the one-signature contract
+ * (docs/ir.md): typed calls lower to the callee's full ABI parameter
+ * list, so backends and the validator stay count-exact. Dynamic and island
+ * calls retain their runtime arity handling. Omitted trailing args for omittable
+ * params become the interned undefined arm (which is also what an
+ * explicitly-passed `undefined` wraps to — both trigger a default, JS-
+ * exact); a rest param packs the surplus args (possibly zero) into one
+ * array literal, evaluated in source order at the call site. */
+export declare function completeArgs(lowerer: Lowerer, argNodes: readonly ts.Expression[], shapes: readonly ParamShape[], loc: SrcLoc, blame: ts.Node, 
+/** Pre-lowered values virtually PREPENDED to the argument list — the
+ * tagged-template strings object, which has no ts.Expression to lower
+ * (lowerTaggedTemplate builds it). Each rides the same slot-directed
+ * coercion an ordinary argument gets (coerceInto against its shape,
+ * DYN conversion in a dyn rest, element coercion in a typed rest). */
+leading?: readonly IrExpr[]): IrExpr[];
+/** The undefined arm of an undefined-armed union `type`, wrapped (a
+ * unitLit under a unionWrap) — the value every "absent" slot holds: an
+ * omitted optional argument, an omitted optional record field. Null when
+ * `type` has no undefined arm to wrap into. */
+export declare function wrappedUndefined(lowerer: Lowerer, type: IrType, loc: SrcLoc): IrExpr | null;
+/** The synthesized argument for an omitted omittable param: the interned
+ * undefined arm of the param's `T | undefined` ABI union, or the checked-dynamic tree
+ * undefined for a checked-dynamic param (`bar?: any`). */
+/** The "absent argument" value for a param SLOT type, or null when the
+ * slot cannot hold one: the interned undefined arm for undefined-armed
+ * unions, the dyn undefined for checked-dynamic slots, the engine's own
+ * undefined for island slots. Shared by every call-completion loop
+ * (direct calls and calls through func-typed values). */
+export declare function omittedArgFor(lowerer: Lowerer, type: IrType, loc: SrcLoc): IrExpr | null;
+/** Complete an indirect static call against its func value ABI. Ordinary
+ * fixed-width values retain the historical optional-suffix completion.
+ * Typed-rest values reinterpret their final array slot as a rest ParamShape
+ * and reuse completeArgs, including fixed-tuple and same-element array
+ * spreads with source-order/evaluate-once semantics. */
+export declare function completeFuncValueArgs(lowerer: Lowerer, call: ts.CallExpression, funcType: IrType & {
+    kind: "func";
+}, loc: SrcLoc): IrExpr[];
+export declare function undefinedArgFor(lowerer: Lowerer, type: IrType, loc: SrcLoc, blame: ts.Node): IrExpr;
+/** The RUNTIME-ARITY spread call — `f(...args)`, the rest-forwarding idiom
+ * (`const f = (...args) => from(...args)`): a spread whose length is a
+ * runtime fact has no home in the compile-time completion, so the call
+ * rides a dynamic boundary instead. Two lanes, picked by the spread
+ * source's tier:
+ *
+ * - CHECKED-DYNAMIC (dyn spread sources — a JS rest binding, a dyn
+ *   value): box the callee (dynFrom; a dyn callee is already boxed),
+ *   convert every argument into dyn, and emit the spread-marked dynCall
+ *   — the emitters build one fresh dyn argument array (spreads flatten
+ *   left-to-right, non-iterables throw V8's TypeError) and apply through
+ *   it; the boxed thunk delivers JS arity exactly. Result dyn, checked
+ *   per use like every any-origin value.
+ * - ISLAND (a jsval spread source — the --dynamic rest binding is the
+ *   engine's own arguments array): marshal the callee in and emit jsOp
+ *   callSpread — the prelude helper's REAL `f(...pre, ...s)`, so
+ *   iterator protocols and the not-iterable TypeError are the engine's
+ *   own. One trailing spread after the fixed arguments is the modeled
+ *   shape (exactly the forwarding idiom).
+ *
+ * Answers null when neither lane fits (typed .ts spreads keep
+ * completeArgs' rest packing and its fences). JS sources only — the
+ * same guard as the over-arity dynCall precedent. */
+export declare function lowerSpreadArgsCall(lowerer: Lowerer, expr: ts.CallExpression, callee: IrExpr, loc: SrcLoc): IrExpr | null;
+/** True when a spread argument lands where the compile-time completion
+ * cannot take it — a FIXED parameter position, or a dynamic rest slot
+ * (dynRest/islandRest, whose packs are built per-argument): the shapes
+ * the runtime-arity lane (lowerSpreadArgsCall) serves. Typed `rest`
+ * slots keep completeArgs' same-element spread packing. */
+export declare function spreadNeedsRuntimeArity(lowerer: Lowerer, shapes: readonly ParamShape[], argNodes: readonly ts.Expression[]): boolean;