@scriptc/compiler 0.3.5 → 0.4.0

package/dist/frontend/lowering/js-class-fields.js

@@ -0,0 +1,170 @@
+import * as ts from "../ts7/adapter.js";
+import { isClassOwnEnumerableFieldName } from "../../ir/ir.js";
+/** Reflection that can remove a property or change its attributes. */
+const PROPERTY_REFLECTION = new Set(["deleteProperty", "freeze", "seal", "preventExtensions"]);
+/** `Object.freeze({ ... })` and the like apply to a new literal, which is
+ * not a class instance. */
+function freshLiteralArgument(callee) {
+    const call = callee.parent;
+    if (!ts.isCallExpression(call) || call.expression !== callee)
+        return false;
+    let argument = call.arguments.nodes[0];
+    while (argument && ts.isParenthesizedExpression(argument))
+        argument = argument.expression;
+    return (argument !== undefined &&
+        (ts.isObjectLiteralExpression(argument) || ts.isArrayLiteralExpression(argument)));
+}
+/** Property names that a `delete` in `files` can remove, or null when a
+ * delete with a computed key or a reflective removal can remove any name. */
+export function deletedPropertyNames(files) {
+    const names = new Set();
+    let any = false;
+    for (const file of files)
+        ts.walkPreorder(file, (node) => {
+            if (any)
+                return "stop";
+            if (ts.isPropertyAccessExpression(node) &&
+                PROPERTY_REFLECTION.has(node.name.text) &&
+                !freshLiteralArgument(node)) {
+                any = true;
+                return "stop";
+            }
+            if (!ts.isDeleteExpression(node))
+                return undefined;
+            let target = node.expression;
+            while (ts.isParenthesizedExpression(target))
+                target = target.expression;
+            if (ts.isPropertyAccessExpression(target))
+                names.add(target.name.text);
+            else if (ts.isElementAccessExpression(target) &&
+                (ts.isStringLiteralLike(target.argumentExpression) ||
+                    ts.isNumericLiteral(target.argumentExpression)))
+                names.add(target.argumentExpression.text);
+            else
+                any = true;
+            return undefined;
+        });
+    return any ? null : names;
+}
+/** Whether `node` reads or passes `this` or `super`. */
+function usesReceiver(node) {
+    let found = false;
+    ts.walkPreorder(node, (part) => {
+        if (part.kind === ts.SyntaxKind.ThisKeyword || part.kind === ts.SyntaxKind.SuperKeyword) {
+            found = true;
+            return "stop";
+        }
+        return undefined;
+    });
+    return found;
+}
+/** The field a statement `this.name = value` creates when `value` does not
+ * use the receiver, or null for any other statement. */
+function receiverFreeFieldAssignment(statement) {
+    if (!ts.isExpressionStatement(statement))
+        return null;
+    const assignment = statement.expression;
+    if (!ts.isBinaryExpression(assignment) ||
+        assignment.operatorToken.kind !== ts.SyntaxKind.EqualsToken ||
+        !ts.isPropertyAccessExpression(assignment.left) ||
+        assignment.left.expression.kind !== ts.SyntaxKind.ThisKeyword ||
+        usesReceiver(assignment.right))
+        return null;
+    return assignment.left.name.text;
+}
+/** The fields a class's construction creates before the instance can be
+ * observed: field declarations and top-level `this.name = value`
+ * statements whose values do not use the receiver, up to the first
+ * statement that uses `this` or `super` in any other way. A subclass
+ * continues its base's sequence (`base`) only when the whole base
+ * construction kept the instance unobserved. `isField` tells fields from
+ * names whose assignment runs a setter or adds a property. Null when the
+ * constructor's shape is not analyzed. */
+export function constructionPrefix(decl, base, isField) {
+    const created = new Set(base?.created ?? []);
+    let sealed = base?.sealed ?? true;
+    const ctor = decl.members.nodes.find((member) => ts.isConstructorDeclaration(member) && member.body !== undefined);
+    if (ctor?.parameters?.nodes.some((parameter) => usesReceiver(parameter)))
+        sealed = false;
+    const statements = ctor?.body?.statements?.nodes ?? [];
+    // A derived constructor's statements before super() cannot reach the
+    // instance; the field declarations run when super() returns.
+    let at = 0;
+    if (base && ctor) {
+        const superAt = statements.findIndex((statement) => ts.isExpressionStatement(statement) &&
+            ts.isCallExpression(statement.expression) &&
+            statement.expression.expression.kind === ts.SyntaxKind.SuperKeyword);
+        if (superAt < 0)
+            return null;
+        const call = statements[superAt].expression;
+        if (call.arguments.nodes.some(usesReceiver))
+            sealed = false;
+        at = superAt + 1;
+    }
+    for (const member of decl.members.nodes) {
+        if (!ts.isPropertyDeclaration(member) || !ts.isIdentifier(member.name))
+            continue;
+        if (member.modifiers?.nodes.some((modifier) => modifier.kind === ts.SyntaxKind.StaticKeyword))
+            continue;
+        if (member.initializer && usesReceiver(member.initializer))
+            sealed = false;
+        if (sealed)
+            created.add(member.name.text);
+    }
+    for (const statement of statements.slice(at)) {
+        if (!sealed)
+            break;
+        // A name that is not a field runs a setter or adds a property bag
+        // entry, either of which can observe the instance.
+        const name = receiverFreeFieldAssignment(statement);
+        if (name !== null && isField(name))
+            created.add(name);
+        else if (name !== null || usesReceiver(statement) || ts.isReturnStatement(statement))
+            sealed = false;
+    }
+    return { created, sealed };
+}
+/** Whether a class declares a getter or setter, which can intercept a
+ * base constructor's field assignment. */
+function declaresAccessor(info) {
+    return [...info.methods.keys()].some((name) => name.startsWith("get:") || name.startsWith("set:"));
+}
+/** `constructionPrefix` for a collected class and its bases. */
+export function construction(info) {
+    if (!info.decl)
+        return null;
+    let base = null;
+    if (info.base) {
+        base = construction(info.base);
+        if (!base)
+            return null;
+        if (declaresAccessor(info))
+            base = { created: base.created, sealed: false };
+    }
+    return constructionPrefix(info.decl, base, (name) => info.fields.has(name));
+}
+/** Whether every class in the family under `root` creates all of its
+ * enumerable fields before its instances can be observed, and no field
+ * name can be deleted. Such fields exist for the instance's whole life in
+ * layout order, as TypeScript fields do, so their writes need no creation
+ * tracking. */
+export function fixedFieldFamily(root, deleted) {
+    if (deleted === null)
+        return false;
+    const fixed = (info) => {
+        if (declaresAccessor(info))
+            return false;
+        const built = construction(info);
+        if (!built)
+            return false;
+        for (const field of info.fieldOrder) {
+            if (!isClassOwnEnumerableFieldName(field.name))
+                continue;
+            if (!built.created.has(field.name) || deleted.has(field.name))
+                return false;
+        }
+        return info.subclasses.every(fixed);
+    };
+    return fixed(root);
+}
+//# sourceMappingURL=js-class-fields.js.map

package/dist/frontend/lowering/js-class-fields.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"js-class-fields.js","sourceRoot":"","sources":["../../../src/frontend/lowering/js-class-fields.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,6BAA6B,EAAE,MAAM,gBAAgB,CAAC;AAG/D,sEAAsE;AACtE,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,CAAC,gBAAgB,EAAE,QAAQ,EAAE,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC;AAE/F;2BAC2B;AAC3B,SAAS,oBAAoB,CAAC,MAAmC;IAC/D,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3B,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IAC3E,IAAI,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACvC,OAAO,QAAQ,IAAI,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC;QAAE,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC;IAC1F,OAAO,CACL,QAAQ,KAAK,SAAS;QACtB,CAAC,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,QAAQ,CAAC,CAAC,CAClF,CAAC;AACJ,CAAC;AAED;6EAC6E;AAC7E,MAAM,UAAU,oBAAoB,CAAC,KAA+B;IAClE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,IAAI,GAAG,GAAG,KAAK,CAAC;IAChB,KAAK,MAAM,IAAI,IAAI,KAAK;QACtB,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YAC7B,IAAI,GAAG;gBAAE,OAAO,MAAM,CAAC;YACvB,IACE,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;gBACnC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;gBACvC,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAC3B,CAAC;gBACD,GAAG,GAAG,IAAI,CAAC;gBACX,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;gBAAE,OAAO,SAAS,CAAC;YACnD,IAAI,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;YAC7B,OAAO,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;gBAAE,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;YACxE,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;iBAClE,IACH,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;gBACpC,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,kBAAkB,CAAC;oBAChD,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;gBAEjD,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;;gBACvC,GAAG,GAAG,IAAI,CAAC;YAChB,OAAO,SAAS,CAAC;QACnB,CAAC,CAAC,CAAC;IACL,OAAO,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;AAC5B,CAAC;AAED,wDAAwD;AACxD,SAAS,YAAY,CAAC,IAAa;IACjC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;YACxF,KAAK,GAAG,IAAI,CAAC;YACb,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED;wDACwD;AACxD,SAAS,2BAA2B,CAAC,SAAuB;IAC1D,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IACtD,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC;IACxC,IACE,CAAC,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC;QAClC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC3D,CAAC,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,IAAI,CAAC;QAC/C,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC7D,YAAY,CAAC,UAAU,CAAC,KAAK,CAAC;QAE9B,OAAO,IAAI,CAAC;IACd,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACnC,CAAC;AASD;;;;;;;0CAO0C;AAC1C,MAAM,UAAU,kBAAkB,CAChC,IAA8C,EAC9C,IAAyB,EACzB,OAAkC;IAElC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC;IAC7C,IAAI,MAAM,GAAG,IAAI,EAAE,MAAM,IAAI,IAAI,CAAC;IAClC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAClC,CAAC,MAAM,EAAuC,EAAE,CAC9C,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,CACnE,CAAC;IACF,IAAI,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;QAAE,MAAM,GAAG,KAAK,CAAC;IACzF,MAAM,UAAU,GAAG,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,IAAI,EAAE,CAAC;IACvD,qEAAqE;IACrE,6DAA6D;IAC7D,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;QACjB,MAAM,OAAO,GAAG,UAAU,CAAC,SAAS,CAClC,CAAC,SAAS,EAAE,EAAE,CACZ,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;YACnC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,UAAU,CAAC;YACzC,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CACtE,CAAC;QACF,IAAI,OAAO,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAC7B,MAAM,IAAI,GAAI,UAAU,CAAC,OAAO,CAA4B,CAAC,UAA+B,CAAC;QAC7F,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC;YAAE,MAAM,GAAG,KAAK,CAAC;QAC5D,EAAE,GAAG,OAAO,GAAG,CAAC,CAAC;IACnB,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACxC,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,SAAS;QACjF,IAAI,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;YAC3F,SAAS;QACX,IAAI,MAAM,CAAC,WAAW,IAAI,YAAY,CAAC,MAAM,CAAC,WAAW,CAAC;YAAE,MAAM,GAAG,KAAK,CAAC;QAC3E,IAAI,MAAM;YAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;QAC7C,IAAI,CAAC,MAAM;YAAE,MAAM;QACnB,kEAAkE;QAClE,mDAAmD;QACnD,MAAM,IAAI,GAAG,2BAA2B,CAAC,SAAS,CAAC,CAAC;QACpD,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;aACjD,IAAI,IAAI,KAAK,IAAI,IAAI,YAAY,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;YAClF,MAAM,GAAG,KAAK,CAAC;IACnB,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAC7B,CAAC;AAED;0CAC0C;AAC1C,SAAS,gBAAgB,CAAC,IAAe;IACvC,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAClC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAC7D,CAAC;AACJ,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,YAAY,CAAC,IAAe;IAC1C,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAC5B,IAAI,IAAI,GAAwB,IAAI,CAAC;IACrC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACvB,IAAI,gBAAgB,CAAC,IAAI,CAAC;YAAE,IAAI,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAC9E,CAAC;IACD,OAAO,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;AAC9E,CAAC;AAED;;;;eAIe;AACf,MAAM,UAAU,gBAAgB,CAAC,IAAe,EAAE,OAA2B;IAC3E,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACnC,MAAM,KAAK,GAAG,CAAC,IAAe,EAAW,EAAE;QACzC,IAAI,gBAAgB,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QACzC,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,KAAK;YAAE,OAAO,KAAK,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpC,IAAI,CAAC,6BAA6B,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,SAAS;YACzD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;QAC9E,CAAC;QACD,OAAO,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;AACrB,CAAC"}

package/dist/frontend/lowering/js-dynamic-objects.d.ts

@@ -0,0 +1,15 @@
+import * as ts from "../ts7/adapter.js";
+import { type IrExpr } from "../../ir/ir.js";
+import type { Lowerer } from "./lowerer.js";
+/** `class C { constructor(...) { ...; return value; } }` with nothing else:
+ * no heritage, decorators or other members, a constructor body that
+ * returns a value at its own level and never mentions `this`/`super`. */
+export declare function isValueReturningConstructorClass(decl: ts.ClassDeclaration): boolean;
+export declare function jsDynamicDeclarations(files: readonly ts.SourceFile[], checker: ts.TypeChecker): Set<ts.Node>;
+/** `new C(args)` for a value-returning constructor class (above): the
+ * constructor body runs as an ordinary JavaScript function whose result
+ * is the construction's value. A returned object or function is Node's
+ * answer; a fall-through or primitive return would answer the bare
+ * instance, which has no static home here, and throws the deferred
+ * refusal instead. Null when the callee is not such a class. */
+export declare function lowerValueReturningConstructorNew(lowerer: Lowerer, expr: ts.NewExpression): IrExpr | null;

package/dist/frontend/lowering/js-dynamic-objects.js

@@ -0,0 +1,299 @@
+/* JavaScript declarations whose values only the checked-dynamic
+ * representation can hold faithfully. TypeScript infers a fixed object
+ * type for each of them, but the program changes the value's shape or
+ * identity at run time, so a static layout would answer stale members
+ * (or throw on a value that no longer fits):
+ *
+ * - a non-empty object literal bound to a variable that the same file
+ *   grows or reshapes dynamically: a keyed write with a runtime key
+ *   (`o[k] = v`), a `delete`, or `Object.defineProperty(o, ...)` /
+ *   `Object.defineProperties(o, ...)` (ansi-styles' `assembleStyles`).
+ *   The object literals nested in its property values belong to the same
+ *   value graph and are marked with it;
+ * - a class whose only member is a constructor that returns a value and
+ *   never reads `this` (chalk's `class Chalk { constructor(options) {
+ *   return chalkFactory(options); } }`): `new C()` answers whatever the
+ *   constructor returns, so its instance type has no fixed layout.
+ *
+ * The type mapper answers the checked-dynamic type for the instance and
+ * object-literal types these declarations own (TypeMapperCtx
+ * .jsDynamicDeclaration). The scan is syntactic, runs over JavaScript
+ * files only, and an empty answer leaves every mapping unchanged, so
+ * TypeScript programs and JavaScript that never uses these patterns
+ * compile exactly as before. */
+import * as ts from "../ts7/adapter.js";
+import { isJsSourceFile, locOf } from "../program.js";
+import { BOOL, DYN } from "../../ir/ir.js";
+import { dynUndefinedExpr, nodeThrowExpr } from "../../ir/build.js";
+import { newFnCtx } from "./function-context.js";
+const SCANNED_KINDS = new Set([
+    ts.SyntaxKind.VariableDeclaration,
+    ts.SyntaxKind.ClassDeclaration,
+    ts.SyntaxKind.BinaryExpression,
+    ts.SyntaxKind.DeleteExpression,
+    ts.SyntaxKind.CallExpression,
+]);
+function unparenthesized(node) {
+    while (ts.isParenthesizedExpression(node))
+        node = node.expression;
+    return node;
+}
+function isLiteralKey(node) {
+    const key = unparenthesized(node);
+    return (ts.isStringLiteral(key) || ts.isNumericLiteral(key) || ts.isNoSubstitutionTemplateLiteral(key));
+}
+function isAssignmentOperator(kind) {
+    return kind >= ts.SyntaxKind.FirstAssignment && kind <= ts.SyntaxKind.LastAssignment;
+}
+/** `class C { constructor(...) { ...; return value; } }` with nothing else:
+ * no heritage, decorators or other members, a constructor body that
+ * returns a value at its own level and never mentions `this`/`super`. */
+export function isValueReturningConstructorClass(decl) {
+    if (decl.heritageClauses !== undefined && decl.heritageClauses.nodes.length > 0)
+        return false;
+    if (decl.modifiers?.nodes.some((modifier) => modifier.kind === ts.SyntaxKind.Decorator))
+        return false;
+    let ctor;
+    for (const member of decl.members.nodes) {
+        if (ts.isSemicolonClassElement(member))
+            continue;
+        if (!ts.isConstructorDeclaration(member) || ctor !== undefined)
+            return false;
+        ctor = member;
+    }
+    if (ctor?.body === undefined)
+        return false;
+    let returnsValue = false;
+    let observesThis = false;
+    const visit = (node) => {
+        if (observesThis)
+            return;
+        if (node.kind === ts.SyntaxKind.ThisKeyword || node.kind === ts.SyntaxKind.SuperKeyword) {
+            observesThis = true;
+            return;
+        }
+        // Arrow functions share the constructor's `this`; other functions
+        // have their own `this` and their own returns.
+        if (ts.isFunctionLike(node) && !ts.isArrowFunction(node))
+            return;
+        if (ts.isClassDeclaration(node) || ts.isClassExpression(node))
+            return;
+        if (ts.isReturnStatement(node) && node.expression !== undefined && !insideArrow(node, ctor))
+            returnsValue = true;
+        ts.forEachChild(node, visit);
+    };
+    ts.forEachChild(ctor.body, visit);
+    for (const parameter of ctor.parameters.nodes)
+        ts.forEachChild(parameter, visit);
+    return returnsValue && !observesThis;
+}
+function insideArrow(node, ctor) {
+    for (let p = node.parent; p !== undefined && p !== ctor; p = p.parent) {
+        if (ts.isArrowFunction(p))
+            return true;
+    }
+    return false;
+}
+function markNested(literal, out) {
+    if (out.has(literal))
+        return;
+    out.add(literal);
+    for (const property of literal.properties.nodes) {
+        if (!ts.isPropertyAssignment(property))
+            continue;
+        const value = unparenthesized(property.initializer);
+        if (ts.isObjectLiteralExpression(value))
+            markNested(value, out);
+    }
+}
+export function jsDynamicDeclarations(files, checker) {
+    const out = new Set();
+    for (const file of files) {
+        if (!isJsSourceFile(file) || file.isDeclarationFile)
+            continue;
+        const literals = new Map();
+        const reshaped = new Set();
+        const receiver = (expression) => {
+            if (expression === undefined)
+                return;
+            const target = unparenthesized(expression);
+            if (!ts.isIdentifier(target))
+                return;
+            const symbol = checker.getSymbolAtLocation(target);
+            if (symbol !== undefined)
+                reshaped.add(symbol);
+        };
+        ts.walkPreorder(file, (node) => {
+            if (ts.isVariableDeclaration(node)) {
+                if (!ts.isIdentifier(node.name) || node.initializer === undefined)
+                    return;
+                const init = unparenthesized(node.initializer);
+                // An empty literal's binding is already checked-dynamic
+                // (jsOpenObjectType), and its type describes no layout.
+                if (!ts.isObjectLiteralExpression(init) || init.properties.nodes.length === 0)
+                    return;
+                const symbol = checker.getSymbolAtLocation(node.name);
+                if (symbol !== undefined)
+                    literals.set(symbol, init);
+                return;
+            }
+            if (ts.isClassDeclaration(node)) {
+                if (isValueReturningConstructorClass(node))
+                    out.add(node);
+                return;
+            }
+            if (ts.isBinaryExpression(node)) {
+                if (!isAssignmentOperator(node.operatorToken.kind))
+                    return;
+                const left = unparenthesized(node.left);
+                if (ts.isElementAccessExpression(left) && !isLiteralKey(left.argumentExpression))
+                    receiver(left.expression);
+                return;
+            }
+            if (ts.isDeleteExpression(node)) {
+                const operand = unparenthesized(node.expression);
+                if (ts.isElementAccessExpression(operand) || ts.isPropertyAccessExpression(operand))
+                    receiver(operand.expression);
+                return;
+            }
+            if (ts.isCallExpression(node)) {
+                const callee = unparenthesized(node.expression);
+                if (ts.isPropertyAccessExpression(callee) &&
+                    ts.isIdentifier(callee.expression) &&
+                    callee.expression.text === "Object" &&
+                    (callee.name.text === "defineProperty" || callee.name.text === "defineProperties"))
+                    receiver(node.arguments.nodes[0]);
+            }
+        }, SCANNED_KINDS);
+        for (const symbol of reshaped) {
+            const literal = literals.get(symbol);
+            if (literal !== undefined)
+                markNested(literal, out);
+        }
+    }
+    return out;
+}
+/** `new C(args)` for a value-returning constructor class (above): the
+ * constructor body runs as an ordinary JavaScript function whose result
+ * is the construction's value. A returned object or function is Node's
+ * answer; a fall-through or primitive return would answer the bare
+ * instance, which has no static home here, and throws the deferred
+ * refusal instead. Null when the callee is not such a class. */
+export function lowerValueReturningConstructorNew(lowerer, expr) {
+    const isDynamic = lowerer.typeCtx.jsDynamicDeclaration;
+    if (isDynamic === undefined)
+        return null;
+    const callee = unparenthesized(expr.expression);
+    if (!ts.isIdentifier(callee))
+        return null;
+    let symbol = lowerer.resolveValueSymbol(callee);
+    if (symbol !== null && (symbol.flags & ts.SymbolFlags.Alias) !== 0)
+        symbol = lowerer.checker.getAliasedSymbol(symbol);
+    const decl = symbol
+        ? symbol.declarations.find((node) => ts.isClassDeclaration(node) && isDynamic(node))
+        : undefined;
+    if (decl === undefined)
+        return null;
+    const loc = locOf(expr);
+    const ctor = decl.members.nodes.find(ts.isConstructorDeclaration);
+    const simple = ctor.parameters.nodes.every((p) => ts.isIdentifier(p.name) && p.dotDotDotToken === undefined && p.initializer === undefined);
+    if (!simple || !ts.isSourceFile(decl.parent)) {
+        lowerer.unsupported("SC1090", expr, "constructing a class whose constructor returns a value, with parameter defaults, rest or patterns, or declared inside a function");
+    }
+    const args = expr.arguments?.nodes ?? [];
+    if (args.some(ts.isSpreadElement)) {
+        lowerer.unsupported("SC1090", expr, "spread arguments when constructing a class whose constructor returns a value");
+    }
+    const key = `ctorValue:${ts.getSourceFileOfNode(decl).fileName}:${ts.tokenStartOfNode(decl)}`;
+    let name = lowerer.valueHelpers.get(key);
+    if (name === undefined) {
+        name = `%ctorValue.${lowerer.valueHelpers.size}`;
+        lowerer.valueHelpers.set(key, name);
+        const savedClass = lowerer.currentClass;
+        lowerer.currentClass = null;
+        lowerer.fnStack.push(newFnCtx(false, null, null, DYN));
+        try {
+            const shapes = ctor.parameters.nodes.map(() => ({
+                type: DYN,
+                mode: "required",
+            }));
+            const declared = lowerer.declareParams(ctor.parameters.nodes, shapes);
+            const body = [
+                ...declared.prologue,
+                ...lowerer.lowerStmts(ctor.body.statements.nodes),
+                {
+                    kind: "runtimeFence",
+                    code: "SC1090",
+                    message: `constructors that return no object (the bare instance of '${decl.name?.text ?? "class"}' has no representation here) are not supported yet [SC1090 at ${ts.getSourceFileOfNode(decl).fileName}:${ts.getLineAndCharacterOfPosition(ts.getSourceFileOfNode(decl), ts.tokenStartOfNode(ctor)).line + 1}]`,
+                    loc: locOf(ctor),
+                },
+            ];
+            lowerer.liftedFns.push({
+                name,
+                params: declared.params,
+                returnType: DYN,
+                locals: lowerer.ctx.locals,
+                body,
+                loc: locOf(ctor),
+            });
+        }
+        finally {
+            lowerer.fnStack.pop();
+            lowerer.currentClass = savedClass;
+        }
+    }
+    const lowered = ctor.parameters.nodes.map((_, i) => args[i] !== undefined ? lowerer.lowerExprExpecting(args[i], DYN) : dynUndefinedExpr(loc));
+    // Surplus arguments still evaluate, left to right, after the others.
+    const surplus = args
+        .slice(ctor.parameters.nodes.length)
+        .map((arg) => ({ kind: "exprStmt", expr: lowerer.lowerExpr(arg), loc: locOf(arg) }));
+    const result = lowerer.declareHiddenLocal("%constructed", DYN);
+    const value = { kind: "varRef", localId: result.id, type: DYN, loc };
+    const sf = ts.getSourceFileOfNode(expr);
+    const line = ts.getLineAndCharacterOfPosition(sf, ts.tokenStartOfNode(expr)).line + 1;
+    const objectLike = {
+        kind: "logical",
+        op: "||",
+        left: { kind: "dynTest", test: "function", value, type: BOOL, loc },
+        right: {
+            kind: "logical",
+            op: "&&",
+            left: { kind: "dynTest", test: "object", value, type: BOOL, loc },
+            right: { kind: "dynTest", test: "null", negated: true, value, type: BOOL, loc },
+            type: BOOL,
+            loc,
+        },
+        type: BOOL,
+        loc,
+    };
+    const args0 = [];
+    const argLocals = lowered.map((arg) => {
+        const local = lowerer.declareHiddenLocal("%constructArg", DYN);
+        args0.push({ kind: "varDecl", localId: local.id, init: arg, loc });
+        return { kind: "varRef", localId: local.id, type: DYN, loc };
+    });
+    return {
+        kind: "seqExpr",
+        stmts: [
+            ...args0,
+            ...surplus,
+            {
+                kind: "varDecl",
+                localId: result.id,
+                init: { kind: "call", callee: name, args: argLocals, type: DYN, loc },
+                loc,
+            },
+        ],
+        result: {
+            kind: "ternary",
+            cond: objectLike,
+            then: value,
+            else_: nodeThrowExpr(0, "SC1090", `constructors that return no object are not supported yet [SC1090 at ${sf.fileName}:${line}]`, DYN, loc),
+            type: DYN,
+            loc,
+        },
+        type: DYN,
+        loc,
+    };
+}
+//# sourceMappingURL=js-dynamic-objects.js.map

package/dist/frontend/lowering/js-dynamic-objects.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"js-dynamic-objects.js","sourceRoot":"","sources":["../../../src/frontend/lowering/js-dynamic-objects.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;gCAsBgC;AAChC,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,GAAG,EAA4B,MAAM,gBAAgB,CAAC;AACrE,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAGpE,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAEjD,MAAM,aAAa,GAA+B,IAAI,GAAG,CAAC;IACxD,EAAE,CAAC,UAAU,CAAC,mBAAmB;IACjC,EAAE,CAAC,UAAU,CAAC,gBAAgB;IAC9B,EAAE,CAAC,UAAU,CAAC,gBAAgB;IAC9B,EAAE,CAAC,UAAU,CAAC,gBAAgB;IAC9B,EAAE,CAAC,UAAU,CAAC,cAAc;CAC7B,CAAC,CAAC;AAEH,SAAS,eAAe,CAAC,IAAmB;IAC1C,OAAO,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;IAClE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,YAAY,CAAC,IAAmB;IACvC,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IAClC,OAAO,CACL,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,GAAG,CAAC,CAC/F,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAmB;IAC/C,OAAO,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,eAAe,IAAI,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC;AACvF,CAAC;AAED;;yEAEyE;AACzE,MAAM,UAAU,gCAAgC,CAAC,IAAyB;IACxE,IAAI,IAAI,CAAC,eAAe,KAAK,SAAS,IAAI,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9F,IAAI,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC;QACrF,OAAO,KAAK,CAAC;IACf,IAAI,IAA2C,CAAC;IAChD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACxC,IAAI,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC;YAAE,SAAS;QACjD,IAAI,CAAC,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAC7E,IAAI,GAAG,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC3C,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,YAAY;YAAE,OAAO;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;YACxF,YAAY,GAAG,IAAI,CAAC;YACpB,OAAO;QACT,CAAC;QACD,kEAAkE;QAClE,+CAA+C;QAC/C,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;YAAE,OAAO;QACjE,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAAE,OAAO;QACtE,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,IAAK,CAAC;YAC1F,YAAY,GAAG,IAAI,CAAC;QACtB,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAClC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK;QAAE,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACjF,OAAO,YAAY,IAAI,CAAC,YAAY,CAAC;AACvC,CAAC;AAED,SAAS,WAAW,CAAC,IAAa,EAAE,IAA+B;IACjE,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACtE,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IACzC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,OAAmC,EAAE,GAAiB;IACxE,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO;IAC7B,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACjB,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QAChD,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;YAAE,SAAS;QACjD,MAAM,KAAK,GAAG,eAAe,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACpD,IAAI,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC;YAAE,UAAU,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAClE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,KAA+B,EAC/B,OAAuB;IAEvB,MAAM,GAAG,GAAG,IAAI,GAAG,EAAW,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,iBAAiB;YAAE,SAAS;QAC9D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAyC,CAAC;QAClE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAa,CAAC;QACtC,MAAM,QAAQ,GAAG,CAAC,UAAqC,EAAQ,EAAE;YAC/D,IAAI,UAAU,KAAK,SAAS;gBAAE,OAAO;YACrC,MAAM,MAAM,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;YAC3C,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;gBAAE,OAAO;YACrC,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;YACnD,IAAI,MAAM,KAAK,SAAS;gBAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjD,CAAC,CAAC;QACF,EAAE,CAAC,YAAY,CACb,IAAI,EACJ,CAAC,IAAI,EAAE,EAAE;YACP,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS;oBAAE,OAAO;gBAC1E,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC/C,wDAAwD;gBACxD,wDAAwD;gBACxD,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO;gBACtF,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtD,IAAI,MAAM,KAAK,SAAS;oBAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;gBACrD,OAAO;YACT,CAAC;YACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChC,IAAI,gCAAgC,CAAC,IAAI,CAAC;oBAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC1D,OAAO;YACT,CAAC;YACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChC,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;oBAAE,OAAO;gBAC3D,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACxC,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,kBAAkB,CAAC;oBAC9E,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC5B,OAAO;YACT,CAAC;YACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChC,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACjD,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC;oBACjF,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;gBAC/B,OAAO;YACT,CAAC;YACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAChD,IACE,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;oBACrC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC;oBAClC,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ;oBACnC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,kBAAkB,CAAC;oBAElF,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACtC,CAAC;QACH,CAAC,EACD,aAAa,CACd,CAAC;QACF,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC9B,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACrC,IAAI,OAAO,KAAK,SAAS;gBAAE,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;gEAKgE;AAChE,MAAM,UAAU,iCAAiC,CAC/C,OAAgB,EAChB,IAAsB;IAEtB,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,oBAAoB,CAAC;IACvD,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAChD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,IAAI,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC;QAChE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,MAAM;QACjB,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,CACtB,CAAC,IAAI,EAA+B,EAAE,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,CACtF;QACH,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,wBAAwB,CAAE,CAAC;IACnE,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CACxC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,cAAc,KAAK,SAAS,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,CAChG,CAAC;IACF,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7C,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,kIAAkI,CACnI,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE,CAAC;IACzC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QAClC,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,8EAA8E,CAC/E,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,aAAa,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;IAC9F,IAAI,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,GAAG,cAAc,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QACjD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACpC,MAAM,UAAU,GAAG,OAAO,CAAC,YAAY,CAAC;QACxC,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC;QAC5B,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;QACvD,IAAI,CAAC;YACH,MAAM,MAAM,GAAiB,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC;gBAC5D,IAAI,EAAE,GAAG;gBACT,IAAI,EAAE,UAAU;aACjB,CAAC,CAAC,CAAC;YACJ,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YACtE,MAAM,IAAI,GAAa;gBACrB,GAAG,QAAQ,CAAC,QAAQ;gBACpB,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAK,CAAC,UAAU,CAAC,KAAK,CAAC;gBAClD;oBACE,IAAI,EAAE,cAAc;oBACpB,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,6DAA6D,IAAI,CAAC,IAAI,EAAE,IAAI,IAAI,OAAO,kEAAkE,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,6BAA6B,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG;oBAChT,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;iBACjB;aACF,CAAC;YACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;gBACrB,IAAI;gBACJ,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,UAAU,EAAE,GAAG;gBACf,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,MAAM;gBAC1B,IAAI;gBACJ,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;aACjB,CAAC,CAAC;QACL,CAAC;gBAAS,CAAC;YACT,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;YACtB,OAAO,CAAC,YAAY,GAAG,UAAU,CAAC;QACpC,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACjD,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAC1F,CAAC;IACF,qEAAqE;IACrE,MAAM,OAAO,GAAa,IAAI;SAC3B,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC;SACnC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACvF,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC7E,MAAM,EAAE,GAAG,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,EAAE,CAAC,6BAA6B,CAAC,EAAE,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;IACtF,MAAM,UAAU,GAAW;QACzB,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACnE,KAAK,EAAE;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,IAAI;YACR,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACjE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAC/E,IAAI,EAAE,IAAI;YACV,GAAG;SACJ;QACD,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC;IACF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACpC,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC;QAC/D,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QACnE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAY,CAAC;IACzE,CAAC,CAAC,CAAC;IACH,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE;YACL,GAAG,KAAK;YACR,GAAG,OAAO;YACV;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,MAAM,CAAC,EAAE;gBAClB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gBACrE,GAAG;aACJ;SACF;QACD,MAAM,EAAE;YACN,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,KAAK;YACX,KAAK,EAAE,aAAa,CAClB,CAAC,EACD,QAAQ,EACR,uEAAuE,EAAE,CAAC,QAAQ,IAAI,IAAI,GAAG,EAC7F,GAAG,EACH,GAAG,CACJ;YACD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ;QACD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/js-dynamic-objects.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/frontend/lowering/js-dynamic-objects.test.js

@@ -0,0 +1,35 @@
+import { afterAll, expect, test } from "vitest";
+import * as ts from "../ts7/adapter.js";
+import { closeSourceParser, parseSourceFile } from "../ts7/source-parser-node.js";
+import { isValueReturningConstructorClass } from "./js-dynamic-objects.js";
+afterAll(closeSourceParser);
+function classify(source) {
+    const file = parseSourceFile("classes.js", source, "js");
+    let decl;
+    ts.walkPreorder(file, (node) => {
+        if (!decl && ts.isClassDeclaration(node))
+            decl = node;
+    });
+    if (!decl)
+        throw new Error("fixture has no class");
+    return isValueReturningConstructorClass(decl);
+}
+test("a constructor-only class returning a value is claimed", () => {
+    expect(classify(`class Chalk { constructor(options) { return chalkFactory(options); } }`)).toBe(true);
+    expect(classify(`class C { constructor(a) { if (a) return { a }; return [a]; } ; }`)).toBe(true);
+    expect(classify(`class C { constructor() { const f = () => 1; return { f }; } }`)).toBe(true);
+});
+test("classes that keep their instance layout are left alone", () => {
+    // No value return, or only nested functions return.
+    expect(classify(`class C { constructor() { return; } }`)).toBe(false);
+    expect(classify(`class C { constructor() { function f() { return 1; } f(); } }`)).toBe(false);
+    expect(classify(`class C { constructor() { const f = () => { return 1; }; f(); } }`)).toBe(false);
+    // Other members, heritage, or a constructor that observes `this`.
+    expect(classify(`class C { constructor() { return {}; } m() {} }`)).toBe(false);
+    expect(classify(`class C { x = 1; constructor() { return {}; } }`)).toBe(false);
+    expect(classify(`class C extends B { constructor() { super(); return {}; } }`)).toBe(false);
+    expect(classify(`class C { constructor() { this.a = 1; return {}; } }`)).toBe(false);
+    expect(classify(`class C { constructor() { const g = () => this; return { g }; } }`)).toBe(false);
+    expect(classify(`class C {}`)).toBe(false);
+});
+//# sourceMappingURL=js-dynamic-objects.test.js.map

package/dist/frontend/lowering/js-dynamic-objects.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"js-dynamic-objects.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/js-dynamic-objects.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAClF,OAAO,EAAE,gCAAgC,EAAE,MAAM,yBAAyB,CAAC;AAE3E,QAAQ,CAAC,iBAAiB,CAAC,CAAC;AAE5B,SAAS,QAAQ,CAAC,MAAc;IAC9B,MAAM,IAAI,GAAG,eAAe,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IACzD,IAAI,IAAqC,CAAC;IAC1C,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC7B,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAAE,IAAI,GAAG,IAAI,CAAC;IACxD,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;IACnD,OAAO,gCAAgC,CAAC,IAAI,CAAC,CAAC;AAChD,CAAC;AAED,IAAI,CAAC,uDAAuD,EAAE,GAAG,EAAE;IACjE,MAAM,CAAC,QAAQ,CAAC,wEAAwE,CAAC,CAAC,CAAC,IAAI,CAC7F,IAAI,CACL,CAAC;IACF,MAAM,CAAC,QAAQ,CAAC,mEAAmE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjG,MAAM,CAAC,QAAQ,CAAC,gEAAgE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChG,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wDAAwD,EAAE,GAAG,EAAE;IAClE,oDAAoD;IACpD,MAAM,CAAC,QAAQ,CAAC,uCAAuC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,MAAM,CAAC,QAAQ,CAAC,+DAA+D,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9F,MAAM,CAAC,QAAQ,CAAC,mEAAmE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClG,kEAAkE;IAClE,MAAM,CAAC,QAAQ,CAAC,iDAAiD,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChF,MAAM,CAAC,QAAQ,CAAC,iDAAiD,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChF,MAAM,CAAC,QAAQ,CAAC,6DAA6D,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5F,MAAM,CAAC,QAAQ,CAAC,sDAAsD,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrF,MAAM,CAAC,QAAQ,CAAC,mEAAmE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClG,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC"}

package/dist/frontend/lowering/json-require.d.ts

@@ -0,0 +1,22 @@
+import * as ts from "../ts7/adapter.js";
+import type { Lowerer } from "./lowerer.js";
+import type { FileParts } from "./lower-modules.js";
+import { type IrExpr, type IrGlobal, type IrType } from "../../ir/ir.js";
+/** One required JSON document: its shared global, the run-once flag, and
+ * the parsed value with the type it bakes to. */
+export interface JsonRequireModule {
+    global: IrGlobal;
+    loadedId: string;
+    parsed: unknown;
+    type: IrType;
+}
+/** The JSON document a CommonJS `require("…")` call loads, or null. */
+export declare function jsonRequireTarget(lowerer: Lowerer, call: ts.Expression | undefined): ts.SourceFile | null;
+/** A declaration whose initializer is a require() of a JSON document. */
+export declare function isJsonRequireDecl(lowerer: Lowerer, decl: ts.VariableDeclaration): boolean;
+/** Registers the shared global of every JSON document a CommonJS module of
+ * the program requires, and the guarded creation in each requiring
+ * module's %init prelude. */
+export declare function collectJsonRequires(lowerer: Lowerer, parts: FileParts[]): void;
+/** A require() call of a JSON document: the shared object. */
+export declare function lowerJsonRequireCall(lowerer: Lowerer, call: ts.CallExpression): IrExpr | null;