@scriptc/compiler 0.2.8 → 0.2.10

package/dist/frontend/lowering/expressions/union-field-write.js

@@ -1,108 +0,0 @@
-import { nodeThrowExpr, varRef } from "../../../ir/build.js";
-import * as ts from "../../ts7/adapter.js";
-import { BOOL, typeEquals } from "../../../ir/ir.js";
-import { locOf } from "../../program.js";
-/** Assign a common data field without projecting the union's objects into
- * a new structural shape. Each tag writes the original payload, so
- * aliases and identity-keyed collections observe the mutation. Accessors,
- * missing fields, and differently typed storage retain their own fences. */
-export function lowerUnionFieldWrite(lowerer, access, rhs) {
-    const mapped = lowerer.mapTypeOf(lowerer.typeOf(access.expression));
-    if (access.questionDotToken || mapped?.kind !== "union")
-        return null;
-    const receiver = lowerer.maybeNarrow(lowerer.lowerExpr(access.expression), access.expression);
-    if (receiver.type.kind !== "union")
-        return null;
-    const unionId = receiver.type.unionId;
-    const arms = lowerer.unions.get(unionId)?.arms;
-    if (!arms?.length)
-        return null;
-    const fields = [];
-    let fieldType = null;
-    for (const arm of arms) {
-        if (arm.kind === "undefinedT" || arm.kind === "nullT") {
-            fields.push(null);
-            continue;
-        }
-        if (arm.kind !== "record" && arm.kind !== "object")
-            return null;
-        const type = arm.kind === "record"
-            ? lowerer.shapes.get(arm.shapeId)?.fields.find((f) => f.name === access.name.text)?.type
-            : lowerer.classes.get(arm.className)?.fields.get(access.name.text);
-        if (!type || (fieldType !== null && !typeEquals(fieldType, type)))
-            return null;
-        fieldType = type;
-        fields.push({ receiver: arm, type });
-    }
-    if (fieldType === null)
-        return null;
-    const loc = locOf(access);
-    const object = lowerer.declareHiddenLocal("%unionWriteObject", receiver.type);
-    const objectRef = varRef(object.id, object.type, loc);
-    const value = lowerer.lowerExprExpecting(rhs, fieldType);
-    const stored = lowerer.declareHiddenLocal("%unionWriteValue", value.type);
-    // Snapshot the reference before evaluating the RHS, which can change the
-    // original binding. Evaluate and retain the value once before dispatch.
-    const body = [
-        { kind: "varDecl", localId: object.id, init: receiver, loc },
-        { kind: "varDecl", localId: stored.id, init: value, loc },
-    ];
-    const result = varRef(stored.id, stored.type, loc);
-    let dispatch = result;
-    for (let tag = fields.length - 1; tag >= 0; tag--) {
-        const field = fields[tag];
-        let branch;
-        if (field) {
-            const obj = {
-                kind: "unionNarrow",
-                unionId,
-                tag,
-                value: objectRef,
-                type: field.receiver,
-                loc,
-            };
-            const write = field.receiver.kind === "record"
-                ? {
-                    kind: "recordSet",
-                    obj,
-                    shapeId: field.receiver.shapeId,
-                    field: access.name.text,
-                    value: result,
-                    loc,
-                }
-                : {
-                    kind: "fieldSet",
-                    obj,
-                    className: field.receiver.className,
-                    field: access.name.text,
-                    value: result,
-                    loc,
-                };
-            branch = { kind: "seqExpr", stmts: [write], result, type: result.type, loc };
-        }
-        else {
-            branch = nodeThrowExpr(1, "", `Cannot set properties of ${arms[tag].kind === "nullT" ? "null" : "undefined"} (setting '${access.name.text}')`, result.type, loc);
-        }
-        dispatch =
-            tag === fields.length - 1
-                ? branch
-                : {
-                    kind: "ternary",
-                    cond: {
-                        kind: "unionIsTag",
-                        unionId,
-                        tag,
-                        value: objectRef,
-                        negated: false,
-                        type: BOOL,
-                        loc,
-                    },
-                    then: branch,
-                    else_: dispatch,
-                    type: result.type,
-                    loc,
-                };
-    }
-    return { kind: "seqExpr", stmts: body, result: dispatch, type: result.type, loc };
-}
-//# sourceMappingURL=union-field-write.js.map

package/dist/frontend/lowering/expressions/union-field-write.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"union-field-write.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/expressions/union-field-write.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAE3C,OAAO,EAAE,IAAI,EAAyC,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC5F,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAEzC;;;4EAG4E;AAC5E,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,MAAmC,EACnC,GAAkB;IAElB,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IACpE,IAAI,MAAM,CAAC,gBAAgB,IAAI,MAAM,EAAE,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACrE,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC9F,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAChD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IAC/C,IAAI,CAAC,IAAI,EAAE,MAAM;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,MAAM,GAAkF,EAAE,CAAC;IACjG,IAAI,SAAS,GAAkB,IAAI,CAAC;IACpC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,SAAS;QACX,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAChE,MAAM,IAAI,GACR,GAAG,CAAC,IAAI,KAAK,QAAQ;YACnB,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI;YACxF,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvE,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAC/E,SAAS,GAAG,IAAI,CAAC;QACjB,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,mBAAmB,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9E,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACtD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1E,yEAAyE;IACzE,wEAAwE;IACxE,MAAM,IAAI,GAAa;QACrB,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE;QAC5D,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;KAC1D,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACnD,IAAI,QAAQ,GAAW,MAAM,CAAC;IAC9B,KAAK,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;QAClD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,MAAc,CAAC;QACnB,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,GAAG,GAAW;gBAClB,IAAI,EAAE,aAAa;gBACnB,OAAO;gBACP,GAAG;gBACH,KAAK,EAAE,SAAS;gBAChB,IAAI,EAAE,KAAK,CAAC,QAAQ;gBACpB,GAAG;aACJ,CAAC;YACF,MAAM,KAAK,GACT,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;gBAC9B,CAAC,CAAC;oBACE,IAAI,EAAE,WAAW;oBACjB,GAAG;oBACH,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO;oBAC/B,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI;oBACvB,KAAK,EAAE,MAAM;oBACb,GAAG;iBACJ;gBACH,CAAC,CAAC;oBACE,IAAI,EAAE,UAAU;oBAChB,GAAG;oBACH,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,SAAS;oBACnC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI;oBACvB,KAAK,EAAE,MAAM;oBACb,GAAG;iBACJ,CAAC;YACR,MAAM,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;QAC/E,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,aAAa,CACpB,CAAC,EACD,EAAE,EACF,4BAA4B,IAAI,CAAC,GAAG,CAAE,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,cAAc,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,EAChH,MAAM,CAAC,IAAI,EACX,GAAG,CACJ,CAAC;QACJ,CAAC;QACD,QAAQ;YACN,GAAG,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC;gBACvB,CAAC,CAAC,MAAM;gBACR,CAAC,CAAC;oBACE,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE;wBACJ,IAAI,EAAE,YAAY;wBAClB,OAAO;wBACP,GAAG;wBACH,KAAK,EAAE,SAAS;wBAChB,OAAO,EAAE,KAAK;wBACd,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,IAAI,EAAE,MAAM;oBACZ,KAAK,EAAE,QAAQ;oBACf,IAAI,EAAE,MAAM,CAAC,IAAI;oBACjB,GAAG;iBACJ,CAAC;IACV,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AACpF,CAAC"}