@scriptc/compiler 0.1.7 → 0.2.1

package/dist/frontend/lowering/union-retag.js

@@ -0,0 +1,259 @@
+import { InternalCompilerError } from "../../errors.js";
+import { BOOL, F64, STRING, isUnitType, shapeHasAccessorSlots, typeEquals, typeKey } from "../../ir/ir.js";
+import { discriminantField, discriminantOwners } from "../union-discriminants.js";
+/** Recursive variants can retain distinct ids for the same field layout.
+ * An independently inferred record may intern to either id, so that id
+ * alone cannot select its semantic destination when wrapping into a union. */
+export function planRecordUnionWrap(source, to, shapeOf) {
+    const discriminant = to.discriminant;
+    if (!discriminant || source.tuple || source.indexValue || shapeHasAccessorSlots(source))
+        return null;
+    const fieldType = discriminantField(source, discriminant.field);
+    if (!fieldType)
+        return null;
+    const routes = [];
+    for (let tag = 0; tag < to.arms.length; tag++) {
+        const arm = to.arms[tag];
+        if (arm.kind !== "record")
+            continue;
+        const target = shapeOf(arm.shapeId);
+        if (!target || target.tuple || target.indexValue || target.fields.length !== source.fields.length)
+            continue;
+        let same = true;
+        for (let i = 0; i < source.fields.length; i++) {
+            const a = source.fields[i], b = target.fields[i];
+            if (a.name !== b.name || !typeEquals(a.type, b.type)) {
+                same = false;
+                break;
+            }
+        }
+        if (!same)
+            continue;
+        const entry = discriminant.cases.find((candidate) => candidate.tag === tag);
+        if (!entry)
+            return null;
+        routes.push({ tag, lift: { how: arm.shapeId === source.id ? "copy" : "width" }, values: entry.values });
+    }
+    if (routes.length < 2 || discriminantOwners(to, shapeOf) === null)
+        return null;
+    return { field: discriminant.field, fieldType, routes };
+}
+/** Pure conversion planning. A source storage tag need not denote just
+ * one semantic variant: refinements can coalesce recursive record layouts.
+ * When both unions name the same discriminant, its values select target
+ * tags, and every selected payload conversion must independently validate.
+ * Planning never interns a helper or caches a recursive assumption. */
+export function planUnionRetag(from, to, shapeOf, widthLift, trappable) {
+    const result = [];
+    const target = { kind: "union", unionId: to.id };
+    const discriminant = from.discriminant;
+    const useDiscriminant = discriminant !== undefined && discriminant.field === to.discriminant?.field;
+    const owners = useDiscriminant ? discriminantOwners(to, shapeOf) : null;
+    if (useDiscriminant && (owners === null || discriminantOwners(from, shapeOf) === null))
+        return null;
+    // Large unions otherwise compare every source arm with every destination.
+    // Keys narrow the search; exact ABI equality still resolves collisions.
+    // Keep small conversions allocation-light and rebuild for each registry view.
+    const indexed = from.arms.length >= 4 && to.arms.length >= 8;
+    const identities = new Map();
+    if (indexed)
+        to.arms.forEach((arm, tag) => {
+            const key = typeKey(arm);
+            const tags = identities.get(key);
+            if (tags)
+                tags.push(tag);
+            else
+                identities.set(key, [tag]);
+        });
+    for (let tag = 0; tag < from.arms.length; tag++) {
+        const source = from.arms[tag];
+        const identity = indexed
+            ? identities.get(typeKey(source))?.find((candidate) => typeEquals(to.arms[candidate], source)) ?? -1
+            : to.arms.findIndex((arm) => typeEquals(arm, source));
+        if (isUnitType(source)) {
+            result.push(identity < 0 ? { kind: "trap" } : {
+                kind: "direct", route: { tag: identity, lift: { how: "copy" }, values: [] },
+            });
+            continue;
+        }
+        // A checker-proven absent arm retains any exact representation, as
+        // before. Otherwise the narrowing path needs no structural conversion.
+        if (identity < 0 && trappable?.has(tag)) {
+            result.push({ kind: "trap" });
+            continue;
+        }
+        if (useDiscriminant && discriminant && owners && source.kind === "record") {
+            const entry = discriminant.cases.find((candidate) => candidate.tag === tag);
+            const fieldType = discriminantField(shapeOf(source.shapeId), discriminant.field);
+            if (!entry || !fieldType)
+                return null;
+            const routes = [];
+            for (const value of entry.values) {
+                // Narrowing can remove semantic cases without changing a storage
+                // arm. Retain that exact representation for omitted literals, while
+                // explicit owners still select their own payload layouts.
+                const destination = owners.get(JSON.stringify(value)) ?? (identity >= 0 ? identity : undefined);
+                if (destination === undefined)
+                    return null;
+                const existing = routes.find((route) => route.tag === destination);
+                if (existing) {
+                    if (!existing.values.includes(value))
+                        existing.values.push(value);
+                    continue;
+                }
+                const lift = widthLift(source, to.arms[destination]);
+                if (lift === null)
+                    return null;
+                routes.push({ tag: destination, lift, values: [value] });
+            }
+            if (routes.length === 1)
+                result.push({ kind: "direct", route: routes[0] });
+            else
+                result.push({ kind: "discriminant", field: discriminant.field, fieldType, routes });
+            continue;
+        }
+        if (identity >= 0) {
+            result.push({ kind: "direct", route: { tag: identity, lift: { how: "copy" }, values: [] } });
+            continue;
+        }
+        // Unannotated unions retain the unique-width-arm rule. A discriminant
+        // present on just one side cannot establish correspondence.
+        const lift = widthLift(source, target);
+        if (!lift || lift.how !== "liftWrap")
+            return null;
+        const inner = widthLift(source, lift.arm);
+        if (!inner)
+            return null;
+        result.push({ kind: "direct", route: { tag: lift.tag, lift: inner, values: [] } });
+    }
+    return result;
+}
+function typeError(message, loc) {
+    return {
+        kind: "throw",
+        value: {
+            kind: "libCall", fn: "error.new",
+            args: [{ kind: "strLit", value: message, type: STRING, loc }],
+            type: { kind: "object", className: "%TypeError" }, loc,
+        },
+        loc,
+    };
+}
+function literalTest(field, literal, loc) {
+    if (typeof literal === "string") {
+        return {
+            kind: "strEq", negated: false, left: field,
+            right: { kind: "strLit", value: literal, type: STRING, loc }, type: BOOL, loc,
+        };
+    }
+    const right = typeof literal === "number"
+        ? { kind: "numLit", value: literal, type: F64, loc }
+        : { kind: "boolLit", value: literal, type: BOOL, loc };
+    return { kind: "bin", op: "===", left: field, right, type: BOOL, loc };
+}
+export function buildRecordUnionWrap(name, source, to, plan, loc, applyLift) {
+    const input = { kind: "varRef", localId: "v.0", type: source, loc };
+    const field = { kind: "varRef", localId: "kind.0", type: plan.fieldType, loc };
+    const result = { kind: "union", unionId: to.id };
+    const body = [{ kind: "varDecl", localId: "kind.0", init: {
+                kind: "recordGet", obj: input, shapeId: source.shapeId, field: plan.field, type: plan.fieldType, loc,
+            }, loc }];
+    for (const route of plan.routes) {
+        let cond = null;
+        for (const literal of route.values) {
+            const test = literalTest(field, literal, loc);
+            cond = cond === null ? test : { kind: "logical", op: "||", left: cond, right: test, type: BOOL, loc };
+        }
+        if (cond === null)
+            throw new InternalCompilerError("lowerer bug: empty record discriminator route");
+        body.push({ kind: "if", cond, then: [{ kind: "return", value: {
+                        kind: "unionWrap", unionId: to.id, tag: route.tag,
+                        value: applyLift(route.lift, input, to.arms[route.tag]), type: result, loc,
+                    }, loc }], else_: null, loc });
+    }
+    body.push(typeError(`invalid '${plan.field}' discriminant in record conversion`, loc));
+    return {
+        name, params: [{ localId: "v.0", name: "value", type: source }], returnType: result,
+        locals: [
+            { id: "v.0", name: "value", type: source, mutable: false },
+            { id: "kind.0", name: "kind", type: plan.fieldType, mutable: false },
+        ], body, loc,
+    };
+}
+/** Emit the already validated routes using ordinary typed IR. Each field
+ * read uses the source shape; each result uses its own destination shape.
+ * Identity routes retain the original payload and width routes copy it.
+ * The caller interns the helper before invoking this build phase. */
+export function buildUnionRetag(name, from, to, plan, loc, applyLift, formatType) {
+    if (plan.length !== from.arms.length)
+        throw new InternalCompilerError("lowerer bug: incomplete union retag plan");
+    const fromType = { kind: "union", unionId: from.id };
+    const toType = { kind: "union", unionId: to.id };
+    const input = { kind: "varRef", localId: "u.0", type: fromType, loc };
+    const fn = {
+        name, params: [{ localId: "u.0", name: "u", type: fromType }], returnType: toType,
+        locals: [{ id: "u.0", name: "u", type: fromType, mutable: false }], body: [], loc,
+    };
+    for (let tag = 0; tag < from.arms.length; tag++) {
+        const arm = from.arms[tag];
+        const armPlan = plan[tag];
+        const statements = [];
+        if (armPlan.kind === "trap") {
+            const what = isUnitType(arm) ? (arm.kind === "undefinedT" ? "undefined" : "null") : `a '${formatType(arm)}' value`;
+            statements.push(typeError(`${what} is not representable in the target union (a value narrowed or asserted past it still held it)`, loc));
+        }
+        else {
+            const payload = isUnitType(arm)
+                ? { kind: "unitLit", unit: arm.kind === "undefinedT" ? "undefined" : "null", type: arm, loc }
+                : { kind: "unionNarrow", unionId: from.id, tag, value: input, type: arm, loc };
+            if (armPlan.kind === "direct") {
+                const route = armPlan.route;
+                statements.push({
+                    kind: "return", value: {
+                        kind: "unionWrap", unionId: to.id, tag: route.tag,
+                        value: applyLift(route.lift, payload, to.arms[route.tag]), type: toType, loc,
+                    }, loc,
+                });
+            }
+            else {
+                if (arm.kind !== "record")
+                    throw new InternalCompilerError("lowerer bug: discriminant on non-record arm");
+                // Capture once after testing the source tag. Reusing a field read
+                // would repeatedly retain the payload and would obscure ownership.
+                const localId = `kind.${tag}`;
+                fn.locals.push({ id: localId, name: "kind", type: armPlan.fieldType, mutable: false });
+                statements.push({
+                    kind: "varDecl", localId,
+                    init: { kind: "recordGet", obj: payload, shapeId: arm.shapeId, field: armPlan.field, type: armPlan.fieldType, loc }, loc,
+                });
+                const field = { kind: "varRef", localId, type: armPlan.fieldType, loc };
+                for (const route of armPlan.routes) {
+                    let cond = null;
+                    for (const literal of route.values) {
+                        const test = literalTest(field, literal, loc);
+                        cond = cond === null ? test : { kind: "logical", op: "||", left: cond, right: test, type: BOOL, loc };
+                    }
+                    if (cond === null)
+                        throw new InternalCompilerError("lowerer bug: empty discriminant route");
+                    statements.push({
+                        kind: "if", cond,
+                        then: [{ kind: "return", value: {
+                                    kind: "unionWrap", unionId: to.id, tag: route.tag,
+                                    value: applyLift(route.lift, payload, to.arms[route.tag]), type: toType, loc,
+                                }, loc }], else_: null, loc,
+                    });
+                }
+                statements.push(typeError(`invalid '${armPlan.field}' discriminant in union conversion`, loc));
+            }
+        }
+        fn.body.push({
+            kind: "if", cond: { kind: "unionIsTag", unionId: from.id, tag, negated: false, value: input, type: BOOL, loc },
+            then: statements, else_: null, loc,
+        });
+    }
+    fn.body.push({
+        kind: "throw", value: { kind: "strLit", value: "scriptc: internal error: invalid union tag", type: STRING, loc }, loc,
+    });
+    return fn;
+}
+//# sourceMappingURL=union-retag.js.map

package/dist/frontend/lowering/union-retag.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"union-retag.js","sourceRoot":"","sources":["../../../src/frontend/lowering/union-retag.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,qBAAqB,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAG3G,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAqBlF;;8EAE8E;AAC9E,MAAM,UAAU,mBAAmB,CACjC,MAAqB,EACrB,EAAc,EACd,OAAkD;IAElD,MAAM,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC;IACrC,IAAI,CAAC,YAAY,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,UAAU,IAAI,qBAAqB,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACrG,MAAM,SAAS,GAAG,iBAAiB,CAAC,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC;IAChE,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;QAC9C,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAE,CAAC;QAC1B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACpC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM;YAAE,SAAS;QAC5G,IAAI,IAAI,GAAG,IAAI,CAAC;QAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9C,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;YACnD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBAAC,IAAI,GAAG,KAAK,CAAC;gBAAC,MAAM;YAAC,CAAC;QAChF,CAAC;QACD,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;QAC5E,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,OAAO,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1G,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,kBAAkB,CAAC,EAAE,EAAE,OAAO,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/E,OAAO,EAAE,KAAK,EAAE,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AAC1D,CAAC;AAED;;;;uEAIuE;AACvE,MAAM,UAAU,cAAc,CAC5B,IAAgB,EAChB,EAAc,EACd,OAAkD,EAClD,SAAyD,EACzD,SAA+B;IAE/B,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;IACzD,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;IACvC,MAAM,eAAe,GAAG,YAAY,KAAK,SAAS,IAAI,YAAY,CAAC,KAAK,KAAK,EAAE,CAAC,YAAY,EAAE,KAAK,CAAC;IACpG,MAAM,MAAM,GAAG,eAAe,CAAC,CAAC,CAAC,kBAAkB,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACxE,IAAI,eAAe,IAAI,CAAC,MAAM,KAAK,IAAI,IAAI,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACpG,0EAA0E;IAC1E,wEAAwE;IACxE,8EAA8E;IAC9E,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC/C,IAAI,OAAO;QAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;YACxC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;YACzB,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACjC,IAAI,IAAI;gBAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;;gBACpB,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;IACH,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,OAAO;YACtB,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAE,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC;YACrG,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;QACxD,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;gBAC5C,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;aAC5E,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,mEAAmE;QACnE,uEAAuE;QACvE,IAAI,QAAQ,GAAG,CAAC,IAAI,SAAS,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACxC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;YAC9B,SAAS;QACX,CAAC;QACD,IAAI,eAAe,IAAI,YAAY,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1E,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;YAC5E,MAAM,SAAS,GAAG,iBAAiB,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC;YACjF,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS;gBAAE,OAAO,IAAI,CAAC;YACtC,MAAM,MAAM,GAAsB,EAAE,CAAC;YACrC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;gBACjC,iEAAiE;gBACjE,oEAAoE;gBACpE,0DAA0D;gBAC1D,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;gBAChG,IAAI,WAAW,KAAK,SAAS;oBAAE,OAAO,IAAI,CAAC;gBAC3C,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,WAAW,CAAC,CAAC;gBACnE,IAAI,QAAQ,EAAE,CAAC;oBACb,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;wBAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBAClE,SAAS;gBACX,CAAC;gBACD,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAE,CAAC,CAAC;gBACtD,IAAI,IAAI,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAC/B,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC3D,CAAC;YACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC;;gBACvE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;YACzF,SAAS;QACX,CAAC;QACD,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;YAClB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YAC7F,SAAS;QACX,CAAC;QACD,sEAAsE;QACtE,4DAA4D;QAC5D,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACvC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,KAAK,UAAU;YAAE,OAAO,IAAI,CAAC;QAClD,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,SAAS,CAAC,OAAe,EAAE,GAAW;IAC7C,OAAO;QACL,IAAI,EAAE,OAAO;QACb,KAAK,EAAE;YACL,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW;YAChC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YAC7D,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,EAAE,GAAG;SACvD;QACD,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,KAAa,EAAE,OAAgB,EAAE,GAAW;IAC/D,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QAChC,OAAO;YACL,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK;YAC1C,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG;SAC9E,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAW,OAAO,OAAO,KAAK,QAAQ;QAC/C,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACpD,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACzD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACzE,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,IAAY,EACZ,MAAmC,EACnC,EAAc,EACd,IAAyB,EACzB,GAAW,EACX,SAAkE;IAElE,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC5E,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC;IACvF,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;IACzD,MAAM,IAAI,GAAa,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE;gBAClE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,GAAG;aACrG,EAAE,GAAG,EAAE,CAAC,CAAC;IACV,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChC,IAAI,IAAI,GAAkB,IAAI,CAAC;QAC/B,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;YAC9C,IAAI,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACxG,CAAC;QACD,IAAI,IAAI,KAAK,IAAI;YAAE,MAAM,IAAI,qBAAqB,CAAC,+CAA+C,CAAC,CAAC;QACpG,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE;wBAC5D,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG;wBACjD,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG;qBAC5E,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IACjC,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,YAAY,IAAI,CAAC,KAAK,qCAAqC,EAAE,GAAG,CAAC,CAAC,CAAC;IACvF,OAAO;QACL,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,MAAM;QACnF,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;YAC1D,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;SACrE,EAAE,IAAI,EAAE,GAAG;KACb,CAAC;AACJ,CAAC;AAED;;;qEAGqE;AACrE,MAAM,UAAU,eAAe,CAC7B,IAAY,EACZ,IAAgB,EAChB,EAAc,EACd,IAAqB,EACrB,GAAW,EACX,SAAkE,EAClE,UAAoC;IAEpC,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,qBAAqB,CAAC,0CAA0C,CAAC,CAAC;IAClH,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;IAC7D,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;IACzD,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;IAC9E,MAAM,EAAE,GAAe;QACrB,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,MAAM;QACjF,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;KAClF,CAAC;IACF,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;QAChD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAE,CAAC;QAC3B,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC;YACnH,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,gGAAgG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC3I,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAW,UAAU,CAAC,GAAG,CAAC;gBACrC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gBAC7F,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;YACjF,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;gBAC5B,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE;wBACrB,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG;wBACjD,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG;qBAC9E,EAAE,GAAG;iBACP,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;oBAAE,MAAM,IAAI,qBAAqB,CAAC,6CAA6C,CAAC,CAAC;gBAC1G,kEAAkE;gBAClE,mEAAmE;gBACnE,MAAM,OAAO,GAAG,QAAQ,GAAG,EAAE,CAAC;gBAC9B,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;gBACvF,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,SAAS,EAAE,OAAO;oBACxB,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,SAAS,EAAE,GAAG,EAAE,EAAE,GAAG;iBACzH,CAAC,CAAC;gBACH,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC;gBAChF,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;oBACnC,IAAI,IAAI,GAAkB,IAAI,CAAC;oBAC/B,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;wBACnC,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;wBAC9C,IAAI,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;oBACxG,CAAC;oBACD,IAAI,IAAI,KAAK,IAAI;wBAAE,MAAM,IAAI,qBAAqB,CAAC,uCAAuC,CAAC,CAAC;oBAC5F,UAAU,CAAC,IAAI,CAAC;wBACd,IAAI,EAAE,IAAI,EAAE,IAAI;wBAChB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE;oCAC9B,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG;oCACjD,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG;iCAC9E,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG;qBAC5B,CAAC,CAAC;gBACL,CAAC;gBACD,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,YAAY,OAAO,CAAC,KAAK,oCAAoC,EAAE,GAAG,CAAC,CAAC,CAAC;YACjG,CAAC;QACH,CAAC;QACD,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAC9G,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG;SACnC,CAAC,CAAC;IACL,CAAC;IACD,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;QACX,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,4CAA4C,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,GAAG;KACtH,CAAC,CAAC;IACH,OAAO,EAAE,CAAC;AACZ,CAAC"}

package/dist/frontend/lowering/union-retag.test.d.ts

@@ -0,0 +1 @@
+export {};