@scriptc/compiler 0.3.6 → 0.4.1

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

@@ -17,12 +17,12 @@ export function lowerReflectCall(lowerer, call, access) {
     if (!call.questionDotToken &&
         !access.questionDotToken &&
         lowerer.stdlibGlobalMember(access, "Reflect") === "ownKeys" &&
-        call.arguments.length === 1 &&
-        !ts.isSpreadElement(call.arguments[0])) {
+        call.arguments.nodes.length === 1 &&
+        !ts.isSpreadElement(call.arguments.nodes[0])) {
         return {
             kind: "libCall",
             fn: "dyn.ownKeys",
-            args: [lowerer.lowerExprExpecting(call.arguments[0], DYN)],
+            args: [lowerer.lowerExprExpecting(call.arguments.nodes[0], DYN)],
             type: DYN,
             loc: locOf(call),
         };
@@ -30,16 +30,44 @@ export function lowerReflectCall(lowerer, call, access) {
     if (call.questionDotToken)
         return null;
     const reflectMember = lowerer.stdlibGlobalMember(access, "Reflect");
+    // Reflect.getOwnPropertyDescriptor and Reflect.defineProperty over
+    // checked objects (execa's Promise mixin): the Object operations, with
+    // defineProperty answering true. A non-object target throws the Object
+    // operation's TypeError.
+    if ((reflectMember === "getOwnPropertyDescriptor" && call.arguments.nodes.length === 2) ||
+        (reflectMember === "defineProperty" && call.arguments.nodes.length === 3)) {
+        if (call.arguments.nodes.some(ts.isSpreadElement))
+            return null;
+        const loc = locOf(call);
+        const args = call.arguments.nodes.map((arg) => lowerer.lowerExprExpecting(arg, DYN));
+        if (reflectMember === "getOwnPropertyDescriptor")
+            return { kind: "libCall", fn: "dyn.getOwnPropertyDescriptor", args, type: DYN, loc };
+        return {
+            kind: "seqExpr",
+            stmts: [
+                {
+                    kind: "exprStmt",
+                    expr: { kind: "libCall", fn: "dyn.defineProperty", args, type: DYN, loc },
+                    loc,
+                },
+            ],
+            result: { kind: "boolLit", value: true, type: BOOL, loc },
+            type: BOOL,
+            loc,
+        };
+    }
     if (reflectMember === "get" || reflectMember === "set") {
         const required = reflectMember === "get" ? 2 : 3;
-        if (call.arguments.length < required ||
-            call.arguments.length > required + 1 ||
-            call.arguments.some(ts.isSpreadElement)) {
+        if (call.arguments.nodes.length < required ||
+            call.arguments.nodes.length > required + 1 ||
+            call.arguments.nodes.some(ts.isSpreadElement)) {
             lowerer.noLowering(`Reflect.${reflectMember} with this argument shape`, call, `use Reflect.${reflectMember}(target, key${reflectMember === "set" ? ", value" : ""}, receiver?)`);
         }
         const loc = locOf(call);
-        const args = call.arguments.map((arg) => lowerer.lowerExprExpecting(arg, DYN));
-        const target = call.arguments.length === required ? lowerer.declareHiddenLocal("%reflectTarget", DYN) : null;
+        const args = call.arguments.nodes.map((arg) => lowerer.lowerExprExpecting(arg, DYN));
+        const target = call.arguments.nodes.length === required
+            ? lowerer.declareHiddenLocal("%reflectTarget", DYN)
+            : null;
         const operation = {
             kind: "libCall",
             fn: reflectMember === "get" ? "dyn.reflectGet" : "dyn.reflectSet",
@@ -63,16 +91,16 @@ export function lowerReflectCall(lowerer, call, access) {
         return null;
     const loc = locOf(call);
     const fenceHint = "the lowered form is Reflect.apply(path.join | path.resolve, <effect-free this>, args) — call other functions directly (f(...args))";
-    if (call.arguments.length !== 3 || call.arguments.some(ts.isSpreadElement)) {
+    if (call.arguments.nodes.length !== 3 || call.arguments.nodes.some(ts.isSpreadElement)) {
         lowerer.noLowering("Reflect.apply with this argument shape", call, fenceHint);
     }
-    const targetNode = call.arguments[0];
+    const targetNode = call.arguments.nodes[0];
     const bi = ts.isPropertyAccessExpression(targetNode) ? lowerer.builtinMemberOf(targetNode) : null;
     const fn = bi ? builtinModuleFnOf(lowerer, bi.module, bi.member) : null;
     if (!fn || fn.variadicPack !== true) {
         const target = lowerer.lowerExprExpecting(targetNode, DYN);
-        const receiver = lowerer.lowerExprExpecting(call.arguments[1], DYN);
-        const argumentsList = lowerer.lowerExprExpecting(call.arguments[2], DYN);
+        const receiver = lowerer.lowerExprExpecting(call.arguments.nodes[1], DYN);
+        const argumentsList = lowerer.lowerExprExpecting(call.arguments.nodes[2], DYN);
         return {
             kind: "libCall",
             fn: "dyn.reflectApply",
@@ -81,7 +109,7 @@ export function lowerReflectCall(lowerer, call, access) {
             loc,
         };
     }
-    const thisNode = call.arguments[1];
+    const thisNode = call.arguments.nodes[1];
     const effectFree = thisNode.kind === ts.SyntaxKind.ThisKeyword ||
         ts.isIdentifier(thisNode) ||
         thisNode.kind === ts.SyntaxKind.NullKeyword ||
@@ -89,7 +117,7 @@ export function lowerReflectCall(lowerer, call, access) {
     if (!effectFree) {
         lowerer.noLowering("Reflect.apply with a computed thisArg", thisNode, "the target ignores its receiver, so only effect-free spellings drop honestly (`this`, a binding, null, undefined)");
     }
-    const packed = lowerer.lowerExprExpecting(call.arguments[2], arrayOf(STRING));
+    const packed = lowerer.lowerExprExpecting(call.arguments.nodes[2], arrayOf(STRING));
     return { kind: "libCall", fn: fn.fn, args: [packed], type: fn.result, loc };
 }
 //# sourceMappingURL=reflection.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"reflection.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/reflection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAe,MAAM,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAE5E;;;;;;;;2DAQ2D;AAC3D,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IACE,CAAC,IAAI,CAAC,gBAAgB;QACtB,CAAC,MAAM,CAAC,gBAAgB;QACxB,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,SAAS;QAC3D,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC3B,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,EACvC,CAAC;QACD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,aAAa;YACjB,IAAI,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC;YAC3D,IAAI,EAAE,GAAG;YACT,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;SACjB,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,aAAa,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACpE,IAAI,aAAa,KAAK,KAAK,IAAI,aAAa,KAAK,KAAK,EAAE,CAAC;QACvD,MAAM,QAAQ,GAAG,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,IACE,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,QAAQ;YAChC,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,QAAQ,GAAG,CAAC;YACpC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EACvC,CAAC;YACD,OAAO,CAAC,UAAU,CAChB,WAAW,aAAa,2BAA2B,EACnD,IAAI,EACJ,eAAe,aAAa,eAAe,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,cAAc,CAClG,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC/E,MAAM,MAAM,GACV,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAChG,MAAM,SAAS,GAAW;YACxB,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,gBAAgB;YACjE,IAAI,EAAE,MAAM;gBACV,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBAC9E,CAAC,CAAC,IAAI;YACR,IAAI,EAAE,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI;YAC1C,GAAG;SACJ,CAAC;QACF,OAAO,MAAM;YACX,CAAC,CAAC;gBACE,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,EAAE,CAAC;gBACrE,MAAM,EAAE,SAAS;gBACjB,IAAI,EAAE,SAAS,CAAC,IAAI;gBACpB,GAAG;aACJ;YACH,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IACD,IAAI,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC3E,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,SAAS,GACb,oIAAoI,CAAC;IACvI,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QAC3E,OAAO,CAAC,UAAU,CAAC,wCAAwC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IACtC,MAAM,EAAE,GAAG,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAClG,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACxE,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,YAAY,KAAK,IAAI,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAC3D,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC;QACrE,MAAM,aAAa,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC;QAC1E,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,kBAAkB;YACtB,IAAI,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,aAAa,CAAC;YACvC,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IACpC,MAAM,UAAU,GACd,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC3C,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC;QACzB,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC3C,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IAC/D,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,CAAC,UAAU,CAChB,uCAAuC,EACvC,QAAQ,EACR,mHAAmH,CACpH,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC;AAC9E,CAAC"}
+{"version":3,"file":"reflection.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/reflection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAe,MAAM,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAE5E;;;;;;;;2DAQ2D;AAC3D,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IACE,CAAC,IAAI,CAAC,gBAAgB;QACtB,CAAC,MAAM,CAAC,gBAAgB;QACxB,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,SAAS;QAC3D,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QACjC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,EAC7C,CAAC;QACD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,aAAa;YACjB,IAAI,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC;YACjE,IAAI,EAAE,GAAG;YACT,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;SACjB,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,aAAa,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACpE,mEAAmE;IACnE,uEAAuE;IACvE,uEAAuE;IACvE,yBAAyB;IACzB,IACE,CAAC,aAAa,KAAK,0BAA0B,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;QACnF,CAAC,aAAa,KAAK,gBAAgB,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,EACzE,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC;YAAE,OAAO,IAAI,CAAC;QAC/D,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACrF,IAAI,aAAa,KAAK,0BAA0B;YAC9C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,8BAA8B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACvF,OAAO;YACL,IAAI,EAAE,SAAS;YACf,KAAK,EAAE;gBACL;oBACE,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;oBACzE,GAAG;iBACJ;aACF;YACD,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACzD,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,IAAI,aAAa,KAAK,KAAK,IAAI,aAAa,KAAK,KAAK,EAAE,CAAC;QACvD,MAAM,QAAQ,GAAG,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,IACE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,QAAQ;YACtC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,QAAQ,GAAG,CAAC;YAC1C,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAC7C,CAAC;YACD,OAAO,CAAC,UAAU,CAChB,WAAW,aAAa,2BAA2B,EACnD,IAAI,EACJ,eAAe,aAAa,eAAe,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,cAAc,CAClG,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACrF,MAAM,MAAM,GACV,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ;YACtC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,GAAG,CAAC;YACnD,CAAC,CAAC,IAAI,CAAC;QACX,MAAM,SAAS,GAAW;YACxB,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,gBAAgB;YACjE,IAAI,EAAE,MAAM;gBACV,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBAC9E,CAAC,CAAC,IAAI;YACR,IAAI,EAAE,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI;YAC1C,GAAG;SACJ,CAAC;QACF,OAAO,MAAM;YACX,CAAC,CAAC;gBACE,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,EAAE,CAAC;gBACrE,MAAM,EAAE,SAAS;gBACjB,IAAI,EAAE,SAAS,CAAC,IAAI;gBACpB,GAAG;aACJ;YACH,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IACD,IAAI,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC3E,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,SAAS,GACb,oIAAoI,CAAC;IACvI,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QACvF,OAAO,CAAC,UAAU,CAAC,wCAAwC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;IAC5C,MAAM,EAAE,GAAG,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAClG,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACxE,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,YAAY,KAAK,IAAI,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAC3D,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC;QAC3E,MAAM,aAAa,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC;QAChF,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,kBAAkB;YACtB,IAAI,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,aAAa,CAAC;YACvC,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;IAC1C,MAAM,UAAU,GACd,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC3C,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC;QACzB,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC3C,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IAC/D,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,CAAC,UAAU,CAChB,uCAAuC,EACvC,QAAQ,EACR,mHAAmH,CACpH,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IACrF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC;AAC9E,CAAC"}

package/dist/frontend/lowering/builtins/runtime-constructor.d.ts

@@ -0,0 +1,26 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+import { type ClassInfo } from "../lower-classes.js";
+import { type IrExpr, type SrcLoc } from "../../../ir/ir.js";
+/** `x.constructor` on an instance typed as EventEmitter or a stream class
+ * in a TypeScript file: the receiver's runtime ClassInfo, or null. The
+ * runtime records each instance's Node class name (EventEmitter, Readable,
+ * ReadStream, Gzip, Socket, a program subclass's name), which the
+ * lowerings below read with emitter.className. */
+export declare function runtimeConstructorReceiver(lowerer: Lowerer, expr: ts.Expression): {
+    receiver: ts.Expression;
+    info: ClassInfo;
+} | null;
+/** `x.constructor.name`: the instance's class name. */
+export declare function lowerRuntimeConstructorName(lowerer: Lowerer, receiver: ts.Expression, loc: SrcLoc): IrExpr;
+/** `x.constructor === C` for EventEmitter or a stream class C: true when
+ * the instance's own class is C, which needs both the vtable (C's own
+ * interval, not a subclass's) and the class name (fs, zlib, crypto, child
+ * process and worker streams share the base classes' vtables). */
+export declare function lowerRuntimeConstructorIs(lowerer: Lowerer, receiver: ts.Expression, target: ClassInfo, negated: boolean, loc: SrcLoc): IrExpr;
+/** `x.constructor` as a value: the class object of the instance's own class
+ * among EventEmitter and the stream classes, as the receiver's static
+ * class's class value. Instances of the other runtime classes (fs, zlib,
+ * crypto, child process and worker streams) and of program subclasses
+ * report SC1090 at run time. */
+export declare function lowerRuntimeConstructor(lowerer: Lowerer, access: ts.PropertyAccessExpression, info: ClassInfo): IrExpr;

package/dist/frontend/lowering/builtins/runtime-constructor.js

@@ -0,0 +1,165 @@
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+import {} from "../lower-classes.js";
+import { isJsSourceFile, locOf } from "../../program.js";
+import { varRef } from "../../../ir/build.js";
+import { BOOL, STRING } from "../../../ir/ir.js";
+/** `x.constructor` on an instance typed as EventEmitter or a stream class
+ * in a TypeScript file: the receiver's runtime ClassInfo, or null. The
+ * runtime records each instance's Node class name (EventEmitter, Readable,
+ * ReadStream, Gzip, Socket, a program subclass's name), which the
+ * lowerings below read with emitter.className. */
+export function runtimeConstructorReceiver(lowerer, expr) {
+    let e = expr;
+    while (ts.isParenthesizedExpression(e))
+        e = e.expression;
+    if (!ts.isPropertyAccessExpression(e) || e.questionDotToken)
+        return null;
+    if (e.name.text !== "constructor" || isJsSourceFile(ts.getSourceFileOfNode(e)))
+        return null;
+    const mapped = lowerer.mapTypeOf(lowerer.typeOf(e.expression));
+    if (mapped?.kind !== "object")
+        return null;
+    const info = lowerer.classes.get(mapped.className);
+    if (!info?.def.runtime || (!info.builtinEmitter && info.builtinStream === undefined))
+        return null;
+    return { receiver: e.expression, info };
+}
+/** `x.constructor.name`: the instance's class name. */
+export function lowerRuntimeConstructorName(lowerer, receiver, loc) {
+    return {
+        kind: "libCall",
+        fn: "emitter.className",
+        args: [lowerer.lowerExpr(receiver)],
+        type: STRING,
+        loc,
+    };
+}
+/** `x.constructor === C` for EventEmitter or a stream class C: true when
+ * the instance's own class is C, which needs both the vtable (C's own
+ * interval, not a subclass's) and the class name (fs, zlib, crypto, child
+ * process and worker streams share the base classes' vtables). */
+export function lowerRuntimeConstructorIs(lowerer, receiver, target, negated, loc) {
+    const value = lowerer.lowerExpr(receiver);
+    const local = lowerer.declareHiddenLocal("%constructorOf", value.type);
+    const ref = varRef(local.id, value.type, loc);
+    const test = exactClassTest(lowerer, ref, target, loc);
+    return {
+        kind: "seqExpr",
+        stmts: [{ kind: "varDecl", localId: local.id, init: value, loc }],
+        result: negated ? { kind: "unary", op: "!", operand: test, type: BOOL, loc } : test,
+        type: BOOL,
+        loc,
+    };
+}
+/** `x.constructor` as a value: the class object of the instance's own class
+ * among EventEmitter and the stream classes, as the receiver's static
+ * class's class value. Instances of the other runtime classes (fs, zlib,
+ * crypto, child process and worker streams) and of program subclasses
+ * report SC1090 at run time. */
+export function lowerRuntimeConstructor(lowerer, access, info) {
+    const loc = locOf(access);
+    const resultT = { kind: "classval", className: info.def.name };
+    const value = lowerer.lowerExpr(access.expression);
+    const local = lowerer.declareHiddenLocal("%constructorOf", value.type);
+    const ref = varRef(local.id, value.type, loc);
+    let result = refusalCall(lowerer, resultT, loc);
+    for (const candidate of valueClassesUnder(info)) {
+        lowerer.defineClassValueConstruct(candidate);
+        lowerer.defineClassValueConstruct(info);
+        const classRef = {
+            kind: "classRef",
+            className: candidate.def.name,
+            type: { kind: "classval", className: candidate.def.name },
+            loc,
+        };
+        result = {
+            kind: "ternary",
+            cond: exactClassTest(lowerer, ref, candidate, loc),
+            then: candidate === info ? classRef : { kind: "upcast", value: classRef, type: resultT, loc },
+            else_: result,
+            type: resultT,
+            loc,
+        };
+    }
+    return {
+        kind: "seqExpr",
+        stmts: [{ kind: "varDecl", localId: local.id, init: value, loc }],
+        result,
+        type: resultT,
+        loc,
+    };
+}
+/** `info` and its runtime descendants whose values construct. */
+function valueClassesUnder(info) {
+    const out = [];
+    const visit = (c) => {
+        if (!c.def.runtime)
+            return;
+        if (c.valueCtorParams !== undefined)
+            out.push(c);
+        for (const s of c.subclasses)
+            visit(s);
+    };
+    visit(info);
+    return out;
+}
+/** The instance is of class `target` itself: inside its interval, outside
+ * each direct subclass's (runtime or program), and named as it. */
+function exactClassTest(lowerer, ref, target, loc) {
+    let test = {
+        kind: "instanceOf",
+        value: ref,
+        className: target.def.name,
+        type: BOOL,
+        loc,
+    };
+    for (const sub of target.subclasses) {
+        test = {
+            kind: "logical",
+            op: "&&",
+            left: test,
+            right: {
+                kind: "unary",
+                op: "!",
+                operand: { kind: "instanceOf", value: ref, className: sub.def.name, type: BOOL, loc },
+                type: BOOL,
+                loc,
+            },
+            type: BOOL,
+            loc,
+        };
+    }
+    const name = {
+        kind: "strEq",
+        negated: false,
+        left: { kind: "libCall", fn: "emitter.className", args: [ref], type: STRING, loc },
+        right: { kind: "strLit", value: target.def.name.slice(1), type: STRING, loc },
+        type: BOOL,
+        loc,
+    };
+    return { kind: "logical", op: "&&", left: test, right: name, type: BOOL, loc };
+}
+/** The run-time refusal for an instance whose class has no class value. */
+function refusalCall(lowerer, type, loc) {
+    const name = `%constructor.refusal:${type.kind === "classval" ? type.className : ""}`;
+    if (!lowerer.liftedFns.some((fn) => fn.name === name)) {
+        lowerer.liftedFns.push({
+            name,
+            params: [],
+            locals: [],
+            returnType: type,
+            body: [
+                {
+                    kind: "runtimeFence",
+                    code: "SC1090",
+                    message: "reading 'constructor' of an fs, zlib, crypto, child process or worker stream, or of an instance of a program subclass of EventEmitter or a stream class, is not supported yet",
+                    loc,
+                },
+            ],
+            loc,
+        });
+    }
+    return { kind: "call", callee: name, args: [], type, loc };
+}
+//# sourceMappingURL=runtime-constructor.js.map

package/dist/frontend/lowering/builtins/runtime-constructor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-constructor.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/runtime-constructor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAkB,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,IAAI,EAAE,MAAM,EAAyC,MAAM,mBAAmB,CAAC;AAExF;;;;kDAIkD;AAClD,MAAM,UAAU,0BAA0B,CACxC,OAAgB,EAChB,IAAmB;IAEnB,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACzE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5F,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;IAC/D,IAAI,MAAM,EAAE,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACnD,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAClG,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC;AAC1C,CAAC;AAED,uDAAuD;AACvD,MAAM,UAAU,2BAA2B,CACzC,OAAgB,EAChB,QAAuB,EACvB,GAAW;IAEX,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACnC,IAAI,EAAE,MAAM;QACZ,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;kEAGkE;AAClE,MAAM,UAAU,yBAAyB,CACvC,OAAgB,EAChB,QAAuB,EACvB,MAAiB,EACjB,OAAgB,EAChB,GAAW;IAEX,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACvE,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IACvD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACjE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI;QACnF,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;gCAIgC;AAChC,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,MAAmC,EACnC,IAAe;IAEf,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;IACvE,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACvE,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9C,IAAI,MAAM,GAAW,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IACxD,KAAK,MAAM,SAAS,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,OAAO,CAAC,yBAAyB,CAAC,SAAS,CAAC,CAAC;QAC7C,OAAO,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAW;YACvB,IAAI,EAAE,UAAU;YAChB,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,IAAI;YAC7B,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE;YACzD,GAAG;SACJ,CAAC;QACF,MAAM,GAAG;YACP,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,cAAc,CAAC,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC;YAClD,IAAI,EAAE,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE;YAC7F,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,OAAO;YACb,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACjE,MAAM;QACN,IAAI,EAAE,OAAO;QACb,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,iEAAiE;AACjE,SAAS,iBAAiB,CAAC,IAAe;IACxC,MAAM,GAAG,GAAgB,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,CAAC,CAAY,EAAQ,EAAE;QACnC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO;YAAE,OAAO;QAC3B,IAAI,CAAC,CAAC,eAAe,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU;YAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,GAAG,CAAC;AACb,CAAC;AAED;mEACmE;AACnE,SAAS,cAAc,CAAC,OAAgB,EAAE,GAAW,EAAE,MAAiB,EAAE,GAAW;IACnF,IAAI,IAAI,GAAW;QACjB,IAAI,EAAE,YAAY;QAClB,KAAK,EAAE,GAAG;QACV,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI;QAC1B,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC;IACF,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACpC,IAAI,GAAG;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,IAAI;YACR,IAAI,EAAE,IAAI;YACV,KAAK,EAAE;gBACL,IAAI,EAAE,OAAO;gBACb,EAAE,EAAE,GAAG;gBACP,OAAO,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACrF,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,KAAK;QACd,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QAClF,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QAC7E,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACjF,CAAC;AAED,2EAA2E;AAC3E,SAAS,WAAW,CAAC,OAAgB,EAAE,IAAY,EAAE,GAAW;IAC9D,MAAM,IAAI,GAAG,wBAAwB,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IACtF,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,EAAE;YACV,MAAM,EAAE,EAAE;YACV,UAAU,EAAE,IAAI;YAChB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,cAAc;oBACpB,IAAI,EAAE,QAAQ;oBACd,OAAO,EACL,+KAA+K;oBACjL,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAC7D,CAAC"}

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

@@ -4,7 +4,7 @@ import {} from "../lowerer.js";
 import { locOf } from "../../program.js";
 import { lowerOptionalArgument, lowerStringSearchArgument } from "../optional-arguments.js";
 import { lowerToNumberArgument } from "../lower-exprs.js";
-import { F64, STRING, arrayOf, isUnitType, typeEquals } from "../../../ir/ir.js";
+import { BOOL, DYN, F64, NULL_T, STRING, arrayOf, bytesOf, isUnitType, typeEquals, } from "../../../ir/ir.js";
 /** `String.fromCharCode/fromCodePoint(...codes)` on THE String global: every argument
  * lowers as a number and packs into ONE f64[] array-literal argument
  * (the path.join convention) — or ONE whole-array spread forwards the
@@ -13,6 +13,9 @@ import { F64, STRING, arrayOf, isUnitType, typeEquals } from "../../../ir/ir.js"
 export function lowerStringStaticCall(lowerer, call, access) {
     if (call.questionDotToken)
         return null;
+    const applied = lowerFromCharCodeApply(lowerer, call, access);
+    if (applied)
+        return applied;
     const member = lowerer.stdlibGlobalMember(access, "String");
     if (member !== "fromCharCode" && member !== "fromCodePoint" && member !== "raw")
         return null;
@@ -26,10 +29,11 @@ export function lowerStringStaticCall(lowerer, call, access) {
     // literal, the fromCharCode convention. The runtime interleaves per
     // the spec's loop.
     if (member === "raw") {
-        if (call.arguments.length < 1 || call.arguments.some((a) => ts.isSpreadElement(a))) {
-            lowerer.noLowering(`String.raw with ${call.arguments.length === 0 ? "no template" : "spread substitutions"}`, call);
+        if (call.arguments.nodes.length < 1 ||
+            call.arguments.nodes.some((a) => ts.isSpreadElement(a))) {
+            lowerer.noLowering(`String.raw with ${call.arguments.nodes.length === 0 ? "no template" : "spread substitutions"}`, call);
         }
-        const tmplNode = call.arguments[0];
+        const tmplNode = call.arguments.nodes[0];
         const tmpl = lowerer.lowerExpr(tmplNode);
         const rawT = arrayOf(STRING);
         let raw = null;
@@ -50,7 +54,7 @@ export function lowerStringStaticCall(lowerer, call, access) {
         if (raw === null) {
             lowerer.noLowering("String.raw over this template shape", tmplNode, "the template must carry a string[] `raw` member: String.raw({ raw: [...] }, ...subs)");
         }
-        const subs = call.arguments.slice(1).map((a) => {
+        const subs = call.arguments.nodes.slice(1).map((a) => {
             const v = lowerer.lowerExpr(a);
             if (isUnitType(v.type))
                 return lowerer.ensureString(v, a);
@@ -64,9 +68,9 @@ export function lowerStringStaticCall(lowerer, call, access) {
         const packedSubs = { kind: "arrayLit", elems: subs, type: rawT, loc };
         return { kind: "libCall", fn: "string.raw", args: [raw, packedSubs], type: STRING, loc };
     }
-    const spread = call.arguments.find(ts.isSpreadElement);
+    const spread = call.arguments.nodes.find(ts.isSpreadElement);
     if (spread) {
-        if (call.arguments.length !== 1) {
+        if (call.arguments.nodes.length !== 1) {
             lowerer.noLowering(`String.${member} with a mixed spread call`, call, `spread a whole array (String.${member}(...codes)) or pass plain arguments`);
         }
         // A typed-array/Buffer spread (String.fromCharCode(...data.slice(4, 8))
@@ -84,10 +88,95 @@ export function lowerStringStaticCall(lowerer, call, access) {
     }
     // Each code converts with ToNumber: a missing value is NaN (code unit 0
     // for fromCharCode, a RangeError for fromCodePoint), exactly Node.
-    const elems = call.arguments.map((a) => lowerToNumberArgument(lowerer, a));
+    const elems = call.arguments.nodes.map((a) => lowerToNumberArgument(lowerer, a));
     const packed = { kind: "arrayLit", elems, type: arrayOf(F64), loc };
     return { kind: "libCall", fn: `string.${member}`, args: [packed], type: STRING, loc };
 }
+/** `String.fromCharCode.apply(thisArg, codes)`, the btoa chunking idiom
+ * (`String.fromCharCode.apply(null, bytes.subarray(i, j))`): the receiver
+ * is ignored, and a typed array or number array forwards to the packed
+ * fromCharCode like a spread. An untyped list reads a Uint8Array the same
+ * way at run time; any other value keeps Function.prototype.apply's
+ * generic array-like call. Null for every other call. */
+function lowerFromCharCodeApply(lowerer, call, access) {
+    if (access.name.text !== "apply" || access.questionDotToken)
+        return null;
+    const target = access.expression;
+    if (!ts.isPropertyAccessExpression(target) ||
+        lowerer.stdlibGlobalMember(target, "String") !== "fromCharCode") {
+        return null;
+    }
+    if (call.arguments.nodes.length !== 2 || call.arguments.nodes.some(ts.isSpreadElement))
+        return null;
+    const listNode = call.arguments.nodes[1];
+    const checkerT = lowerer.typeOf(listNode);
+    const untyped = (checkerT.flags & (ts.TypeFlags.Any | ts.TypeFlags.Unknown)) !== 0;
+    const listT = untyped ? DYN : lowerer.mapTypeOf(checkerT);
+    if (listT === null ||
+        (listT.kind !== "bytes" && listT.kind !== "dyn" && !typeEquals(listT, arrayOf(F64)))) {
+        return null;
+    }
+    const loc = locOf(call);
+    const thisArg = lowerer.lowerExprExpecting(call.arguments.nodes[0], DYN);
+    const stmts = [{ kind: "exprStmt", expr: thisArg, loc: thisArg.loc }];
+    if (listT.kind !== "dyn") {
+        const list = lowerer.lowerExprExpecting(listNode, listT);
+        const result = {
+            kind: "libCall",
+            fn: "string.fromCharCode",
+            args: [list],
+            type: STRING,
+            loc,
+        };
+        return { kind: "seqExpr", stmts, result, type: STRING, loc };
+    }
+    const listLocal = lowerer.declareHiddenLocal("%charCodes", DYN);
+    stmts.push({
+        kind: "varDecl",
+        localId: listLocal.id,
+        init: lowerer.lowerExprExpecting(listNode, DYN),
+        loc,
+    });
+    const list = () => ({ kind: "varRef", localId: listLocal.id, type: DYN, loc });
+    const bytes = bytesOf("u8");
+    const generic = {
+        kind: "dynCheck",
+        value: {
+            kind: "dynInvoke",
+            recv: lowerer.lowerExprExpecting(target, DYN),
+            method: "apply",
+            calleeName: "String.fromCharCode.apply",
+            args: [
+                {
+                    kind: "dynFrom",
+                    value: { kind: "unitLit", unit: "null", type: NULL_T, loc },
+                    type: DYN,
+                    loc,
+                },
+                list(),
+            ],
+            type: DYN,
+            loc,
+        },
+        type: STRING,
+        loc,
+    };
+    const result = {
+        kind: "ternary",
+        cond: { kind: "dynTest", test: "bytes", bytesElem: "u8", value: list(), type: BOOL, loc },
+        then: {
+            kind: "libCall",
+            fn: "string.fromCharCode",
+            args: [{ kind: "dynCheck", value: list(), type: bytes, loc }],
+            type: STRING,
+            loc,
+        },
+        else_: generic,
+        type: STRING,
+        loc,
+    };
+    return { kind: "seqExpr", stmts, result, type: STRING, loc };
+}
 /** `s.lastIndexOf(searchValue?, position?)` on string receivers, using UTF-16
  * indices. An omitted search value searches for "undefined". Omitted or undefined positions clamp to the string's end;
  * MAX_SAFE_INTEGER has the same effect for every representable string.
@@ -102,16 +191,16 @@ export function lowerStringLastIndexOfCall(lowerer, call, access) {
     if (!lowerer.isStdlibMember(access))
         return null;
     const loc = locOf(call);
-    if (call.arguments.length > 2 || call.arguments.some(ts.isSpreadElement)) {
+    if (call.arguments.nodes.length > 2 || call.arguments.nodes.some(ts.isSpreadElement)) {
         lowerer.noLowering("lastIndexOf with this argument shape", call, "pass no arguments, or a search value with an optional numeric position");
     }
     const receiver = lowerer.lowerExprExpecting(access.expression, STRING);
-    const positionNode = call.arguments[1];
+    const positionNode = call.arguments.nodes[1];
     if (!positionNode) {
-        const needle = lowerStringSearchArgument(lowerer, call.arguments[0], loc);
+        const needle = lowerStringSearchArgument(lowerer, call.arguments.nodes[0], loc);
         return { kind: "libCall", fn: "string.lastIndexOf", args: [receiver, needle], type: F64, loc };
     }
-    const needle = lowerer.lowerExprExpecting(call.arguments[0], STRING);
+    const needle = lowerer.lowerExprExpecting(call.arguments.nodes[0], STRING);
     const position = lowerOptionalArgument(lowerer, positionNode, F64, numLit(Number.MAX_SAFE_INTEGER, loc));
     return {
         kind: "libCall",

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

@@ -1 +1 @@
-{"version":3,"file":"strings.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/strings.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,qBAAqB,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AAC5F,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,GAAG,EAAe,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAE9F;;;;oCAIoC;AACpC,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,IAAI,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC5D,IAAI,MAAM,KAAK,cAAc,IAAI,MAAM,KAAK,eAAe,IAAI,MAAM,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IAC7F,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,sEAAsE;IACtE,gEAAgE;IAChE,sEAAsE;IACtE,qEAAqE;IACrE,+DAA+D;IAC/D,+DAA+D;IAC/D,oEAAoE;IACpE,mBAAmB;IACnB,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;QACrB,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACnF,OAAO,CAAC,UAAU,CAChB,mBAAmB,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,sBAAsB,EAAE,EACzF,IAAI,CACL,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;QACpC,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAC7B,IAAI,GAAG,GAAkB,IAAI,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpD,MAAM,QAAQ,GAAG,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;YAC7D,IAAI,QAAQ,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;gBAChD,GAAG,GAAG;oBACJ,IAAI,EAAE,WAAW;oBACjB,GAAG,EAAE,IAAI;oBACT,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO;oBAC1B,KAAK,EAAE,KAAK;oBACZ,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,OAAO,CAAC,UAAU,CAChB,qCAAqC,EACrC,QAAQ,EACR,sFAAsF,CACvF,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAU,EAAE;YACrD,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,OAAO,OAAO,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC1D,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,CAAC,CAAC;YACvC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAChF,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YAC7D,CAAC;YACD,OAAO,CAAC,UAAU,CAChB,qCAAqC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAC3D,CAAC,EACD,8DAA8D,CAC/D,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC9E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC3F,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC;IACvD,IAAI,MAAM,EAAE,CAAC;QACX,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChC,OAAO,CAAC,UAAU,CAChB,UAAU,MAAM,2BAA2B,EAC3C,IAAI,EACJ,gCAAgC,MAAM,qCAAqC,CAC5E,CAAC;QACJ,CAAC;QACD,wEAAwE;QACxE,sEAAsE;QACtE,yDAAyD;QACzD,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;QACrE,IAAI,OAAO,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACpD,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;gBAC9B,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;YACxE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QACxF,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACxF,CAAC;IACD,wEAAwE;IACxE,mEAAmE;IACnE,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3E,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;IAC5E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AACxF,CAAC;AAED;;;sDAGsD;AACtD,MAAM,UAAU,0BAA0B,CACxC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,IAAI,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,IAAI,CAAC;IACpD,IAAI,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACzF,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QACzE,OAAO,CAAC,UAAU,CAChB,sCAAsC,EACtC,IAAI,EACJ,wEAAwE,CACzE,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACvE,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACvC,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,MAAM,GAAG,yBAAyB,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC1E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACjG,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC;IACtE,MAAM,QAAQ,GAAG,qBAAqB,CACpC,OAAO,EACP,YAAY,EACZ,GAAG,EACH,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,GAAG,CAAC,CACrC,CAAC;IACF,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC;QAClC,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC"}
+{"version":3,"file":"strings.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/strings.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,qBAAqB,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AAC5F,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EAGH,MAAM,EACN,MAAM,EACN,OAAO,EACP,OAAO,EACP,UAAU,EACV,UAAU,GACX,MAAM,mBAAmB,CAAC;AAE3B;;;;oCAIoC;AACpC,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,IAAI,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,OAAO,GAAG,sBAAsB,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IAC9D,IAAI,OAAO;QAAE,OAAO,OAAO,CAAC;IAC5B,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC5D,IAAI,MAAM,KAAK,cAAc,IAAI,MAAM,KAAK,eAAe,IAAI,MAAM,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IAC7F,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,sEAAsE;IACtE,gEAAgE;IAChE,sEAAsE;IACtE,qEAAqE;IACrE,+DAA+D;IAC/D,+DAA+D;IAC/D,oEAAoE;IACpE,mBAAmB;IACnB,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;QACrB,IACE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;YAC/B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EACvD,CAAC;YACD,OAAO,CAAC,UAAU,CAChB,mBAAmB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,sBAAsB,EAAE,EAC/F,IAAI,CACL,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAC7B,IAAI,GAAG,GAAkB,IAAI,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpD,MAAM,QAAQ,GAAG,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;YAC7D,IAAI,QAAQ,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;gBAChD,GAAG,GAAG;oBACJ,IAAI,EAAE,WAAW;oBACjB,GAAG,EAAE,IAAI;oBACT,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO;oBAC1B,KAAK,EAAE,KAAK;oBACZ,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,OAAO,CAAC,UAAU,CAChB,qCAAqC,EACrC,QAAQ,EACR,sFAAsF,CACvF,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAU,EAAE;YAC3D,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,OAAO,OAAO,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC1D,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,CAAC,CAAC;YACvC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAChF,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YAC7D,CAAC;YACD,OAAO,CAAC,UAAU,CAChB,qCAAqC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAC3D,CAAC,EACD,8DAA8D,CAC/D,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC9E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC3F,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC;IAC7D,IAAI,MAAM,EAAE,CAAC;QACX,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtC,OAAO,CAAC,UAAU,CAChB,UAAU,MAAM,2BAA2B,EAC3C,IAAI,EACJ,gCAAgC,MAAM,qCAAqC,CAC5E,CAAC;QACJ,CAAC;QACD,wEAAwE;QACxE,sEAAsE;QACtE,yDAAyD;QACzD,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;QACrE,IAAI,OAAO,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACpD,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;gBAC9B,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;YACxE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QACxF,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACxF,CAAC;IACD,wEAAwE;IACxE,mEAAmE;IACnE,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IACjF,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;IAC5E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AACxF,CAAC;AAED;;;;;yDAKyD;AACzD,SAAS,sBAAsB,CAC7B,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACzE,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;IACjC,IACE,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACtC,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,cAAc,EAC/D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC;QACpF,OAAO,IAAI,CAAC;IACd,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;IAC1C,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC;IACnF,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC1D,IACE,KAAK,KAAK,IAAI;QACd,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EACpF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,OAAO,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAa,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IAChF,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,OAAO,CAAC,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACzD,MAAM,MAAM,GAAW;YACrB,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,qBAAqB;YACzB,IAAI,EAAE,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ,CAAC;QACF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC/D,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,kBAAkB,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;IAChE,KAAK,CAAC,IAAI,CAAC;QACT,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,SAAS,CAAC,EAAE;QACrB,IAAI,EAAE,OAAO,CAAC,kBAAkB,CAAC,QAAQ,EAAE,GAAG,CAAC;QAC/C,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,GAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACvF,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,OAAO,GAAW;QACtB,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,GAAG,CAAC;YAC7C,MAAM,EAAE,OAAO;YACf,UAAU,EAAE,2BAA2B;YACvC,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,SAAS;oBACf,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;oBAC3D,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,IAAI,EAAE;aACP;YACD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ;QACD,IAAI,EAAE,MAAM;QACZ,GAAG;KACJ,CAAC;IACF,MAAM,MAAM,GAAW;QACrB,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACzF,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,qBAAqB;YACzB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YAC7D,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ;QACD,KAAK,EAAE,OAAO;QACd,IAAI,EAAE,MAAM;QACZ,GAAG;KACJ,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC/D,CAAC;AAED;;;sDAGsD;AACtD,MAAM,UAAU,0BAA0B,CACxC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,IAAI,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,IAAI,CAAC;IACpD,IAAI,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACzF,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QACrF,OAAO,CAAC,UAAU,CAChB,sCAAsC,EACtC,IAAI,EACJ,wEAAwE,CACzE,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACvE,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,MAAM,GAAG,yBAAyB,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAChF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACjG,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC;IAC5E,MAAM,QAAQ,GAAG,qBAAqB,CACpC,OAAO,EACP,YAAY,EACZ,GAAG,EACH,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,GAAG,CAAC,CACrC,CAAC;IACF,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC;QAClC,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC"}