@scriptc/compiler 0.2.3 → 0.2.5

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

@@ -0,0 +1,95 @@
+import { varRef } from "../../../ir/build.js";
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+import { locOf } from "../../program.js";
+import { builtinModuleFnOf } from "../surfaces.js";
+import { BOOL, DYN, STRING, arrayOf } from "../../../ir/ir.js";
+/** Reflect.ownKeys uses native computed-key reflection. Reflect.apply(target,
+ * thisArg, argsList) where the TARGET is a builtin
+ * rest-parameter table fn (path.join / path.resolve — test/common
+ * fixtures.js's fixturesPath forwards its rest args exactly this way):
+ * the packed libCall over a validated string[] extraction of argsList.
+ * The builtins ignore the receiver, so thisArg must be an effect-free
+ * spelling (`this`, an identifier, a unit literal) whose dropped
+ * evaluation is unobservable; every other Reflect.apply keeps the
+ * fence. Null when this isn't a supported Reflect call. */
+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])) {
+        return {
+            kind: "libCall",
+            fn: "dyn.ownKeys",
+            args: [lowerer.lowerExprExpecting(call.arguments[0], DYN)],
+            type: DYN,
+            loc: locOf(call),
+        };
+    }
+    if (call.questionDotToken)
+        return null;
+    const reflectMember = lowerer.stdlibGlobalMember(access, "Reflect");
+    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)) {
+            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 operation = {
+            kind: "libCall",
+            fn: reflectMember === "get" ? "dyn.reflectGet" : "dyn.reflectSet",
+            args: target
+                ? [varRef(target.id, DYN, loc), ...args.slice(1), varRef(target.id, DYN, loc)]
+                : args,
+            type: reflectMember === "get" ? DYN : BOOL,
+            loc,
+        };
+        return target
+            ? {
+                kind: "seqExpr",
+                stmts: [{ kind: "varDecl", localId: target.id, init: args[0], loc }],
+                result: operation,
+                type: operation.type,
+                loc,
+            }
+            : operation;
+    }
+    if (lowerer.stdlibGlobalMember(access, "Reflect") !== "apply")
+        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)) {
+        lowerer.noLowering("Reflect.apply with this argument shape", call, fenceHint);
+    }
+    const targetNode = call.arguments[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);
+        return {
+            kind: "libCall",
+            fn: "dyn.reflectApply",
+            args: [target, receiver, argumentsList],
+            type: DYN,
+            loc,
+        };
+    }
+    const thisNode = call.arguments[1];
+    const effectFree = thisNode.kind === ts.SyntaxKind.ThisKeyword ||
+        ts.isIdentifier(thisNode) ||
+        thisNode.kind === ts.SyntaxKind.NullKeyword ||
+        (ts.isIdentifier(thisNode) && thisNode.text === "undefined");
+    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));
+    return { kind: "libCall", fn: fn.fn, args: [packed], type: fn.result, loc };
+}
+//# sourceMappingURL=reflection.js.map

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

@@ -0,0 +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"}

package/dist/frontend/lowering/builtins/strings.d.ts

@@ -0,0 +1,14 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+import { type IrExpr } 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
+ * array itself. String.raw has its own template path below.
+ * Null for non-String receivers. */
+export declare function lowerStringStaticCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+/** `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.
+ * Null for non-string receivers and other members. */
+export declare function lowerStringLastIndexOfCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;

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

@@ -0,0 +1,121 @@
+import { numLit } from "../../../ir/build.js";
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+import { locOf } from "../../program.js";
+import { lowerOptionalArgument, lowerStringSearchArgument } from "../optional-arguments.js";
+import { F64, STRING, arrayOf, 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
+ * array itself. String.raw has its own template path below.
+ * Null for non-String receivers. */
+export function lowerStringStaticCall(lowerer, call, access) {
+    if (call.questionDotToken)
+        return null;
+    const member = lowerer.stdlibGlobalMember(access, "String");
+    if (member !== "fromCharCode" && member !== "fromCodePoint" && member !== "raw")
+        return null;
+    const loc = locOf(call);
+    // String.raw(template, ...substitutions): the template's `raw` member
+    // is a string[] read off any record that carries one (the lib's
+    // parameter type — an object literal or a TemplateStringsArray-shaped
+    // record); each substitution stringifies through the static ToString
+    // (numbers/booleans/strings — the toString node; records print
+    // "[object Object]" there like JS) and packs into ONE string[]
+    // 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);
+        }
+        const tmplNode = call.arguments[0];
+        const tmpl = lowerer.lowerExpr(tmplNode);
+        const rawT = arrayOf(STRING);
+        let raw = null;
+        if (tmpl.type.kind === "record") {
+            const shape = lowerer.shapes.get(tmpl.type.shapeId);
+            const rawField = shape?.fields.find((f) => f.name === "raw");
+            if (rawField && typeEquals(rawField.type, rawT)) {
+                raw = {
+                    kind: "recordGet",
+                    obj: tmpl,
+                    shapeId: tmpl.type.shapeId,
+                    field: "raw",
+                    type: rawT,
+                    loc,
+                };
+            }
+        }
+        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 v = lowerer.lowerExpr(a);
+            if (isUnitType(v.type))
+                return lowerer.ensureString(v, a);
+            if (v.type.kind === "string")
+                return v;
+            if (v.type.kind === "f64" || v.type.kind === "bool" || v.type.kind === "record") {
+                return { kind: "toString", operand: v, type: STRING, loc };
+            }
+            lowerer.noLowering(`String.raw substitutions of type '${lowerer.fmt(v.type)}'`, a, "numbers, strings, booleans, and records stringify statically");
+        });
+        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);
+    if (spread) {
+        if (call.arguments.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))
+        // — the magic-number ASCII probe) passes the bytes value through; the
+        // runtime reads its elements like the packed-array form.
+        const spreadT = lowerer.mapTypeOf(lowerer.typeOf(spread.expression));
+        if (spreadT?.kind === "bytes") {
+            const packed = lowerer.lowerExpr(spread.expression);
+            if (packed.type.kind !== "bytes")
+                lowerer.badType(spread.expression, lowerer.typeOf(spread.expression));
+            return { kind: "libCall", fn: `string.${member}`, args: [packed], type: STRING, loc };
+        }
+        const packed = lowerer.lowerExprExpecting(spread.expression, arrayOf(F64));
+        return { kind: "libCall", fn: `string.${member}`, args: [packed], type: STRING, loc };
+    }
+    const elems = call.arguments.map((a) => lowerer.lowerExprExpecting(a, F64));
+    const packed = { kind: "arrayLit", elems, type: arrayOf(F64), loc };
+    return { kind: "libCall", fn: `string.${member}`, args: [packed], 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.
+ * Null for non-string receivers and other members. */
+export function lowerStringLastIndexOfCall(lowerer, call, access) {
+    if (call.questionDotToken || access.questionDotToken)
+        return null;
+    if (access.name.text !== "lastIndexOf")
+        return null;
+    if (lowerer.mapTypeOf(lowerer.typeOf(access.expression))?.kind !== "string")
+        return null;
+    if (!lowerer.isStdlibMember(access))
+        return null;
+    const loc = locOf(call);
+    if (call.arguments.length > 2 || call.arguments.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];
+    if (!positionNode) {
+        const needle = lowerStringSearchArgument(lowerer, call.arguments[0], loc);
+        return { kind: "libCall", fn: "string.lastIndexOf", args: [receiver, needle], type: F64, loc };
+    }
+    const needle = lowerer.lowerExprExpecting(call.arguments[0], STRING);
+    const position = lowerOptionalArgument(lowerer, positionNode, F64, numLit(Number.MAX_SAFE_INTEGER, loc));
+    return {
+        kind: "libCall",
+        fn: "string.lastIndexOfFrom",
+        args: [receiver, needle, position],
+        type: F64,
+        loc,
+    };
+}
+//# sourceMappingURL=strings.js.map

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

@@ -0,0 +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,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,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IAC5E,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"}

package/dist/frontend/lowering/builtins/text-codecs.d.ts

@@ -0,0 +1,29 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+import { type IrExpr, type SrcLoc } from "../../../ir/ir.js";
+import { type BuiltinModuleFn } from "../surfaces.js";
+/** StringDecoder writes preserve pending bytes; end(input) performs the
+ * final write and flushes the state. String input passes through unchanged. */
+export declare function lowerStringDecoderMethodCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+type TextCodecCtor = {
+    cls: "TextDecoder" | "TextEncoder";
+    ctor: ts.NewExpression;
+};
+/** Box a codec's immutable encoding in an owned record. Unlike erased
+ * aliases, this value can live in fields, arguments, and closure captures. */
+export declare function lowerTextCodecNew(lowerer: Lowerer, ctor: ts.NewExpression, cls: TextCodecCtor["cls"]): IrExpr;
+export declare function storedTextCodecClassOf(lowerer: Lowerer, expr: ts.Expression): TextCodecCtor["cls"] | null;
+/** Inline codec calls avoid allocating a receiver; stored receivers use
+ * the owned record path above. decode is the runtime's WHATWG
+ * decode for every recognized static label (with BOM handling for the
+ * Unicode encodings); a zero-argument decode() is "" like the spec's.
+ * encode IS Buffer.from(s, "utf8") — ScrStr
+ * storage is well-formed UTF-8, so the bytes are identical (lone
+ * surrogates became U+FFFD at string construction, exactly what the
+ * spec's encoder emits). Null when this is neither supported form. */
+export declare function lowerTextCodecCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+export declare function lowerBufferEncodingCall(lowerer: Lowerer, expr: ts.CallExpression, bi: {
+    module: string;
+    member: string;
+}, fn: BuiltinModuleFn, loc: SrcLoc): IrExpr;
+export {};