@scriptc/compiler 0.3.0 → 0.3.2

package/dist/frontend/lowering/checked-promise-all.js

@@ -1,11 +1,51 @@
-import { CAUGHT, DYN } from "../../ir/ir.js";
+import { CAUGHT, DYN, funcOf } from "../../ir/ir.js";
 import { varRef } from "../../ir/build.js";
 import { newFnCtx } from "./lowerer.js";
 import { checkedIterableSpread } from "./checked-iterable-spread.js";
-/** JavaScript builds Promise.all inputs at runtime. Iterator failures
- * reject its result instead of escaping the synchronous call. */
-export function checkedPromiseAll(lowerer, source, loc) {
-    const name = "%promise.all.checked";
+const COMBINATOR_LIB_CALLS = {
+    all: "dyn.promiseAll",
+    allSettled: "dyn.promiseAllSettled",
+    any: "dyn.promiseAny",
+};
+/** `value.then` through the program's own property dispatch, so a class
+ * instance's `then` method is visible to the runtime's thenable check. */
+function thenReader(lowerer, loc) {
+    const name = "%promise.thenOf";
+    const type = funcOf([DYN], DYN);
+    if (!lowerer.liftedFns.some((fn) => fn.name === name)) {
+        lowerer.liftedFns.push({
+            name,
+            params: [{ localId: "value", name: "value", type: DYN }],
+            returnType: DYN,
+            locals: [{ id: "value", name: "value", type: DYN, mutable: false }],
+            body: [
+                {
+                    kind: "return",
+                    value: {
+                        kind: "dynKeyGet",
+                        value: varRef("value", DYN, loc),
+                        key: { kind: "strLit", value: "then", type: { kind: "string" }, loc },
+                        type: DYN,
+                        loc,
+                    },
+                    loc,
+                },
+            ],
+            loc,
+        });
+    }
+    return {
+        kind: "dynFrom",
+        value: { kind: "closure", fnName: name, captures: [], type, loc },
+        type: DYN,
+        loc,
+    };
+}
+/** JavaScript builds Promise.all, Promise.allSettled and Promise.any
+ * inputs at runtime. Iterator failures reject the result instead of
+ * escaping the synchronous call. */
+export function checkedPromiseAll(lowerer, source, loc, member = "all") {
+    const name = `%promise.${member}.checked`;
     const type = { kind: "promise", inner: DYN };
     if (!lowerer.liftedFns.some((fn) => fn.name === name)) {
         const context = newFnCtx(false, null, null, type);
@@ -27,7 +67,13 @@ export function checkedPromiseAll(lowerer, source, loc) {
                         tryBody: [
                             {
                                 kind: "return",
-                                value: { kind: "libCall", fn: "dyn.promiseAll", args: [entries], type, loc },
+                                value: {
+                                    kind: "libCall",
+                                    fn: COMBINATOR_LIB_CALLS[member],
+                                    args: [entries, thenReader(lowerer, loc)],
+                                    type,
+                                    loc,
+                                },
                                 loc,
                             },
                         ],

package/dist/frontend/lowering/checked-promise-all.js.map

@@ -1 +1 @@
-{"version":3,"file":"checked-promise-all.js","sourceRoot":"","sources":["../../../src/frontend/lowering/checked-promise-all.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,GAAG,EAAyC,MAAM,gBAAgB,CAAC;AACpF,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAgB,MAAM,cAAc,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAErE;iEACiE;AACjE,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,MAAc,EAAE,GAAW;IAC7E,MAAM,IAAI,GAAG,sBAAsB,CAAC;IACpC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IACrD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAClD,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;YACpF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;gBACrB,IAAI;gBACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;gBAC1D,UAAU,EAAE,IAAI;gBAChB,MAAM,EAAE;oBACN,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;oBAC3D,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;oBAC5D,GAAG,OAAO,CAAC,MAAM;iBAClB;gBACD,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,UAAU;wBAChB,OAAO,EAAE;4BACP;gCACE,IAAI,EAAE,QAAQ;gCACd,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE;gCAC5E,GAAG;6BACJ;yBACF;wBACD,YAAY,EAAE,OAAO;wBACrB,SAAS,EAAE;4BACT;gCACE,IAAI,EAAE,QAAQ;gCACd,KAAK,EAAE;oCACL,IAAI,EAAE,WAAW;oCACjB,IAAI,EAAE,gBAAgB;oCACtB,IAAI,EAAE;wCACJ,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;qCAC7E;oCACD,IAAI;oCACJ,GAAG;iCACJ;gCACD,GAAG;6BACJ;yBACF;wBACD,WAAW,EAAE,IAAI;wBACjB,GAAG;qBACJ;iBACF;gBACD,GAAG;aACJ,CAAC,CAAC;QACL,CAAC;gBAAS,CAAC;YACT,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;QACxB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAClG,CAAC"}
+{"version":3,"file":"checked-promise-all.js","sourceRoot":"","sources":["../../../src/frontend/lowering/checked-promise-all.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAyC,MAAM,gBAAgB,CAAC;AAC5F,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAgB,MAAM,cAAc,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAErE,MAAM,oBAAoB,GAAG;IAC3B,GAAG,EAAE,gBAAgB;IACrB,UAAU,EAAE,uBAAuB;IACnC,GAAG,EAAE,gBAAgB;CACb,CAAC;AAEX;0EAC0E;AAC1E,SAAS,UAAU,CAAC,OAAgB,EAAE,GAAW;IAC/C,MAAM,IAAI,GAAG,iBAAiB,CAAC;IAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAChC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YACxD,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACnE,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,WAAW;wBACjB,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC;wBAChC,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE;wBACrE,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE;QACjE,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;oCAEoC;AACpC,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,MAAc,EACd,GAAW,EACX,MAAM,GAAsC,KAAK;IAEjD,MAAM,IAAI,GAAG,YAAY,MAAM,UAAU,CAAC;IAC1C,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IACrD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAClD,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;YACpF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;gBACrB,IAAI;gBACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;gBAC1D,UAAU,EAAE,IAAI;gBAChB,MAAM,EAAE;oBACN,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;oBAC3D,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;oBAC5D,GAAG,OAAO,CAAC,MAAM;iBAClB;gBACD,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,UAAU;wBAChB,OAAO,EAAE;4BACP;gCACE,IAAI,EAAE,QAAQ;gCACd,KAAK,EAAE;oCACL,IAAI,EAAE,SAAS;oCACf,EAAE,EAAE,oBAAoB,CAAC,MAAM,CAAC;oCAChC,IAAI,EAAE,CAAC,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;oCACzC,IAAI;oCACJ,GAAG;iCACJ;gCACD,GAAG;6BACJ;yBACF;wBACD,YAAY,EAAE,OAAO;wBACrB,SAAS,EAAE;4BACT;gCACE,IAAI,EAAE,QAAQ;gCACd,KAAK,EAAE;oCACL,IAAI,EAAE,WAAW;oCACjB,IAAI,EAAE,gBAAgB;oCACtB,IAAI,EAAE;wCACJ,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;qCAC7E;oCACD,IAAI;oCACJ,GAAG;iCACJ;gCACD,GAAG;6BACJ;yBACF;wBACD,WAAW,EAAE,IAAI;wBACjB,GAAG;qBACJ;iBACF;gBACD,GAAG;aACJ,CAAC,CAAC;QACL,CAAC;gBAAS,CAAC;YACT,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;QACxB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAClG,CAAC"}

package/dist/frontend/lowering/class-dynamic-dispatch.d.ts

@@ -3,8 +3,10 @@ import { type Lowerer } from "./lowerer.js";
 import { type ClassInfo } from "./lower-classes.js";
 export declare function classInstanceOf(lowerer: Lowerer, value: IrExpr, info: ClassInfo, loc: SrcLoc, classValue?: IrExpr): IrExpr;
 export declare function classPropertiesHelper(lowerer: Lowerer, loc: SrcLoc, readOnly?: boolean): IrFunction;
-/** A for-in presence recheck needs only the live property table, avoiding
- * value conversion or a dispatch branch for every possible member name. */
+/** A for-in presence recheck asks the live property table first, avoiding
+ * value conversion or a dispatch branch for every possible member name.
+ * Declared fields of a compiled class live in its native layout rather
+ * than that table, so a miss rechecks the instance itself. */
 export declare function classForInHasKey(lowerer: Lowerer, value: IrExpr, key: IrExpr, loc: SrcLoc): IrExpr;
 /** Record field creation after the dispatch worklist closes, including writes
  * in generated member tables. Native values stay in their slots; the bag
@@ -50,7 +52,8 @@ export declare class ClassDynamicDispatch {
     private readonly prototypeIdentityClasses;
     private readonly instancePrototypes;
     private readonly checkedCasts;
-    private enumeration;
+    /** The for-in key helpers, by libCall (dyn and native string[] keys). */
+    private readonly enumerations;
     private readonly enumerationClasses;
     process(lowerer: Lowerer, functions: readonly IrFunction[]): boolean;
     /** The receiver's own dynamic properties for a read: undefined while it has

package/dist/frontend/lowering/class-dynamic-dispatch.js

@@ -222,8 +222,10 @@ export function classPropertiesHelper(lowerer, loc, readOnly = false) {
     lowerer.liftedFns.push(helper);
     return helper;
 }
-/** A for-in presence recheck needs only the live property table, avoiding
- * value conversion or a dispatch branch for every possible member name. */
+/** A for-in presence recheck asks the live property table first, avoiding
+ * value conversion or a dispatch branch for every possible member name.
+ * Declared fields of a compiled class live in its native layout rather
+ * than that table, so a miss rechecks the instance itself. */
 export function classForInHasKey(lowerer, value, key, loc) {
     const name = "%dyn.class.forInHasKey";
     if (!lowerer.liftedFns.some((fn) => fn.name === name)) {
@@ -242,18 +244,31 @@ export function classForInHasKey(lowerer, value, key, loc) {
                 {
                     kind: "return",
                     value: {
-                        kind: "libCall",
-                        fn: "dyn.hasKey",
-                        args: [
-                            {
-                                kind: "call",
-                                callee: classPropertiesHelper(lowerer, loc).name,
-                                args: [varRef("value", DYN, loc)],
-                                type: DYN,
-                                loc,
-                            },
-                            varRef("key", STRING, loc),
-                        ],
+                        kind: "logical",
+                        op: "||",
+                        left: {
+                            kind: "libCall",
+                            fn: "dyn.hasKey",
+                            args: [
+                                {
+                                    kind: "call",
+                                    callee: classPropertiesHelper(lowerer, loc).name,
+                                    args: [varRef("value", DYN, loc)],
+                                    type: DYN,
+                                    loc,
+                                },
+                                varRef("key", STRING, loc),
+                            ],
+                            type: BOOL,
+                            loc,
+                        },
+                        right: {
+                            kind: "libCall",
+                            fn: "dyn.hasKey",
+                            args: [varRef("value", DYN, loc), varRef("key", STRING, loc)],
+                            type: BOOL,
+                            loc,
+                        },
                         type: BOOL,
                         loc,
                     },
@@ -463,7 +478,8 @@ export class ClassDynamicDispatch {
     prototypeIdentityClasses = new Set();
     instancePrototypes = new Map();
     checkedCasts = new Map();
-    enumeration = null;
+    /** The for-in key helpers, by libCall (dyn and native string[] keys). */
+    enumerations = new Map();
     enumerationClasses = new Set();
     process(lowerer, functions) {
         // Dispatch tables grow between worklist waves. Keep their normalization
@@ -559,6 +575,7 @@ export class ClassDynamicDispatch {
                                 expr.fn === "dyn.toString" ||
                                 expr.fn === "dyn.stringConstructor" ||
                                 expr.fn === "dyn.forInKeys" ||
+                                expr.fn === "dyn.forInKeyStrings" ||
                                 expr.fn === "dyn.hasKeyComputed" ||
                                 expr.fn === "dyn.hasOwnComputed" ||
                                 expr.fn === "dyn.propertyIsEnumerableComputed" ||
@@ -1198,27 +1215,32 @@ export class ClassDynamicDispatch {
                             loc: expr.loc,
                         };
                     }
-                    if (expr.kind === "libCall" && expr.fn === "dyn.forInKeys") {
-                        if (!this.enumeration) {
+                    if (expr.kind === "libCall" &&
+                        (expr.fn === "dyn.forInKeys" || expr.fn === "dyn.forInKeyStrings")) {
+                        let enumeration = this.enumerations.get(expr.fn);
+                        if (!enumeration) {
                             const loc = expr.loc;
                             const value = varRef("p.0", DYN, loc);
-                            this.enumeration = {
-                                name: "%dyn.class.forInKeys",
+                            enumeration = {
+                                name: expr.fn === "dyn.forInKeys"
+                                    ? "%dyn.class.forInKeys"
+                                    : "%dyn.class.forInKeyStrings",
                                 params: [{ localId: "p.0", name: "value", type: DYN }],
-                                returnType: DYN,
+                                returnType: expr.type,
                                 locals: [{ id: "p.0", name: "value", type: DYN, mutable: false }],
                                 body: [{ kind: "return", value: { ...expr, args: [value] }, loc }],
                                 loc,
                             };
-                            this.generated.add(this.enumeration);
-                            lowerer.liftedFns.push(this.enumeration);
+                            this.enumerations.set(expr.fn, enumeration);
+                            this.generated.add(enumeration);
+                            lowerer.liftedFns.push(enumeration);
                             changed = true;
                         }
                         return {
                             kind: "call",
-                            callee: this.enumeration.name,
+                            callee: enumeration.name,
                             args: expr.args,
-                            type: DYN,
+                            type: expr.type,
                             loc: expr.loc,
                         };
                     }
@@ -1384,7 +1406,7 @@ export class ClassDynamicDispatch {
                                     ? {
                                         ...computedProbe,
                                         fn: probe === "in"
-                                            ? "dyn.hasKey"
+                                            ? "dyn.in"
                                             : probe === "own"
                                                 ? "dyn.hasOwn"
                                                 : "dyn.propertyIsEnumerable",
@@ -2508,21 +2530,22 @@ export class ClassDynamicDispatch {
                 changed = true;
             }
         }
-        if (this.enumeration)
+        for (const [fn, enumeration] of this.enumerations)
             for (const plan of this.propertyReceivers(lowerer, false, false)) {
-                if (!plan.info.def.tracksOwnFields || this.enumerationClasses.has(plan.key))
+                const classKey = `${fn}:${plan.key}`;
+                if (!plan.info.def.tracksOwnFields || this.enumerationClasses.has(classKey))
                     continue;
-                this.enumerationClasses.add(plan.key);
-                const loc = this.enumeration.loc;
+                this.enumerationClasses.add(classKey);
+                const loc = enumeration.loc;
                 const { condition } = this.propertyReceiver(plan, loc);
                 const bag = this.readPropertyBagOrEmpty(lowerer, varRef("p.0", DYN, loc), loc);
-                this.enumeration.body.unshift({
+                enumeration.body.unshift({
                     kind: "if",
                     cond: condition,
                     then: [
                         {
                             kind: "return",
-                            value: { kind: "libCall", fn: "dyn.forInKeys", args: [bag], type: DYN, loc },
+                            value: { kind: "libCall", fn, args: [bag], type: enumeration.returnType, loc },
                             loc,
                         },
                     ],