@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/validation/anon-type-lower-statements.js

@@ -0,0 +1,270 @@
+import { stripNullishFromType } from "./anon-type-shape-analysis.js";
+import { lowerInterfaceMember, lowerParameter, lowerPattern, lowerType, lowerTypeParameter, } from "./anon-type-lower-types.js";
+import { lowerExpression } from "./anon-type-lower-expressions.js";
+export const lowerBlockStatement = (stmt, ctx) => ({
+    ...stmt,
+    statements: stmt.statements.map((statement) => lowerStatement(statement, ctx)),
+});
+export const lowerVariableDeclaration = (stmt, ctx) => ({
+    ...stmt,
+    declarations: stmt.declarations.map((declaration) => ({
+        ...declaration,
+        name: lowerPattern(declaration.name, ctx),
+        type: declaration.type ? lowerType(declaration.type, ctx) : undefined,
+        initializer: declaration.initializer
+            ? lowerExpression(declaration.initializer, ctx)
+            : undefined,
+    })),
+});
+export const lowerClassMember = (member, ctx) => {
+    switch (member.kind) {
+        case "methodDeclaration": {
+            const loweredReturnType = member.returnType
+                ? lowerType(member.returnType, ctx)
+                : undefined;
+            const bodyCtx = {
+                ...ctx,
+                currentFunctionReturnType: loweredReturnType,
+            };
+            return {
+                ...member,
+                typeParameters: member.typeParameters?.map((typeParameter) => lowerTypeParameter(typeParameter, ctx)),
+                parameters: member.parameters.map((parameter) => lowerParameter(parameter, ctx)),
+                returnType: loweredReturnType,
+                body: member.body
+                    ? lowerBlockStatement(member.body, bodyCtx)
+                    : undefined,
+            };
+        }
+        case "propertyDeclaration":
+            return {
+                ...member,
+                type: member.type
+                    ? lowerType(member.type, ctx, member.name)
+                    : undefined,
+                initializer: member.initializer
+                    ? lowerExpression(member.initializer, ctx)
+                    : undefined,
+                getterBody: member.getterBody
+                    ? lowerBlockStatement(member.getterBody, ctx)
+                    : undefined,
+                setterBody: member.setterBody
+                    ? lowerBlockStatement(member.setterBody, ctx)
+                    : undefined,
+            };
+        case "constructorDeclaration":
+            return {
+                ...member,
+                parameters: member.parameters.map((parameter) => lowerParameter(parameter, ctx)),
+                body: member.body ? lowerBlockStatement(member.body, ctx) : undefined,
+            };
+    }
+};
+export const lowerStatement = (stmt, ctx) => {
+    switch (stmt.kind) {
+        case "variableDeclaration":
+            return lowerVariableDeclaration(stmt, ctx);
+        case "functionDeclaration": {
+            const loweredReturnType = stmt.returnType
+                ? lowerType(stmt.returnType, ctx)
+                : undefined;
+            const bodyCtx = {
+                ...ctx,
+                currentFunctionReturnType: loweredReturnType,
+            };
+            return {
+                ...stmt,
+                typeParameters: stmt.typeParameters?.map((typeParameter) => lowerTypeParameter(typeParameter, ctx)),
+                parameters: stmt.parameters.map((parameter) => lowerParameter(parameter, ctx)),
+                returnType: loweredReturnType,
+                body: lowerBlockStatement(stmt.body, bodyCtx),
+            };
+        }
+        case "classDeclaration":
+            return {
+                ...stmt,
+                typeParameters: stmt.typeParameters?.map((typeParameter) => lowerTypeParameter(typeParameter, ctx)),
+                superClass: stmt.superClass
+                    ? lowerType(stmt.superClass, ctx)
+                    : undefined,
+                implements: stmt.implements.map((heritage) => lowerType(heritage, ctx)),
+                members: stmt.members.map((member) => lowerClassMember(member, ctx)),
+            };
+        case "interfaceDeclaration":
+            return {
+                ...stmt,
+                typeParameters: stmt.typeParameters?.map((typeParameter) => lowerTypeParameter(typeParameter, ctx)),
+                extends: stmt.extends.map((heritage) => lowerType(heritage, ctx)),
+                members: stmt.members.map((member) => lowerInterfaceMember(member, ctx)),
+            };
+        case "enumDeclaration":
+            return {
+                ...stmt,
+                members: stmt.members.map((member) => ({
+                    ...member,
+                    initializer: member.initializer
+                        ? lowerExpression(member.initializer, ctx)
+                        : undefined,
+                })),
+            };
+        case "typeAliasDeclaration":
+            if (stmt.type.kind === "objectType") {
+                const loweredMembers = stmt.type.members.map((member) => {
+                    if (member.kind === "propertySignature") {
+                        return {
+                            ...member,
+                            type: lowerType(member.type, ctx),
+                        };
+                    }
+                    if (member.kind === "methodSignature") {
+                        return {
+                            ...member,
+                            parameters: member.parameters.map((parameter) => lowerParameter(parameter, ctx)),
+                            returnType: member.returnType
+                                ? lowerType(member.returnType, ctx)
+                                : undefined,
+                        };
+                    }
+                    return member;
+                });
+                return {
+                    ...stmt,
+                    typeParameters: stmt.typeParameters?.map((typeParameter) => lowerTypeParameter(typeParameter, ctx)),
+                    type: {
+                        ...stmt.type,
+                        members: loweredMembers,
+                    },
+                };
+            }
+            return {
+                ...stmt,
+                typeParameters: stmt.typeParameters?.map((typeParameter) => lowerTypeParameter(typeParameter, ctx)),
+                type: lowerType(stmt.type, ctx),
+            };
+        case "expressionStatement":
+            return {
+                ...stmt,
+                expression: lowerExpression(stmt.expression, ctx),
+            };
+        case "returnStatement": {
+            if (!stmt.expression) {
+                return stmt;
+            }
+            const loweredExpr = lowerExpression(stmt.expression, ctx);
+            if (ctx.currentFunctionReturnType &&
+                loweredExpr.inferredType?.kind === "objectType") {
+                const targetType = stripNullishFromType(ctx.currentFunctionReturnType);
+                return {
+                    ...stmt,
+                    expression: { ...loweredExpr, inferredType: targetType },
+                };
+            }
+            return {
+                ...stmt,
+                expression: loweredExpr,
+            };
+        }
+        case "ifStatement":
+            return {
+                ...stmt,
+                condition: lowerExpression(stmt.condition, ctx),
+                thenStatement: lowerStatement(stmt.thenStatement, ctx),
+                elseStatement: stmt.elseStatement
+                    ? lowerStatement(stmt.elseStatement, ctx)
+                    : undefined,
+            };
+        case "whileStatement":
+            return {
+                ...stmt,
+                condition: lowerExpression(stmt.condition, ctx),
+                body: lowerStatement(stmt.body, ctx),
+            };
+        case "forStatement":
+            return {
+                ...stmt,
+                initializer: stmt.initializer
+                    ? stmt.initializer.kind === "variableDeclaration"
+                        ? lowerVariableDeclaration(stmt.initializer, ctx)
+                        : lowerExpression(stmt.initializer, ctx)
+                    : undefined,
+                condition: stmt.condition
+                    ? lowerExpression(stmt.condition, ctx)
+                    : undefined,
+                update: stmt.update ? lowerExpression(stmt.update, ctx) : undefined,
+                body: lowerStatement(stmt.body, ctx),
+            };
+        case "forOfStatement":
+            return {
+                ...stmt,
+                variable: lowerPattern(stmt.variable, ctx),
+                expression: lowerExpression(stmt.expression, ctx),
+                body: lowerStatement(stmt.body, ctx),
+            };
+        case "forInStatement":
+            return {
+                ...stmt,
+                variable: lowerPattern(stmt.variable, ctx),
+                expression: lowerExpression(stmt.expression, ctx),
+                body: lowerStatement(stmt.body, ctx),
+            };
+        case "switchStatement":
+            return {
+                ...stmt,
+                expression: lowerExpression(stmt.expression, ctx),
+                cases: stmt.cases.map((switchCase) => ({
+                    ...switchCase,
+                    test: switchCase.test
+                        ? lowerExpression(switchCase.test, ctx)
+                        : undefined,
+                    statements: switchCase.statements.map((statement) => lowerStatement(statement, ctx)),
+                })),
+            };
+        case "throwStatement":
+            return {
+                ...stmt,
+                expression: lowerExpression(stmt.expression, ctx),
+            };
+        case "tryStatement":
+            return {
+                ...stmt,
+                tryBlock: lowerBlockStatement(stmt.tryBlock, ctx),
+                catchClause: stmt.catchClause
+                    ? {
+                        ...stmt.catchClause,
+                        parameter: stmt.catchClause.parameter
+                            ? lowerPattern(stmt.catchClause.parameter, ctx)
+                            : undefined,
+                        body: lowerBlockStatement(stmt.catchClause.body, ctx),
+                    }
+                    : undefined,
+                finallyBlock: stmt.finallyBlock
+                    ? lowerBlockStatement(stmt.finallyBlock, ctx)
+                    : undefined,
+            };
+        case "blockStatement":
+            return lowerBlockStatement(stmt, ctx);
+        case "yieldStatement":
+            return {
+                ...stmt,
+                output: stmt.output ? lowerExpression(stmt.output, ctx) : undefined,
+                receiveTarget: stmt.receiveTarget
+                    ? lowerPattern(stmt.receiveTarget, ctx)
+                    : undefined,
+                receivedType: stmt.receivedType
+                    ? lowerType(stmt.receivedType, ctx)
+                    : undefined,
+            };
+        case "generatorReturnStatement":
+            return {
+                ...stmt,
+                expression: stmt.expression
+                    ? lowerExpression(stmt.expression, ctx)
+                    : undefined,
+            };
+        case "breakStatement":
+        case "continueStatement":
+        case "emptyStatement":
+            return stmt;
+    }
+};
+//# sourceMappingURL=anon-type-lower-statements.js.map

package/dist/ir/validation/anon-type-lower-statements.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"anon-type-lower-statements.js","sourceRoot":"","sources":["../../../src/ir/validation/anon-type-lower-statements.ts"],"names":[],"mappings":"AAaA,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAErE,OAAO,EACL,oBAAoB,EACpB,cAAc,EACd,YAAY,EACZ,SAAS,EACT,kBAAkB,GACnB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AAEnE,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAsB,EACtB,GAAoB,EACF,EAAE,CAAC,CAAC;IACtB,GAAG,IAAI;IACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAC5C,cAAc,CAAC,SAAS,EAAE,GAAG,CAAC,CAC/B;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAA2B,EAC3B,GAAoB,EACG,EAAE,CAAC,CAAC;IAC3B,GAAG,IAAI;IACP,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QACpD,GAAG,WAAW;QACd,IAAI,EAAE,YAAY,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC;QACzC,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;QACrE,WAAW,EAAE,WAAW,CAAC,WAAW;YAClC,CAAC,CAAC,eAAe,CAAC,WAAW,CAAC,WAAW,EAAE,GAAG,CAAC;YAC/C,CAAC,CAAC,SAAS;KACd,CAAC,CAAC;CACJ,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,MAAqB,EACrB,GAAoB,EACL,EAAE;IACjB,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,iBAAiB,GAAG,MAAM,CAAC,UAAU;gBACzC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC;gBACnC,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,OAAO,GAAoB;gBAC/B,GAAG,GAAG;gBACN,yBAAyB,EAAE,iBAAiB;aAC7C,CAAC;YACF,OAAO;gBACL,GAAG,MAAM;gBACT,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE,CAC3D,kBAAkB,CAAC,aAAa,EAAE,GAAG,CAAC,CACvC;gBACD,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAC9C,cAAc,CAAC,SAAS,EAAE,GAAG,CAAC,CAC/B;gBACD,UAAU,EAAE,iBAAiB;gBAC7B,IAAI,EAAE,MAAM,CAAC,IAAI;oBACf,CAAC,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC;oBAC3C,CAAC,CAAC,SAAS;aACd,CAAC;QACJ,CAAC;QACD,KAAK,qBAAqB;YACxB,OAAO;gBACL,GAAG,MAAM;gBACT,IAAI,EAAE,MAAM,CAAC,IAAI;oBACf,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC;oBAC1C,CAAC,CAAC,SAAS;gBACb,WAAW,EAAE,MAAM,CAAC,WAAW;oBAC7B,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC;oBAC1C,CAAC,CAAC,SAAS;gBACb,UAAU,EAAE,MAAM,CAAC,UAAU;oBAC3B,CAAC,CAAC,mBAAmB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC;oBAC7C,CAAC,CAAC,SAAS;gBACb,UAAU,EAAE,MAAM,CAAC,UAAU;oBAC3B,CAAC,CAAC,mBAAmB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC;oBAC7C,CAAC,CAAC,SAAS;aACd,CAAC;QACJ,KAAK,wBAAwB;YAC3B,OAAO;gBACL,GAAG,MAAM;gBACT,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAC9C,cAAc,CAAC,SAAS,EAAE,GAAG,CAAC,CAC/B;gBACD,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;aACtE,CAAC;IACN,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAiB,EACjB,GAAoB,EACP,EAAE;IACf,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB;YACxB,OAAO,wBAAwB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAE7C,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,MAAM,iBAAiB,GAAG,IAAI,CAAC,UAAU;gBACvC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;gBACjC,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,OAAO,GAAoB;gBAC/B,GAAG,GAAG;gBACN,yBAAyB,EAAE,iBAAiB;aAC7C,CAAC;YACF,OAAO;gBACL,GAAG,IAAI;gBACP,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE,CACzD,kBAAkB,CAAC,aAAa,EAAE,GAAG,CAAC,CACvC;gBACD,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAC5C,cAAc,CAAC,SAAS,EAAE,GAAG,CAAC,CAC/B;gBACD,UAAU,EAAE,iBAAiB;gBAC7B,IAAI,EAAE,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;aAC9C,CAAC;QACJ,CAAC;QAED,KAAK,kBAAkB;YACrB,OAAO;gBACL,GAAG,IAAI;gBACP,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE,CACzD,kBAAkB,CAAC,aAAa,EAAE,GAAG,CAAC,CACvC;gBACD,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;oBACjC,CAAC,CAAC,SAAS;gBACb,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;gBACvE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,gBAAgB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;aACrE,CAAC;QAEJ,KAAK,sBAAsB;YACzB,OAAO;gBACL,GAAG,IAAI;gBACP,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE,CACzD,kBAAkB,CAAC,aAAa,EAAE,GAAG,CAAC,CACvC;gBACD,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;gBACjE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACnC,oBAAoB,CAAC,MAAM,EAAE,GAAG,CAAC,CAClC;aACF,CAAC;QAEJ,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;oBACrC,GAAG,MAAM;oBACT,WAAW,EAAE,MAAM,CAAC,WAAW;wBAC7B,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC;wBAC1C,CAAC,CAAC,SAAS;iBACd,CAAC,CAAC;aACJ,CAAC;QAEJ,KAAK,sBAAsB;YACzB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBACpC,MAAM,cAAc,GAAwB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAC/D,CAAC,MAAM,EAAE,EAAE;oBACT,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;wBACxC,OAAO;4BACL,GAAG,MAAM;4BACT,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC;yBAClC,CAAC;oBACJ,CAAC;oBACD,IAAI,MAAM,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;wBACtC,OAAO;4BACL,GAAG,MAAM;4BACT,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAC9C,cAAc,CAAC,SAAS,EAAE,GAAG,CAAC,CAC/B;4BACD,UAAU,EAAE,MAAM,CAAC,UAAU;gCAC3B,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC;gCACnC,CAAC,CAAC,SAAS;yBACd,CAAC;oBACJ,CAAC;oBACD,OAAO,MAAM,CAAC;gBAChB,CAAC,CACF,CAAC;gBAEF,OAAO;oBACL,GAAG,IAAI;oBACP,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE,CACzD,kBAAkB,CAAC,aAAa,EAAE,GAAG,CAAC,CACvC;oBACD,IAAI,EAAE;wBACJ,GAAG,IAAI,CAAC,IAAI;wBACZ,OAAO,EAAE,cAAc;qBACxB;iBACF,CAAC;YACJ,CAAC;YAED,OAAO;gBACL,GAAG,IAAI;gBACP,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE,CACzD,kBAAkB,CAAC,aAAa,EAAE,GAAG,CAAC,CACvC;gBACD,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aAChC,CAAC;QAEJ,KAAK,qBAAqB;YACxB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;aAClD,CAAC;QAEJ,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;gBACrB,OAAO,IAAI,CAAC;YACd,CAAC;YACD,MAAM,WAAW,GAAG,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC1D,IACE,GAAG,CAAC,yBAAyB;gBAC7B,WAAW,CAAC,YAAY,EAAE,IAAI,KAAK,YAAY,EAC/C,CAAC;gBACD,MAAM,UAAU,GAAG,oBAAoB,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;gBACvE,OAAO;oBACL,GAAG,IAAI;oBACP,UAAU,EAAE,EAAE,GAAG,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE;iBACzD,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,WAAW;aACxB,CAAC;QACJ,CAAC;QAED,KAAK,aAAa;YAChB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;gBAC/C,aAAa,EAAE,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC;gBACtD,aAAa,EAAE,IAAI,CAAC,aAAa;oBAC/B,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC;oBACzC,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;gBAC/C,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aACrC,CAAC;QAEJ,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC3B,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,qBAAqB;wBAC/C,CAAC,CAAC,wBAAwB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC;wBACjD,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC;oBAC1C,CAAC,CAAC,SAAS;gBACb,SAAS,EAAE,IAAI,CAAC,SAAS;oBACvB,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;oBACtC,CAAC,CAAC,SAAS;gBACb,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;gBACnE,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aACrC,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC;gBAC1C,UAAU,EAAE,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;gBACjD,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aACrC,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC;gBAC1C,UAAU,EAAE,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;gBACjD,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aACrC,CAAC;QAEJ,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;gBACjD,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;oBACrC,GAAG,UAAU;oBACb,IAAI,EAAE,UAAU,CAAC,IAAI;wBACnB,CAAC,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC;wBACvC,CAAC,CAAC,SAAS;oBACb,UAAU,EAAE,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAClD,cAAc,CAAC,SAAS,EAAE,GAAG,CAAC,CAC/B;iBACF,CAAC,CAAC;aACJ,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;aAClD,CAAC;QAEJ,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,mBAAmB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC;gBACjD,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC3B,CAAC,CAAC;wBACE,GAAG,IAAI,CAAC,WAAW;wBACnB,SAAS,EAAE,IAAI,CAAC,WAAW,CAAC,SAAS;4BACnC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,GAAG,CAAC;4BAC/C,CAAC,CAAC,SAAS;wBACb,IAAI,EAAE,mBAAmB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC;qBACtD;oBACH,CAAC,CAAC,SAAS;gBACb,YAAY,EAAE,IAAI,CAAC,YAAY;oBAC7B,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC;oBAC7C,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO,mBAAmB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAExC,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;gBACnE,aAAa,EAAE,IAAI,CAAC,aAAa;oBAC/B,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC;oBACvC,CAAC,CAAC,SAAS;gBACb,YAAY,EAAE,IAAI,CAAC,YAAY;oBAC7B,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC;oBACnC,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,0BAA0B;YAC7B,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;oBACvC,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,gBAAgB,CAAC;QACtB,KAAK,mBAAmB,CAAC;QACzB,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC"}

package/dist/ir/validation/anon-type-lower-types.d.ts

@@ -0,0 +1,60 @@
+/**
+ * Anonymous Type Lower Types
+ *
+ * Core type, parameter, type-parameter, interface-member, and pattern
+ * lowering functions. These replace IrObjectType nodes with IrReferenceType
+ * nodes in type positions throughout the IR tree.
+ *
+ * Note: This module and anon-type-ir-rewriting.ts form a mutual recursion
+ * group (e.g. lowerParameter -> lowerExpression -> lowerBlockStatement ->
+ * lowerStatement -> lowerExpression). The circular import is safe because
+ * all exports are const arrow functions that are not invoked at import time.
+ */
+import type { IrType, IrParameter, IrTypeParameter, IrInterfaceMember, IrPattern, IrReferenceType, IrClassDeclaration } from "../types.js";
+/**
+ * Context for tracking state during lowering
+ */
+export type LoweringContext = {
+    /** Generated class declarations (shared across modules) */
+    readonly generatedDeclarations: IrClassDeclaration[];
+    /** Map from shape signature to generated type name for deduplication (shared across modules) */
+    readonly shapeToName: Map<string, string>;
+    /** Existing reusable structural reference types available across the compilation, keyed by shape signature. */
+    readonly shapeToExistingReference: Map<string, IrReferenceType>;
+    /** Local named type declarations in the current module, keyed by authored type name. */
+    readonly localDeclaredTypeReferences: ReadonlyMap<string, IrReferenceType>;
+    /** Module file path for unique naming */
+    readonly moduleFilePath: string;
+    /** Type names already declared in the compilation (avoid collisions) */
+    readonly existingTypeNames: ReadonlySet<string>;
+    /** Current function's lowered return type (for propagating to return statements) */
+    readonly currentFunctionReturnType?: IrType;
+    /** Cycle-safe cache for lowering recursive type graphs by identity. */
+    readonly loweredTypeByIdentity: WeakMap<object, IrType>;
+    /** Cycle-safe cache for lowering reference types across cloned nodes. */
+    readonly loweredReferenceByStableKey: Map<string, IrReferenceType>;
+};
+/**
+ * Lower a type, replacing objectType with referenceType
+ */
+export declare const lowerType: (type: IrType, ctx: LoweringContext, _nameHint?: string) => IrType;
+/**
+ * Lower a parameter
+ */
+export declare const lowerParameter: (param: IrParameter, ctx: LoweringContext) => IrParameter;
+/**
+ * Lower a type parameter
+ */
+export declare const lowerTypeParameter: (tp: IrTypeParameter, ctx: LoweringContext) => IrTypeParameter;
+/**
+ * Lower an interface member
+ *
+ * IMPORTANT: We MUST lower objectType in all type positions before the emitter.
+ * The emitter is not allowed to see IrObjectType nodes (soundness gate enforces this).
+ */
+export declare const lowerInterfaceMember: (member: IrInterfaceMember, ctx: LoweringContext) => IrInterfaceMember;
+/**
+ * Lower a pattern
+ */
+export declare const lowerPattern: (pattern: IrPattern, ctx: LoweringContext) => IrPattern;
+//# sourceMappingURL=anon-type-lower-types.d.ts.map

package/dist/ir/validation/anon-type-lower-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"anon-type-lower-types.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/anon-type-lower-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EACV,MAAM,EACN,WAAW,EACX,eAAe,EACf,iBAAiB,EACjB,SAAS,EAET,eAAe,EACf,kBAAkB,EACnB,MAAM,aAAa,CAAC;AAwCrB;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,2DAA2D;IAC3D,QAAQ,CAAC,qBAAqB,EAAE,kBAAkB,EAAE,CAAC;IACrD,gGAAgG;IAChG,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1C,+GAA+G;IAC/G,QAAQ,CAAC,wBAAwB,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAChE,wFAAwF;IACxF,QAAQ,CAAC,2BAA2B,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC3E,yCAAyC;IACzC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,wEAAwE;IACxE,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAChD,oFAAoF;IACpF,QAAQ,CAAC,yBAAyB,CAAC,EAAE,MAAM,CAAC;IAC5C,uEAAuE;IACvE,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACxD,yEAAyE;IACzE,QAAQ,CAAC,2BAA2B,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpE,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,SAAS,GACpB,MAAM,MAAM,EACZ,KAAK,eAAe,EACpB,YAAY,MAAM,KACjB,MA+LF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,cAAc,GACzB,OAAO,WAAW,EAClB,KAAK,eAAe,KACnB,WASF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,IAAI,eAAe,EACnB,KAAK,eAAe,KACnB,eASF,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,GAC/B,QAAQ,iBAAiB,EACzB,KAAK,eAAe,KACnB,iBAoBF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,YAAY,GACvB,SAAS,SAAS,EAClB,KAAK,eAAe,KACnB,SA2CF,CAAC"}

package/dist/ir/validation/anon-type-lower-types.js

@@ -0,0 +1,287 @@
+/**
+ * Anonymous Type Lower Types
+ *
+ * Core type, parameter, type-parameter, interface-member, and pattern
+ * lowering functions. These replace IrObjectType nodes with IrReferenceType
+ * nodes in type positions throughout the IR tree.
+ *
+ * Note: This module and anon-type-ir-rewriting.ts form a mutual recursion
+ * group (e.g. lowerParameter -> lowerExpression -> lowerBlockStatement ->
+ * lowerStatement -> lowerExpression). The circular import is safe because
+ * all exports are const arrow functions that are not invoked at import time.
+ */
+import { getReferenceLoweringStableKey } from "./anon-type-shape-analysis.js";
+import { getOrCreateObjectTypeReference } from "./anon-type-declaration-synthesis.js";
+// Circular import: lowerParameter/lowerPattern call lowerExpression.
+// Safe because all exports are const arrow functions (no top-level execution).
+import { lowerExpression } from "./anon-type-ir-rewriting.js";
+const canonicalClrNameFromReference = (type) => type?.resolvedClrType ?? type?.typeId?.clrName;
+const enrichReferenceIdentityMetadata = (reference, source, localDeclaredReference) => {
+    const resolvedClrType = reference.resolvedClrType ??
+        canonicalClrNameFromReference(source) ??
+        canonicalClrNameFromReference(localDeclaredReference);
+    const typeId = reference.typeId ?? source.typeId ?? localDeclaredReference?.typeId;
+    if (reference.resolvedClrType === resolvedClrType &&
+        reference.typeId === typeId) {
+        return reference;
+    }
+    return {
+        ...reference,
+        ...(resolvedClrType !== undefined ? { resolvedClrType } : {}),
+        ...(typeId !== undefined ? { typeId } : {}),
+    };
+};
+/**
+ * Lower a type, replacing objectType with referenceType
+ */
+export const lowerType = (type, ctx, _nameHint) => {
+    switch (type.kind) {
+        case "objectType": {
+            // First, recursively lower any nested object types in members
+            const loweredMembers = type.members.map((m) => {
+                if (m.kind === "propertySignature") {
+                    return {
+                        ...m,
+                        type: lowerType(m.type, ctx, m.name),
+                    };
+                }
+                else if (m.kind === "methodSignature") {
+                    return {
+                        ...m,
+                        parameters: m.parameters.map((p) => lowerParameter(p, ctx)),
+                        returnType: m.returnType ? lowerType(m.returnType, ctx) : undefined,
+                    };
+                }
+                return m;
+            });
+            const loweredObjectType = {
+                ...type,
+                members: loweredMembers,
+            };
+            return getOrCreateObjectTypeReference(loweredObjectType, ctx);
+        }
+        case "arrayType":
+            return (() => {
+                const cached = ctx.loweredTypeByIdentity.get(type);
+                if (cached)
+                    return cached;
+                const loweredArray = {
+                    ...type,
+                };
+                ctx.loweredTypeByIdentity.set(type, loweredArray);
+                loweredArray.elementType = lowerType(type.elementType, ctx);
+                return loweredArray;
+            })();
+        case "tupleType":
+            return (() => {
+                const cached = ctx.loweredTypeByIdentity.get(type);
+                if (cached)
+                    return cached;
+                const loweredTuple = {
+                    ...type,
+                };
+                ctx.loweredTypeByIdentity.set(type, loweredTuple);
+                loweredTuple.elementTypes = type.elementTypes.map((et) => lowerType(et, ctx));
+                return loweredTuple;
+            })();
+        case "functionType":
+            return (() => {
+                const cached = ctx.loweredTypeByIdentity.get(type);
+                if (cached)
+                    return cached;
+                const loweredFunction = {
+                    ...type,
+                };
+                ctx.loweredTypeByIdentity.set(type, loweredFunction);
+                loweredFunction.parameters = type.parameters.map((p) => lowerParameter(p, ctx));
+                loweredFunction.returnType = lowerType(type.returnType, ctx);
+                return loweredFunction;
+            })();
+        case "unionType":
+            return (() => {
+                const cached = ctx.loweredTypeByIdentity.get(type);
+                if (cached)
+                    return cached;
+                const loweredUnion = {
+                    ...type,
+                };
+                ctx.loweredTypeByIdentity.set(type, loweredUnion);
+                loweredUnion.types = type.types.map((t) => lowerType(t, ctx));
+                return loweredUnion;
+            })();
+        case "intersectionType":
+            return (() => {
+                const cached = ctx.loweredTypeByIdentity.get(type);
+                if (cached)
+                    return cached;
+                const loweredIntersection = {
+                    ...type,
+                };
+                ctx.loweredTypeByIdentity.set(type, loweredIntersection);
+                loweredIntersection.types = type.types.map((t) => lowerType(t, ctx));
+                return loweredIntersection;
+            })();
+        case "dictionaryType":
+            return (() => {
+                const cached = ctx.loweredTypeByIdentity.get(type);
+                if (cached)
+                    return cached;
+                const loweredDictionary = {
+                    ...type,
+                };
+                ctx.loweredTypeByIdentity.set(type, loweredDictionary);
+                loweredDictionary.keyType = lowerType(type.keyType, ctx);
+                loweredDictionary.valueType = lowerType(type.valueType, ctx);
+                return loweredDictionary;
+            })();
+        case "referenceType": {
+            const localDeclaredReference = type.resolvedClrType === undefined
+                ? ctx.localDeclaredTypeReferences.get(type.name)
+                : undefined;
+            const cachedByIdentity = ctx.loweredTypeByIdentity.get(type);
+            if (cachedByIdentity) {
+                return cachedByIdentity;
+            }
+            const stableKey = getReferenceLoweringStableKey(type);
+            if (stableKey) {
+                const cachedByStableKey = ctx.loweredReferenceByStableKey.get(stableKey);
+                if (cachedByStableKey) {
+                    const enrichedCachedReference = enrichReferenceIdentityMetadata(cachedByStableKey, type, localDeclaredReference);
+                    ctx.loweredTypeByIdentity.set(type, enrichedCachedReference);
+                    if (enrichedCachedReference !== cachedByStableKey) {
+                        ctx.loweredReferenceByStableKey.set(stableKey, enrichedCachedReference);
+                    }
+                    return enrichedCachedReference;
+                }
+            }
+            // Lower both typeArguments and structuralMembers
+            const typeArgs = type.typeArguments;
+            const structuralMembers = type.structuralMembers;
+            const hasTypeArgs = typeArgs !== undefined && typeArgs.length > 0;
+            const hasStructuralMembers = structuralMembers !== undefined && structuralMembers.length > 0;
+            if (!hasTypeArgs && !hasStructuralMembers && !localDeclaredReference) {
+                return type;
+            }
+            const loweredReference = {
+                ...type,
+                typeArguments: hasTypeArgs
+                    ? typeArgs.map((ta) => lowerType(ta, ctx))
+                    : undefined,
+            };
+            const enrichedLoweredReference = enrichReferenceIdentityMetadata(loweredReference, type, localDeclaredReference);
+            ctx.loweredTypeByIdentity.set(type, enrichedLoweredReference);
+            if (stableKey) {
+                ctx.loweredReferenceByStableKey.set(stableKey, enrichedLoweredReference);
+            }
+            if (hasStructuralMembers) {
+                enrichedLoweredReference.structuralMembers = structuralMembers.map((m) => lowerInterfaceMember(m, ctx));
+            }
+            return enrichedLoweredReference;
+        }
+        // These types don't contain nested types
+        case "primitiveType":
+        case "literalType":
+        case "typeParameterType":
+        case "voidType":
+        case "anyType":
+        case "unknownType":
+        case "neverType":
+            return type;
+    }
+};
+/**
+ * Lower a parameter
+ */
+export const lowerParameter = (param, ctx) => {
+    return {
+        ...param,
+        type: param.type ? lowerType(param.type, ctx) : undefined,
+        pattern: lowerPattern(param.pattern, ctx),
+        initializer: param.initializer
+            ? lowerExpression(param.initializer, ctx)
+            : undefined,
+    };
+};
+/**
+ * Lower a type parameter
+ */
+export const lowerTypeParameter = (tp, ctx) => {
+    return {
+        ...tp,
+        constraint: tp.constraint ? lowerType(tp.constraint, ctx) : undefined,
+        default: tp.default ? lowerType(tp.default, ctx) : undefined,
+        structuralMembers: tp.structuralMembers?.map((m) => lowerInterfaceMember(m, ctx)),
+    };
+};
+/**
+ * Lower an interface member
+ *
+ * IMPORTANT: We MUST lower objectType in all type positions before the emitter.
+ * The emitter is not allowed to see IrObjectType nodes (soundness gate enforces this).
+ */
+export const lowerInterfaceMember = (member, ctx) => {
+    switch (member.kind) {
+        case "propertySignature": {
+            return {
+                ...member,
+                type: lowerType(member.type, ctx, member.name),
+            };
+        }
+        case "methodSignature":
+            return {
+                ...member,
+                typeParameters: member.typeParameters?.map((tp) => lowerTypeParameter(tp, ctx)),
+                parameters: member.parameters.map((p) => lowerParameter(p, ctx)),
+                returnType: member.returnType
+                    ? lowerType(member.returnType, ctx)
+                    : undefined,
+            };
+    }
+};
+/**
+ * Lower a pattern
+ */
+export const lowerPattern = (pattern, ctx) => {
+    switch (pattern.kind) {
+        case "identifierPattern":
+            return {
+                ...pattern,
+                type: pattern.type ? lowerType(pattern.type, ctx) : undefined,
+            };
+        case "arrayPattern":
+            return {
+                ...pattern,
+                elements: pattern.elements.map((e) => e
+                    ? {
+                        ...e,
+                        pattern: lowerPattern(e.pattern, ctx),
+                        defaultExpr: e.defaultExpr
+                            ? lowerExpression(e.defaultExpr, ctx)
+                            : undefined,
+                    }
+                    : undefined),
+            };
+        case "objectPattern":
+            return {
+                ...pattern,
+                properties: pattern.properties.map((p) => {
+                    if (p.kind === "property") {
+                        return {
+                            ...p,
+                            value: lowerPattern(p.value, ctx),
+                            defaultExpr: p.defaultExpr
+                                ? lowerExpression(p.defaultExpr, ctx)
+                                : undefined,
+                        };
+                    }
+                    else {
+                        return {
+                            ...p,
+                            pattern: lowerPattern(p.pattern, ctx),
+                        };
+                    }
+                }),
+            };
+    }
+};
+//# sourceMappingURL=anon-type-lower-types.js.map

package/dist/ir/validation/anon-type-lower-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"anon-type-lower-types.js","sourceRoot":"","sources":["../../../src/ir/validation/anon-type-lower-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAaH,OAAO,EAAE,6BAA6B,EAAE,MAAM,+BAA+B,CAAC;AAE9E,OAAO,EAAE,8BAA8B,EAAE,MAAM,sCAAsC,CAAC;AAEtF,qEAAqE;AACrE,+EAA+E;AAC/E,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAE9D,MAAM,6BAA6B,GAAG,CACpC,IAAiC,EACb,EAAE,CAAC,IAAI,EAAE,eAAe,IAAI,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC;AAExE,MAAM,+BAA+B,GAAG,CACtC,SAA0B,EAC1B,MAAuB,EACvB,sBAAmD,EAClC,EAAE;IACnB,MAAM,eAAe,GACnB,SAAS,CAAC,eAAe;QACzB,6BAA6B,CAAC,MAAM,CAAC;QACrC,6BAA6B,CAAC,sBAAsB,CAAC,CAAC;IACxD,MAAM,MAAM,GACV,SAAS,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,IAAI,sBAAsB,EAAE,MAAM,CAAC;IAEtE,IACE,SAAS,CAAC,eAAe,KAAK,eAAe;QAC7C,SAAS,CAAC,MAAM,KAAK,MAAM,EAC3B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,GAAG,SAAS;QACZ,GAAG,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7D,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5C,CAAC;AACJ,CAAC,CAAC;AA0BF;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,IAAY,EACZ,GAAoB,EACpB,SAAkB,EACV,EAAE;IACV,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,8DAA8D;YAC9D,MAAM,cAAc,GAAwB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACjE,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACnC,OAAO;wBACL,GAAG,CAAC;wBACJ,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC;qBACrC,CAAC;gBACJ,CAAC;qBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;oBACxC,OAAO;wBACL,GAAG,CAAC;wBACJ,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;wBAC3D,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;qBACpE,CAAC;gBACJ,CAAC;gBACD,OAAO,CAAC,CAAC;YACX,CAAC,CAAC,CAAC;YAEH,MAAM,iBAAiB,GAAiB;gBACtC,GAAG,IAAI;gBACP,OAAO,EAAE,cAAc;aACxB,CAAC;YAEF,OAAO,8BAA8B,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC;QAChE,CAAC;QAED,KAAK,WAAW;YACd,OAAO,CAAC,GAAG,EAAE;gBACX,MAAM,MAAM,GAAG,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACnD,IAAI,MAAM;oBAAE,OAAO,MAAM,CAAC;gBAC1B,MAAM,YAAY,GAAG;oBACnB,GAAG,IAAI;iBAC4B,CAAC;gBACtC,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;gBAClD,YAAY,CAAC,WAAW,GAAG,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;gBAC5D,OAAO,YAAY,CAAC;YACtB,CAAC,CAAC,EAAE,CAAC;QAEP,KAAK,WAAW;YACd,OAAO,CAAC,GAAG,EAAE;gBACX,MAAM,MAAM,GAAG,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACnD,IAAI,MAAM;oBAAE,OAAO,MAAM,CAAC;gBAC1B,MAAM,YAAY,GAAG;oBACnB,GAAG,IAAI;iBAC+B,CAAC;gBACzC,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;gBAClD,YAAY,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACvD,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC,CACnB,CAAC;gBACF,OAAO,YAAY,CAAC;YACtB,CAAC,CAAC,EAAE,CAAC;QAEP,KAAK,cAAc;YACjB,OAAO,CAAC,GAAG,EAAE;gBACX,MAAM,MAAM,GAAG,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACnD,IAAI,MAAM;oBAAE,OAAO,MAAM,CAAC;gBAC1B,MAAM,eAAe,GAAG;oBACtB,GAAG,IAAI;iBAIR,CAAC;gBACF,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;gBACrD,eAAe,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACrD,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,CACvB,CAAC;gBACF,eAAe,CAAC,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBAC7D,OAAO,eAAe,CAAC;YACzB,CAAC,CAAC,EAAE,CAAC;QAEP,KAAK,WAAW;YACd,OAAO,CAAC,GAAG,EAAE;gBACX,MAAM,MAAM,GAAG,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACnD,IAAI,MAAM;oBAAE,OAAO,MAAM,CAAC;gBAC1B,MAAM,YAAY,GAAG;oBACnB,GAAG,IAAI;iBACwB,CAAC;gBAClC,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;gBAClD,YAAY,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;gBAC9D,OAAO,YAAY,CAAC;YACtB,CAAC,CAAC,EAAE,CAAC;QAEP,KAAK,kBAAkB;YACrB,OAAO,CAAC,GAAG,EAAE;gBACX,MAAM,MAAM,GAAG,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACnD,IAAI,MAAM;oBAAE,OAAO,MAAM,CAAC;gBAC1B,MAAM,mBAAmB,GAAG;oBAC1B,GAAG,IAAI;iBACwB,CAAC;gBAClC,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;gBACzD,mBAAmB,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;gBACrE,OAAO,mBAAmB,CAAC;YAC7B,CAAC,CAAC,EAAE,CAAC;QAEP,KAAK,gBAAgB;YACnB,OAAO,CAAC,GAAG,EAAE;gBACX,MAAM,MAAM,GAAG,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACnD,IAAI,MAAM;oBAAE,OAAO,MAAM,CAAC;gBAC1B,MAAM,iBAAiB,GAAG;oBACxB,GAAG,IAAI;iBAC2C,CAAC;gBACrD,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;gBACvD,iBAAiB,CAAC,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;gBACzD,iBAAiB,CAAC,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;gBAC7D,OAAO,iBAAiB,CAAC;YAC3B,CAAC,CAAC,EAAE,CAAC;QAEP,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,sBAAsB,GAC1B,IAAI,CAAC,eAAe,KAAK,SAAS;gBAChC,CAAC,CAAC,GAAG,CAAC,2BAA2B,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAChD,CAAC,CAAC,SAAS,CAAC;YAChB,MAAM,gBAAgB,GAAG,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC7D,IAAI,gBAAgB,EAAE,CAAC;gBACrB,OAAO,gBAAgB,CAAC;YAC1B,CAAC;YAED,MAAM,SAAS,GAAG,6BAA6B,CAAC,IAAI,CAAC,CAAC;YACtD,IAAI,SAAS,EAAE,CAAC;gBACd,MAAM,iBAAiB,GACrB,GAAG,CAAC,2BAA2B,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBACjD,IAAI,iBAAiB,EAAE,CAAC;oBACtB,MAAM,uBAAuB,GAAG,+BAA+B,CAC7D,iBAAiB,EACjB,IAAI,EACJ,sBAAsB,CACvB,CAAC;oBACF,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC;oBAC7D,IAAI,uBAAuB,KAAK,iBAAiB,EAAE,CAAC;wBAClD,GAAG,CAAC,2BAA2B,CAAC,GAAG,CACjC,SAAS,EACT,uBAAuB,CACxB,CAAC;oBACJ,CAAC;oBACD,OAAO,uBAAuB,CAAC;gBACjC,CAAC;YACH,CAAC;YAED,iDAAiD;YACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC;YACpC,MAAM,iBAAiB,GAAG,IAAI,CAAC,iBAAiB,CAAC;YACjD,MAAM,WAAW,GAAG,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;YAClE,MAAM,oBAAoB,GACxB,iBAAiB,KAAK,SAAS,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC;YAElE,IAAI,CAAC,WAAW,IAAI,CAAC,oBAAoB,IAAI,CAAC,sBAAsB,EAAE,CAAC;gBACrE,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,gBAAgB,GAAoB;gBACxC,GAAG,IAAI;gBACP,aAAa,EAAE,WAAW;oBACxB,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;oBAC1C,CAAC,CAAC,SAAS;aACd,CAAC;YACF,MAAM,wBAAwB,GAAG,+BAA+B,CAC9D,gBAAgB,EAChB,IAAI,EACJ,sBAAsB,CACvB,CAAC;YAEF,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;YAC9D,IAAI,SAAS,EAAE,CAAC;gBACd,GAAG,CAAC,2BAA2B,CAAC,GAAG,CAAC,SAAS,EAAE,wBAAwB,CAAC,CAAC;YAC3E,CAAC;YAED,IAAI,oBAAoB,EAAE,CAAC;gBAEvB,wBAGD,CAAC,iBAAiB,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAChD,oBAAoB,CAAC,CAAC,EAAE,GAAG,CAAC,CAC7B,CAAC;YACJ,CAAC;YAED,OAAO,wBAAwB,CAAC;QAClC,CAAC;QAED,yCAAyC;QACzC,KAAK,eAAe,CAAC;QACrB,KAAK,aAAa,CAAC;QACnB,KAAK,mBAAmB,CAAC;QACzB,KAAK,UAAU,CAAC;QAChB,KAAK,SAAS,CAAC;QACf,KAAK,aAAa,CAAC;QACnB,KAAK,WAAW;YACd,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,KAAkB,EAClB,GAAoB,EACP,EAAE;IACf,OAAO;QACL,GAAG,KAAK;QACR,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;QACzD,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC;QACzC,WAAW,EAAE,KAAK,CAAC,WAAW;YAC5B,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,CAAC;YACzC,CAAC,CAAC,SAAS;KACd,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,EAAmB,EACnB,GAAoB,EACH,EAAE;IACnB,OAAO;QACL,GAAG,EAAE;QACL,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;QACrE,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;QAC5D,iBAAiB,EAAE,EAAE,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACjD,oBAAoB,CAAC,CAAC,EAAE,GAAG,CAAC,CAC7B;KACF,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,MAAyB,EACzB,GAAoB,EACD,EAAE;IACrB,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,OAAO;gBACL,GAAG,MAAM;gBACT,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC;aAC/C,CAAC;QACJ,CAAC;QACD,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,MAAM;gBACT,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAChD,kBAAkB,CAAC,EAAE,EAAE,GAAG,CAAC,CAC5B;gBACD,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBAChE,UAAU,EAAE,MAAM,CAAC,UAAU;oBAC3B,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC;oBACnC,CAAC,CAAC,SAAS;aACd,CAAC;IACN,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,OAAkB,EAClB,GAAoB,EACT,EAAE;IACb,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,mBAAmB;YACtB,OAAO;gBACL,GAAG,OAAO;gBACV,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;aAC9D,CAAC;QACJ,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,OAAO;gBACV,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACnC,CAAC;oBACC,CAAC,CAAC;wBACE,GAAG,CAAC;wBACJ,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC;wBACrC,WAAW,EAAE,CAAC,CAAC,WAAW;4BACxB,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC;4BACrC,CAAC,CAAC,SAAS;qBACd;oBACH,CAAC,CAAC,SAAS,CACd;aACF,CAAC;QACJ,KAAK,eAAe;YAClB,OAAO;gBACL,GAAG,OAAO;gBACV,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBACvC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;wBAC1B,OAAO;4BACL,GAAG,CAAC;4BACJ,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC;4BACjC,WAAW,EAAE,CAAC,CAAC,WAAW;gCACxB,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC;gCACrC,CAAC,CAAC,SAAS;yBACd,CAAC;oBACJ,CAAC;yBAAM,CAAC;wBACN,OAAO;4BACL,GAAG,CAAC;4BACJ,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC;yBACtC,CAAC;oBACJ,CAAC;gBACH,CAAC,CAAC;aACH,CAAC;IACN,CAAC;AACH,CAAC,CAAC"}