@scriptc/compiler 0.4.8 → 0.4.9

package/dist/frontend/lowering/containers/bytes.js

@@ -1406,10 +1406,13 @@ export function lowerBytesMethodCall(lowerer, call, access) {
     // Node's RangeError on a bad offset (may-throw seeds).
     const dvBigGetter = own(DV_BIG_GETTERS, name);
     if (dvBigGetter !== undefined && receiverIr.elem === "u8") {
-        if (nArgs < 1 || nArgs > 2)
+        if (nArgs > 2)
             lowerer.noLowering(`.${name} with ${nArgs} arguments`, call);
         const receiver = lowerer.lowerExprExpecting(access.expression, receiverIr);
-        const offset = lowerer.lowerExprExpecting(call.arguments.nodes[0], F64);
+        // ToIndex(undefined) is ToIndex(NaN): a missing offset reads offset 0.
+        const offset = call.arguments.nodes[0]
+            ? lowerer.lowerExprExpecting(call.arguments.nodes[0], F64)
+            : numLit(NaN, loc);
         const sign = { kind: "boolLit", value: dvBigGetter.sign, type: BOOL, loc };
         const le = call.arguments.nodes[1]
             ? lowerer.lowerExprExpecting(call.arguments.nodes[1], BOOL)
@@ -1425,12 +1428,16 @@ export function lowerBytesMethodCall(lowerer, call, access) {
     const dvGetter = own(DV_GETTERS, name);
     if (dvGetter !== undefined && receiverIr.elem === "u8") {
         const maxArgs = dvGetter.le ? 2 : 1;
-        if (nArgs < 1 || nArgs > maxArgs) {
+        if (nArgs > maxArgs) {
             lowerer.noLowering(`.${name} with ${nArgs} arguments`, call);
         }
         const receiver = lowerer.lowerExprExpecting(access.expression, receiverIr);
         // ToIndex(undefined) is ToIndex(NaN): a missing offset reads offset 0.
-        const args = [lowerToNumberArgument(lowerer, call.arguments.nodes[0])];
+        const args = [
+            call.arguments.nodes[0]
+                ? lowerToNumberArgument(lowerer, call.arguments.nodes[0])
+                : numLit(NaN, loc),
+        ];
         if (nArgs === 2)
             args.push(lowerer.lowerExprExpecting(call.arguments.nodes[1], BOOL));
         return { kind: "bytesIntrinsic", method: dvGetter.method, receiver, args, type: F64, loc };
@@ -1443,11 +1450,18 @@ export function lowerBytesMethodCall(lowerer, call, access) {
     // fence, as does setFloat16.
     const dvSetter = own(DV_SETTERS, name);
     if ((name === "setBigUint64" || name === "setBigInt64") && receiverIr.elem === "u8") {
-        if (nArgs < 2 || nArgs > 3)
+        if (nArgs > 3)
             lowerer.noLowering(`.${name} with ${nArgs} arguments`, call);
         const receiver = lowerer.lowerExprExpecting(access.expression, receiverIr);
-        const offset = lowerer.lowerExprExpecting(call.arguments.nodes[0], F64);
-        const value = lowerer.lowerExprExpecting(call.arguments.nodes[1], BIGINT_T);
+        // The offset (ToIndex) treats a missing value as NaN (offset 0); the
+        // value (ToBigInt) throws its TypeError for a missing one, the answer
+        // Node gives a call that omits it.
+        const offset = call.arguments.nodes[0]
+            ? lowerer.lowerExprExpecting(call.arguments.nodes[0], F64)
+            : numLit(NaN, loc);
+        const value = call.arguments.nodes[1]
+            ? lowerer.lowerExprExpecting(call.arguments.nodes[1], BIGINT_T)
+            : nodeThrowExpr(1, "", "Cannot convert undefined to a BigInt", BIGINT_T, loc);
         const le = call.arguments.nodes[2]
             ? lowerer.lowerExprExpecting(call.arguments.nodes[2], BOOL)
             : { kind: "boolLit", value: false, type: BOOL, loc };
@@ -1461,15 +1475,19 @@ export function lowerBytesMethodCall(lowerer, call, access) {
     }
     if (dvSetter !== undefined && receiverIr.elem === "u8") {
         const maxArgs = dvSetter.le ? 3 : 2;
-        if (nArgs < 2 || nArgs > maxArgs) {
+        if (nArgs > maxArgs) {
             lowerer.noLowering(`.${name} with ${nArgs} arguments`, call);
         }
         const receiver = lowerer.lowerExprExpecting(access.expression, receiverIr);
         // The offset (ToIndex) and the value (ToNumber) treat a missing value
         // as NaN.
         const args = [
-            lowerToNumberArgument(lowerer, call.arguments.nodes[0]),
-            lowerToNumberArgument(lowerer, call.arguments.nodes[1]),
+            call.arguments.nodes[0]
+                ? lowerToNumberArgument(lowerer, call.arguments.nodes[0])
+                : numLit(NaN, loc),
+            call.arguments.nodes[1]
+                ? lowerToNumberArgument(lowerer, call.arguments.nodes[1])
+                : numLit(NaN, loc),
         ];
         if (nArgs === 3)
             args.push(lowerer.lowerExprExpecting(call.arguments.nodes[2], BOOL));
@@ -2005,6 +2023,44 @@ function lowerBufferInstanceMethod(lowerer, call, access, name, loc) {
         const receiver = lowerer.lowerExprExpecting(access.expression, BYTES_U8);
         return { kind: "bytesIntrinsic", method: name, receiver, args: [], type: BYTES_U8, loc };
     }
+    if (name === "toJSON") {
+        // The declared result is the literal { type: "Buffer", data: [...] }:
+        // a fresh plain object whose data array copies the bytes. The record
+        // form keeps .type/.data reads static; a caller that only stringifies
+        // it sees the same JSON Node prints.
+        if (nArgs !== 0)
+            lowerer.noLowering(`.toJSON with ${nArgs} arguments`, call);
+        const receiver = lowerer.lowerExprExpecting(access.expression, BYTES_U8);
+        const data = {
+            kind: "bytesIntrinsic",
+            method: "toArray",
+            receiver,
+            args: [],
+            type: arrayOf(F64),
+            loc,
+        };
+        const mapped = lowerer.mapTypeOf(lowerer.typeOf(call));
+        if (mapped?.kind === "record") {
+            return {
+                kind: "recordLit",
+                fields: [
+                    { name: "type", value: { kind: "strLit", value: "Buffer", type: STRING, loc } },
+                    { name: "data", value: data },
+                ],
+                type: mapped,
+                loc,
+            };
+        }
+        return {
+            kind: "dynInvoke",
+            recv: { kind: "dynFrom", value: receiver, type: DYN, loc, liveRef: true },
+            method: "toJSON",
+            calleeName: "Buffer.toJSON",
+            args: [],
+            type: DYN,
+            loc,
+        };
+    }
     if (name === "write") {
         if (nArgs < 1 || nArgs > 4)
             lowerer.noLowering(`.write with ${nArgs} arguments`, call);