@scriptc/compiler 0.3.6 → 0.4.0

package/dist/frontend/lowering/thread-slots.js

@@ -0,0 +1,208 @@
+/* ThreadSlots (@scriptc/experimental): named families of per-thread values
+ * keyed by class instances (scr_slots.c, backend/llvm/thread-slots.ts).
+ *
+ * A ThreadSlots value is an instance of the synthetic class `%ThreadSlots`
+ * with no fields, so it has the identity, typeof and inspection of the
+ * Node.js class (whose state is private). A family's per-thread storage is
+ * found by its name at compile time, so its methods are called through a
+ * module-level const initialized with `new ThreadSlots<K, V>("name")`, and
+ * lower at their call sites to slots.get, slots.has, slots.set and
+ * slots.delete, with the family name, the const's value and the key:
+ * - the name must be a string literal, and every construction of one name
+ *   must use the same type arguments;
+ * - the key type must be a class (its hierarchy carries the slot word);
+ * - the value type must be a class, an object type, an array, a Map or a
+ *   Set, so `V | undefined` is a nullable reference.
+ * Any other use of the class or its members as values is refused. */
+import { STRING, VOID, typeKey } from "../../ir/ir.js";
+import { experimentalImportOf, threadSlotsMemberOf, } from "../experimental-import.js";
+import * as ts from "../ts7/adapter.js";
+import { withUndefinedArm } from "../type-mapper.js";
+import { locOf } from "../program.js";
+export const THREAD_SLOTS_CLASS = "%ThreadSlots";
+const BUILTIN_LOC = { file: "<builtin>", start: 0, end: 0 };
+/** Value types a family stores: references that `V | undefined` holds as a
+ * nullable pointer. */
+const VALUE_KINDS = new Set(["object", "record", "array", "map", "set"]);
+/** The ThreadSlots instance type, registering the class (and its
+ * constructor) on first use. */
+export function threadSlotsType(lowerer) {
+    const type = { kind: "object", className: THREAD_SLOTS_CLASS };
+    if (lowerer.classes.has(THREAD_SLOTS_CLASS))
+        return type;
+    const info = {
+        def: { name: THREAD_SLOTS_CLASS, fields: [], loc: BUILTIN_LOC },
+        fields: new Map(),
+        fieldOrder: [],
+        methods: new Map(),
+        decl: null,
+        threadSlots: true,
+        ctor: null,
+        ctorParams: [],
+        base: null,
+        subclasses: [],
+        throwingSetters: [],
+        staticFields: [],
+    };
+    lowerer.classes.set(THREAD_SLOTS_CLASS, info);
+    lowerer.liftedFns.push({
+        name: `%${THREAD_SLOTS_CLASS}.constructor`,
+        params: [{ localId: "this.0", name: "this", type }],
+        returnType: VOID,
+        locals: [{ id: "this.0", name: "this", type, mutable: false }],
+        body: [],
+        loc: BUILTIN_LOC,
+    });
+    return type;
+}
+/** The root of a class's hierarchy. */
+function rootOf(info) {
+    let root = info;
+    while (root.base !== null)
+        root = root.base;
+    return root;
+}
+/** The family a `new ThreadSlots<K, V>("name")` expression opens,
+ * validated and registered once per expression. */
+function familyOf(lowerer, expr) {
+    const known = lowerer.threadSlotFamilies.get(expr);
+    if (known !== undefined)
+        return known;
+    const args = expr.arguments?.nodes ?? [];
+    const arg = args[0];
+    if (args.length !== 1 || arg === undefined || ts.isSpreadElement(arg))
+        lowerer.noLowering(`new ThreadSlots with ${args.length} arguments`, expr);
+    if (!ts.isStringLiteral(arg) && !ts.isNoSubstitutionTemplateLiteral(arg))
+        lowerer.unsupported("SC1090", arg, "ThreadSlots names other than string literals", "name the slots with a string literal: every construction of the name opens the same slots");
+    const name = arg.text;
+    const instance = lowerer.typeOf(expr);
+    const typeArgs = lowerer.checker.getTypeArguments(instance);
+    if (typeArgs.length !== 2)
+        lowerer.noLowering("ThreadSlots without type arguments", expr);
+    const key = lowerer.mapTypeOf(typeArgs[0]);
+    const keyInfo = key?.kind === "object" ? lowerer.classes.get(key.className) : undefined;
+    if (key?.kind !== "object" ||
+        keyInfo === undefined ||
+        keyInfo.decl === null ||
+        rootOf(keyInfo).def.runtime === true)
+        lowerer.unsupported("SC1090", expr, `'${lowerer.checker.typeToString(typeArgs[0])}' as a ThreadSlots key type`, "key the slots by instances of a class declared in the program");
+    const value = lowerer.mapTypeOf(typeArgs[1]);
+    if (value === null || !VALUE_KINDS.has(value.kind))
+        lowerer.unsupported("SC1090", expr, `'${lowerer.checker.typeToString(typeArgs[1])}' as a ThreadSlots value type`, "store class instances, objects, arrays, Maps or Sets");
+    const signature = `${typeKey(key)}|${typeKey(value)}`;
+    const first = lowerer.threadSlotNames.get(name);
+    if (first === undefined)
+        lowerer.threadSlotNames.set(name, signature);
+    else if (first !== signature)
+        lowerer.unsupported("SC1090", expr, `opening ThreadSlots ${JSON.stringify(name)} with different type arguments than its first construction`, "every construction of one slots name must use the same key and value types");
+    lowerer.threadSlotKeys.add(key.className);
+    const family = { name, key: key, value: value };
+    lowerer.threadSlotFamilies.set(expr, family);
+    return family;
+}
+/** `new ThreadSlots<K, V>("name")`. */
+export function lowerThreadSlotsNew(lowerer, expr) {
+    if (!ts.isIdentifier(expr.expression))
+        return null;
+    if (experimentalImportOf(lowerer.program, expr.expression) !== "ThreadSlots")
+        return null;
+    familyOf(lowerer, expr);
+    return {
+        kind: "new",
+        className: THREAD_SLOTS_CLASS,
+        args: [],
+        type: threadSlotsType(lowerer),
+        loc: locOf(expr),
+    };
+}
+/** The `new ThreadSlots(...)` initializer of the module-level const that
+ * `receiver` names (through imports and namespace imports), or of the
+ * slots whose `set` call
+ * `receiver` is (`slots.set(a, x).set(b, y)`), or null. */
+function declaringNew(lowerer, receiver) {
+    if (ts.isCallExpression(receiver) &&
+        ts.isPropertyAccessExpression(receiver.expression) &&
+        threadSlotsMemberOf(lowerer.program, receiver.expression, lowerer.experimentalFiles) === "set")
+        return declaringNew(lowerer, receiver.expression.expression);
+    // `slots`, or `ns.slots` through a namespace import.
+    const ref = ts.isPropertyAccessExpression(receiver) ? receiver.name : receiver;
+    if (!ts.isIdentifier(ref))
+        return null;
+    const checker = lowerer.checker;
+    let symbol = checker.getSymbolAtLocation(ref);
+    if (symbol !== undefined && (symbol.flags & ts.SymbolFlags.Alias) !== 0)
+        symbol = checker.getAliasedSymbol(symbol);
+    const decl = symbol ? symbol.declarations[0] : undefined;
+    if (decl === undefined || !ts.isVariableDeclaration(decl))
+        return null;
+    const list = decl.parent;
+    if (!ts.isVariableDeclarationList(list) ||
+        (list.flags & ts.NodeFlags.Const) === 0 ||
+        !ts.isVariableStatement(list.parent) ||
+        !ts.isSourceFile(list.parent.parent))
+        return null;
+    const init = decl.initializer;
+    if (init === undefined || !ts.isNewExpression(init) || !ts.isIdentifier(init.expression))
+        return null;
+    return experimentalImportOf(lowerer.program, init.expression) === "ThreadSlots" ? init : null;
+}
+/** The refusal of ThreadSlots members used as values. */
+export function lowerThreadSlotsProperty(lowerer, expr) {
+    const member = threadSlotsMemberOf(lowerer.program, expr, lowerer.experimentalFiles);
+    if (member === null)
+        return null;
+    return lowerer.noLowering(`ThreadSlots.${member} (@scriptc/experimental) as a value`, expr, `call slots.${member}(...) directly`);
+}
+/** `slots.get(k)`, `has`, `set` and `delete`. */
+export function lowerThreadSlotsCall(lowerer, expr) {
+    const callee = expr.expression;
+    if (!ts.isPropertyAccessExpression(callee))
+        return null;
+    const member = threadSlotsMemberOf(lowerer.program, callee, lowerer.experimentalFiles);
+    if (member === null)
+        return null;
+    if (callee.questionDotToken !== undefined || expr.questionDotToken !== undefined)
+        lowerer.noLowering(`ThreadSlots.${member} through ?.`, expr, `call slots.${member}() directly`);
+    const arity = member === "set" ? 2 : 1;
+    if (expr.arguments.nodes.length !== arity ||
+        expr.arguments.nodes.some((a) => ts.isSpreadElement(a)))
+        lowerer.noLowering(`ThreadSlots.${member} with ${expr.arguments.nodes.length} arguments`, expr);
+    const init = declaringNew(lowerer, callee.expression);
+    if (init === null)
+        lowerer.unsupported("SC1090", callee.expression, "ThreadSlots calls through a value other than a module-level const", 'call the methods through `const slots = new ThreadSlots<K, V>("name")` declared at module scope');
+    const family = familyOf(lowerer, init);
+    const loc = locOf(expr);
+    const slotsType = threadSlotsType(lowerer);
+    const receiver = lowerer.coerceInto(callee.expression, lowerer.lowerExpr(callee.expression), slotsType);
+    const keyNode = expr.arguments.nodes[0];
+    const key = lowerer.coerceInto(keyNode, lowerer.lowerExpr(keyNode), family.key);
+    const name = { kind: "strLit", value: family.name, type: STRING, loc };
+    const args = [name, receiver, key];
+    switch (member) {
+        case "get": {
+            // The slots hold values in the layout of the type the constructor registered (`family.value`,
+            // which `set` stores with). The receiver's annotation can name a structurally wider value
+            // type, so the value read is converted to the call's type like any value flowing into it.
+            const resultTs = lowerer.typeOf(expr);
+            const result = lowerer.mapTypeOf(resultTs);
+            if (result === null)
+                lowerer.badType(expr, resultTs);
+            const stored = withUndefinedArm(family.value, lowerer.unions);
+            if (stored === null)
+                lowerer.badType(expr, resultTs);
+            const read = { kind: "intrinsic", name: "slots.get", args, type: stored, loc };
+            return typeKey(stored) === typeKey(result) ? read : lowerer.coerceInto(expr, read, result);
+        }
+        case "has":
+        case "delete":
+            return { kind: "intrinsic", name: `slots.${member}`, args, type: { kind: "bool" }, loc };
+        case "set": {
+            const valueNode = expr.arguments.nodes[1];
+            const value = lowerer.coerceInto(valueNode, lowerer.lowerExpr(valueNode), family.value);
+            // `set` returns the slots; a statement discards them.
+            const type = ts.isExpressionStatement(expr.parent) ? VOID : slotsType;
+            return { kind: "intrinsic", name: "slots.set", args: [...args, value], type, loc };
+        }
+    }
+}
+//# sourceMappingURL=thread-slots.js.map

package/dist/frontend/lowering/thread-slots.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"thread-slots.js","sourceRoot":"","sources":["../../../src/frontend/lowering/thread-slots.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;qEAeqE;AACrE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAEvD,OAAO,EAEL,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,2BAA2B,CAAC;AACnC,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAGrD,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEtC,MAAM,CAAC,MAAM,kBAAkB,GAAG,cAAc,CAAC;AAEjD,MAAM,WAAW,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAEpE;uBACuB;AACvB,MAAM,WAAW,GAAG,IAAI,GAAG,CAAiB,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AAEzF;gCACgC;AAChC,MAAM,UAAU,eAAe,CAAC,OAAgB;IAC9C,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,kBAAkB,EAAE,CAAC;IACvE,IAAI,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC;QAAE,OAAO,IAAI,CAAC;IACzD,MAAM,IAAI,GAAc;QACtB,GAAG,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,WAAW,EAAE;QAC/D,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,UAAU,EAAE,EAAE;QACd,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,IAAI,EAAE,IAAI;QACV,WAAW,EAAE,IAAI;QACjB,IAAI,EAAE,IAAI;QACV,UAAU,EAAE,EAAE;QACd,IAAI,EAAE,IAAI;QACV,UAAU,EAAE,EAAE;QACd,eAAe,EAAE,EAAE;QACnB,YAAY,EAAE,EAAE;KACjB,CAAC;IACF,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,kBAAkB,EAAE,IAAI,CAAC,CAAC;IAC9C,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QACrB,IAAI,EAAE,IAAI,kBAAkB,cAAc;QAC1C,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QACnD,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAC9D,IAAI,EAAE,EAAE;QACR,GAAG,EAAE,WAAW;KACjB,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAQD,uCAAuC;AACvC,SAAS,MAAM,CAAC,IAAe;IAC7B,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,OAAO,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IAC5C,OAAO,IAAI,CAAC;AACd,CAAC;AAED;mDACmD;AACnD,SAAS,QAAQ,CAAC,OAAgB,EAAE,IAAsB;IACxD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE,CAAC;IACzC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,KAAK,SAAS,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;QACnE,OAAO,CAAC,UAAU,CAAC,wBAAwB,IAAI,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;IAC5E,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,GAAI,CAAC,IAAI,CAAC,EAAE,CAAC,+BAA+B,CAAC,GAAI,CAAC;QACxE,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,GAAI,EACJ,8CAA8C,EAC9C,2FAA2F,CAC5F,CAAC;IACJ,MAAM,IAAI,GAAI,GAAwB,CAAC,IAAI,CAAC;IAC5C,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAA4B,CAAC,CAAC;IAChF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,UAAU,CAAC,oCAAoC,EAAE,IAAI,CAAC,CAAC;IAC1F,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,GAAG,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACxF,IACE,GAAG,EAAE,IAAI,KAAK,QAAQ;QACtB,OAAO,KAAK,SAAS;QACrB,OAAO,CAAC,IAAI,KAAK,IAAI;QACrB,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,OAAO,KAAK,IAAI;QAEpC,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,IAAI,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,6BAA6B,EAC3E,+DAA+D,CAChE,CAAC;IACJ,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC;IAC9C,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;QAChD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,IAAI,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,+BAA+B,EAC7E,sDAAsD,CACvD,CAAC;IACJ,MAAM,SAAS,GAAG,GAAG,OAAO,CAAC,GAAI,CAAC,IAAI,OAAO,CAAC,KAAM,CAAC,EAAE,CAAC;IACxD,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;SACjE,IAAI,KAAK,KAAK,SAAS;QAC1B,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,uBAAuB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,4DAA4D,EACvG,4EAA4E,CAC7E,CAAC;IACJ,OAAO,CAAC,cAAc,CAAC,GAAG,CAAE,GAAmC,CAAC,SAAS,CAAC,CAAC;IAC3E,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAI,EAAE,KAAK,EAAE,KAAM,EAAE,CAAC;IAClD,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC7C,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,uCAAuC;AACvC,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,IAAsB;IAC1E,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,IAAI,oBAAoB,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,aAAa;QAAE,OAAO,IAAI,CAAC;IAC1F,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACxB,OAAO;QACL,IAAI,EAAE,KAAK;QACX,SAAS,EAAE,kBAAkB;QAC7B,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC;QAC9B,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;KACjB,CAAC;AACJ,CAAC;AAED;;;2DAG2D;AAC3D,SAAS,YAAY,CAAC,OAAgB,EAAE,QAAuB;IAC7D,IACE,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC;QAC7B,EAAE,CAAC,0BAA0B,CAAC,QAAQ,CAAC,UAAU,CAAC;QAClD,mBAAmB,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,iBAAiB,CAAC,KAAK,KAAK;QAE9F,OAAO,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IAC/D,qDAAqD;IACrD,MAAM,GAAG,GAAG,EAAE,CAAC,0BAA0B,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC/E,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;IAChC,IAAI,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;IAC9C,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC;QACrE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzD,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACvE,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;IACzB,IACE,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QACnC,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QACvC,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC;QACpC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;QAEpC,OAAO,IAAI,CAAC;IACd,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC;IAC9B,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QACtF,OAAO,IAAI,CAAC;IACd,OAAO,oBAAoB,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAChG,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,IAAiC;IAEjC,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACrF,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,OAAO,OAAO,CAAC,UAAU,CACvB,eAAe,MAAM,qCAAqC,EAC1D,IAAI,EACJ,cAAc,MAAM,gBAAgB,CACrC,CAAC;AACJ,CAAC;AAED,iDAAiD;AACjD,MAAM,UAAU,oBAAoB,CAAC,OAAgB,EAAE,IAAuB;IAC5E,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,MAAM,GAA6B,mBAAmB,CAC1D,OAAO,CAAC,OAAO,EACf,MAAM,EACN,OAAO,CAAC,iBAAiB,CAC1B,CAAC;IACF,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,IAAI,MAAM,CAAC,gBAAgB,KAAK,SAAS,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS;QAC9E,OAAO,CAAC,UAAU,CAAC,eAAe,MAAM,aAAa,EAAE,IAAI,EAAE,cAAc,MAAM,aAAa,CAAC,CAAC;IAClG,MAAM,KAAK,GAAG,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,IACE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,KAAK;QACrC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAEvD,OAAO,CAAC,UAAU,CAAC,eAAe,MAAM,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;IAClG,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,IAAI,KAAK,IAAI;QACf,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,MAAM,CAAC,UAAU,EACjB,mEAAmE,EACnE,iGAAiG,CAClG,CAAC;IACJ,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE,IAAK,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,SAAS,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CACjC,MAAM,CAAC,UAAU,EACjB,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,EACpC,SAAS,CACV,CAAC;IACF,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;IACzC,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IAChF,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC/E,MAAM,IAAI,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;IACnC,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,KAAK,EAAE,CAAC;YACX,8FAA8F;YAC9F,0FAA0F;YAC1F,0FAA0F;YAC1F,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACtC,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YAC3C,IAAI,MAAM,KAAK,IAAI;gBAAE,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACrD,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;YAC9D,IAAI,MAAM,KAAK,IAAI;gBAAE,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACrD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,MAAO,EAAE,GAAG,EAAE,CAAC;YACxF,OAAO,OAAO,CAAC,MAAO,CAAC,KAAK,OAAO,CAAC,MAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,MAAO,CAAC,CAAC;QAChG,CAAC;QACD,KAAK,KAAK,CAAC;QACX,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC;QAC3F,KAAK,KAAK,EAAE,CAAC;YACX,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;YAC3C,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;YACxF,sDAAsD;YACtD,MAAM,IAAI,GAAG,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YACtE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACrF,CAAC;IACH,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,74 @@
+import * as ts from "../ts7/adapter.js";
+import { type IrExpr, type IrStmt, type IrType } from "../../ir/ir.js";
+import type { Lowerer } from "./lowerer.js";
+import { type ParamShape } from "./call-signatures.js";
+/** Variadic forwarding through a FIXED signature.
+ *
+ * A TypeScript function expression that declares no parameters and reads
+ * `arguments` (`function (this: unknown) { return fn.apply(this, arguments) }
+ * as F`) is lowered against the fixed function type its value is asserted
+ * to: one native slot per position of that type, and `arguments` is the
+ * tuple of those slots. Inside a generic instantiation F is the call
+ * site's concrete signature, so a higher-order wrapper specializes to the
+ * wrapped function's exact ABI. Forwarding (`f.apply(thisArg, args)`,
+ * `f(...args)`) then calls with the tuple's positions directly. */
+/** `e`, with the type-only wrappers that never change its value removed. */
+export declare function stripTypeWrappers(e: ts.Expression): ts.Expression;
+/** A function expression whose `arguments` can be typed: TypeScript source,
+ * no runtime parameters (a `this` parameter is type-only), an ordinary
+ * (non-generator) function that reads its own `arguments`. */
+export declare function typedArgumentsCandidate(node: ts.Node): node is ts.FunctionExpression;
+/** The fixed signature a typed-arguments function expression is lowered
+ * against: the type its value is asserted to (`function () {…} as F`), the
+ * one type every use of its const binding asserts it to (`const w =
+ * function () {…}; return w as unknown as F`), or its contextual function
+ * type. Null when none names one fixed-arity signature. */
+export declare function typedArgumentsTarget(lowerer: Lowerer, node: ts.FunctionExpression): (IrType & {
+    kind: "func";
+}) | null;
+/** The tuple type of a fixed parameter list, interned exactly as the
+ * spelled tuple (and `Parameters<F>`) map: positional fields, or the
+ * empty-array form for no parameters. */
+export declare function tupleTypeOfParams(lowerer: Lowerer, params: readonly IrType[]): IrType;
+/** The ABI shapes of a typed-arguments function: one required slot per
+ * position of its target signature. */
+export declare function typedArgumentsShapes(target: IrType & {
+    kind: "func";
+}): ParamShape[];
+/** Declares the hidden positional slots of a typed-arguments function and
+ * binds its `arguments` to their tuple. */
+export declare function declareTypedArguments(lowerer: Lowerer, node: ts.FunctionExpression, shapes: readonly ParamShape[], params: {
+    localId: string;
+    name: string;
+    type: IrType;
+}[], prologue: IrStmt[]): void;
+/** Whether every read of a tuple binding in `fn` (identified by `isRoot`)
+ * only forwards it: `f.apply(t, x)`, `g(...x)` into a program function,
+ * `x.length`, or a const alias whose own reads only forward. Reads inside
+ * nested functions (arrows included) capture the binding and need the
+ * tuple. Type assertions around a read never matter. */
+export declare function onlyForwarded(lowerer: Lowerer, fn: ts.Node, isRoot: (id: ts.Identifier) => boolean): boolean;
+/** The positional values `node` forwards when it is a pure-forwarded tuple
+ * (slot reads, in order), or null. */
+export declare function pureForwardedValues(lowerer: Lowerer, node: ts.Expression): IrExpr[] | null;
+/** The fixed tuple `node` forwards, or null: the typed `arguments`, a
+ * fixed-tuple rest parameter, or a const alias of either — seen through
+ * type assertions, which never change the value. */
+export declare function forwardedTupleType(lowerer: Lowerer, node: ts.Expression): IrType | null;
+/** `f.apply(thisArg, args)` where `args` forwards a fixed tuple and `f` is a
+ * fixed-arity function value: a direct call of `f` with the tuple's
+ * positions and `thisArg` as the call-time receiver. Null for every other
+ * form (the existing Function.prototype paths keep them). */
+export declare function lowerForwardingApply(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+/** `const args = arguments as …` (or an alias of a rest tuple) inside a
+ * typed-arguments function: the binding holds the tuple itself — the
+ * assertion only re-describes the value — and stays a forwarding source. */
+export declare function lowerTupleAliasDecl(lowerer: Lowerer, decl: ts.VariableDeclaration): IrStmt | null;
+/** A spread operand forwarding a fixed tuple (forwardedTupleType),
+ * including one that resolved to no positions at all. */
+export declare function isForwardedTupleSpread(lowerer: Lowerer, node: ts.Expression): boolean;
+/** `arguments` read inside a typed-arguments function: its fixed arity. */
+export declare function typedArgumentsArity(lowerer: Lowerer, node: ts.Expression): number | null;
+/** The function whose `arguments` an identifier reads: the nearest
+ * enclosing non-arrow function. */
+export declare function argumentsOwner(node: ts.Node): ts.Node | null;