@tsonic/emitter 0.0.73 → 0.0.75

package/dist/core/module-emitter.test.js

@@ -1,403 +1,3 @@
-/**
- * Tests for Module Generation
- * Tests emission of static containers and regular classes
- */
-import { describe, it } from "mocha";
-import { expect } from "chai";
-import { emitCSharpFiles, emitModule } from "../emitter.js";
-describe("Module Generation", () => {
-    it("should emit a static container class", () => {
-        const module = {
-            kind: "module",
-            filePath: "/src/math.ts",
-            namespace: "MyApp",
-            className: "Math",
-            isStaticContainer: true,
-            imports: [],
-            body: [
-                {
-                    kind: "variableDeclaration",
-                    declarationKind: "const",
-                    declarations: [
-                        {
-                            kind: "variableDeclarator",
-                            name: { kind: "identifierPattern", name: "PI" },
-                            initializer: { kind: "literal", value: 3.14159 },
-                        },
-                    ],
-                    isExported: true,
-                },
-                {
-                    kind: "functionDeclaration",
-                    name: "add",
-                    parameters: [
-                        {
-                            kind: "parameter",
-                            pattern: { kind: "identifierPattern", name: "a" },
-                            type: { kind: "primitiveType", name: "number" },
-                            isOptional: false,
-                            isRest: false,
-                            passing: "value",
-                        },
-                        {
-                            kind: "parameter",
-                            pattern: { kind: "identifierPattern", name: "b" },
-                            type: { kind: "primitiveType", name: "number" },
-                            isOptional: false,
-                            isRest: false,
-                            passing: "value",
-                        },
-                    ],
-                    returnType: { kind: "primitiveType", name: "number" },
-                    body: {
-                        kind: "blockStatement",
-                        statements: [
-                            {
-                                kind: "returnStatement",
-                                expression: {
-                                    kind: "binary",
-                                    operator: "+",
-                                    left: { kind: "identifier", name: "a" },
-                                    right: { kind: "identifier", name: "b" },
-                                },
-                            },
-                        ],
-                    },
-                    isExported: true,
-                    isAsync: false,
-                    isGenerator: false,
-                },
-            ],
-            exports: [],
-        };
-        const result = emitModule(module);
-        expect(result).to.include("[global::Tsonic.Internal.ModuleContainerAttribute]");
-        expect(result).to.include("public static class Math");
-        // Static fields cannot use 'var' in C#; type is inferred from literal
-        expect(result).to.include("public static readonly double PI = 3.14159");
-        expect(result).to.include("public static double add(double a, double b)");
-        expect(result).to.include("return a + b");
-        expect(result).to.include("namespace MyApp");
-    });
-    it("should emit the module container marker attribute file when needed", () => {
-        const module = {
-            kind: "module",
-            filePath: "/src/math.ts",
-            namespace: "MyApp",
-            className: "Math",
-            isStaticContainer: true,
-            imports: [],
-            body: [
-                {
-                    kind: "functionDeclaration",
-                    name: "add",
-                    parameters: [
-                        {
-                            kind: "parameter",
-                            pattern: { kind: "identifierPattern", name: "a" },
-                            type: { kind: "primitiveType", name: "number" },
-                            isOptional: false,
-                            isRest: false,
-                            passing: "value",
-                        },
-                        {
-                            kind: "parameter",
-                            pattern: { kind: "identifierPattern", name: "b" },
-                            type: { kind: "primitiveType", name: "number" },
-                            isOptional: false,
-                            isRest: false,
-                            passing: "value",
-                        },
-                    ],
-                    returnType: { kind: "primitiveType", name: "number" },
-                    body: {
-                        kind: "blockStatement",
-                        statements: [
-                            {
-                                kind: "returnStatement",
-                                expression: {
-                                    kind: "binary",
-                                    operator: "+",
-                                    left: { kind: "identifier", name: "a" },
-                                    right: { kind: "identifier", name: "b" },
-                                },
-                            },
-                        ],
-                    },
-                    isExported: true,
-                    isAsync: false,
-                    isGenerator: false,
-                },
-            ],
-            exports: [],
-        };
-        const result = emitCSharpFiles([module], { rootNamespace: "MyApp" });
-        expect(result.ok).to.equal(true);
-        if (!result.ok)
-            return;
-        const marker = result.files.get("__tsonic_module_containers.g.cs");
-        expect(marker).to.not.equal(undefined);
-        expect(marker).to.include("namespace Tsonic.Internal");
-        expect(marker).to.include("ModuleContainerAttribute");
-    });
-    it("does not emit readonly for mutable top-level array const bindings", () => {
-        const module = {
-            kind: "module",
-            filePath: "/src/store.ts",
-            namespace: "MyApp",
-            className: "Store",
-            isStaticContainer: true,
-            imports: [],
-            body: [
-                {
-                    kind: "variableDeclaration",
-                    declarationKind: "const",
-                    declarations: [
-                        {
-                            kind: "variableDeclarator",
-                            name: { kind: "identifierPattern", name: "items" },
-                            type: {
-                                kind: "arrayType",
-                                elementType: { kind: "primitiveType", name: "string" },
-                            },
-                            initializer: { kind: "array", elements: [] },
-                        },
-                    ],
-                    isExported: false,
-                },
-                {
-                    kind: "functionDeclaration",
-                    name: "addItem",
-                    parameters: [],
-                    returnType: { kind: "voidType" },
-                    body: {
-                        kind: "blockStatement",
-                        statements: [
-                            {
-                                kind: "expressionStatement",
-                                expression: {
-                                    kind: "call",
-                                    callee: {
-                                        kind: "memberAccess",
-                                        object: {
-                                            kind: "identifier",
-                                            name: "items",
-                                            inferredType: {
-                                                kind: "arrayType",
-                                                elementType: { kind: "primitiveType", name: "string" },
-                                            },
-                                        },
-                                        property: "push",
-                                        isComputed: false,
-                                        isOptional: false,
-                                        inferredType: {
-                                            kind: "functionType",
-                                            parameters: [
-                                                {
-                                                    kind: "parameter",
-                                                    pattern: {
-                                                        kind: "identifierPattern",
-                                                        name: "item",
-                                                    },
-                                                    type: {
-                                                        kind: "primitiveType",
-                                                        name: "string",
-                                                    },
-                                                    isOptional: false,
-                                                    isRest: false,
-                                                    passing: "value",
-                                                },
-                                            ],
-                                            returnType: { kind: "primitiveType", name: "number" },
-                                        },
-                                        memberBinding: {
-                                            kind: "method",
-                                            assembly: "Tsonic.JSRuntime",
-                                            type: "Tsonic.JSRuntime.JSArray",
-                                            member: "push",
-                                        },
-                                    },
-                                    arguments: [{ kind: "literal", value: "value" }],
-                                    isOptional: false,
-                                },
-                            },
-                        ],
-                    },
-                    isExported: false,
-                    isAsync: false,
-                    isGenerator: false,
-                },
-            ],
-            exports: [],
-        };
-        const result = emitModule(module);
-        expect(result).to.include("internal static string[] items");
-        expect(result).to.not.include("internal static readonly string[] items");
-    });
-    it("keeps readonly for non-mutated top-level array const bindings", () => {
-        const module = {
-            kind: "module",
-            filePath: "/src/store.ts",
-            namespace: "MyApp",
-            className: "Store",
-            isStaticContainer: true,
-            imports: [],
-            body: [
-                {
-                    kind: "variableDeclaration",
-                    declarationKind: "const",
-                    declarations: [
-                        {
-                            kind: "variableDeclarator",
-                            name: { kind: "identifierPattern", name: "items" },
-                            type: {
-                                kind: "arrayType",
-                                elementType: { kind: "primitiveType", name: "string" },
-                            },
-                            initializer: { kind: "array", elements: [] },
-                        },
-                    ],
-                    isExported: false,
-                },
-            ],
-            exports: [],
-        };
-        const result = emitModule(module);
-        expect(result).to.include("internal static readonly string[] items");
-    });
-    it("should emit a regular class", () => {
-        const module = {
-            kind: "module",
-            filePath: "/src/User.ts",
-            namespace: "MyApp",
-            className: "User",
-            isStaticContainer: false,
-            imports: [],
-            body: [
-                {
-                    kind: "classDeclaration",
-                    name: "User",
-                    members: [
-                        {
-                            kind: "propertyDeclaration",
-                            name: "name",
-                            type: { kind: "primitiveType", name: "string" },
-                            accessibility: "public",
-                            isStatic: false,
-                            isReadonly: false,
-                        },
-                        {
-                            kind: "methodDeclaration",
-                            name: "greet",
-                            parameters: [],
-                            returnType: { kind: "primitiveType", name: "string" },
-                            body: {
-                                kind: "blockStatement",
-                                statements: [
-                                    {
-                                        kind: "returnStatement",
-                                        expression: {
-                                            kind: "templateLiteral",
-                                            quasis: ["Hello, I'm ", ""],
-                                            expressions: [
-                                                {
-                                                    kind: "memberAccess",
-                                                    object: { kind: "this" },
-                                                    property: "name",
-                                                    isComputed: false,
-                                                    isOptional: false,
-                                                },
-                                            ],
-                                        },
-                                    },
-                                ],
-                            },
-                            accessibility: "public",
-                            isStatic: false,
-                            isAsync: false,
-                            isGenerator: false,
-                        },
-                    ],
-                    isStruct: false,
-                    isExported: true,
-                    implements: [],
-                },
-            ],
-            exports: [],
-        };
-        const result = emitModule(module);
-        expect(result).to.include("public class User");
-        expect(result).to.include("public string name { get; set; }");
-        expect(result).to.include("public string greet()");
-        expect(result).to.include('$"Hello, I\'m {this.name}"');
-    });
-    it("should bind CLR flattened value imports to declaring type members", () => {
-        const module = {
-            kind: "module",
-            filePath: "/src/index.ts",
-            namespace: "MyApp",
-            className: "index",
-            isStaticContainer: true,
-            imports: [
-                {
-                    kind: "import",
-                    source: "@fixture/lib/Lib.js",
-                    isLocal: false,
-                    isClr: true,
-                    resolvedNamespace: "Lib",
-                    specifiers: [
-                        {
-                            kind: "named",
-                            name: "buildSite",
-                            localName: "buildSite",
-                            isType: false,
-                            resolvedClrValue: {
-                                declaringClrType: "Lib.BuildSite",
-                                declaringAssemblyName: "Lib",
-                                memberName: "buildSite",
-                            },
-                        },
-                    ],
-                },
-            ],
-            body: [
-                {
-                    kind: "functionDeclaration",
-                    name: "main",
-                    parameters: [],
-                    returnType: { kind: "primitiveType", name: "number" },
-                    body: {
-                        kind: "blockStatement",
-                        statements: [
-                            {
-                                kind: "returnStatement",
-                                expression: {
-                                    kind: "call",
-                                    callee: { kind: "identifier", name: "buildSite" },
-                                    arguments: [{ kind: "literal", value: 1 }],
-                                    isOptional: false,
-                                    typeArguments: [],
-                                    inferredType: { kind: "primitiveType", name: "number" },
-                                },
-                            },
-                        ],
-                    },
-                    isExported: true,
-                    isAsync: false,
-                    isGenerator: false,
-                },
-            ],
-            exports: [
-                {
-                    kind: "named",
-                    name: "main",
-                    localName: "main",
-                },
-            ],
-        };
-        const result = emitModule(module);
-        expect(result).to.include("global::Lib.BuildSite.buildSite(1)");
-        expect(result).to.not.include("global::Lib.buildSite");
-    });
-});
+import "./module-emitter-cases/static-containers.test.js";
+import "./module-emitter-cases/class-and-recursion.test.js";
 //# sourceMappingURL=module-emitter.test.js.map

package/dist/core/module-emitter.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"module-emitter.test.js","sourceRoot":"","sources":["../../src/core/module-emitter.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAG5D,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,eAAe,EAAE,OAAO;oBACxB,YAAY,EAAE;wBACZ;4BACE,IAAI,EAAE,oBAAoB;4BAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,IAAI,EAAE;4BAC/C,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE;yBACjD;qBACF;oBACD,UAAU,EAAE,IAAI;iBACjB;gBACD;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,KAAK;oBACX,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;4BACjD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;wBACD;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;4BACjD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACrD,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,iBAAiB;gCACvB,UAAU,EAAE;oCACV,IAAI,EAAE,QAAQ;oCACd,QAAQ,EAAE,GAAG;oCACb,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE;oCACvC,KAAK,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE;iCACzC;6BACF;yBACF;qBACF;oBACD,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CACvB,oDAAoD,CACrD,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;QACtD,sEAAsE;QACtE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,4CAA4C,CAAC,CAAC;QACxE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,8CAA8C,CAAC,CAAC;QAC1E,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,KAAK;oBACX,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;4BACjD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;wBACD;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;4BACjD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACrD,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,iBAAiB;gCACvB,UAAU,EAAE;oCACV,IAAI,EAAE,QAAQ;oCACd,QAAQ,EAAE,GAAG;oCACb,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE;oCACvC,KAAK,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE;iCACzC;6BACF;yBACF;qBACF;oBACD,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,eAAe,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;QACrE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,OAAO;QAEvB,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC;QACnE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC;QACvD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,OAAO;YAClB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,eAAe,EAAE,OAAO;oBACxB,YAAY,EAAE;wBACZ;4BACE,IAAI,EAAE,oBAAoB;4BAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;4BAClD,IAAI,EAAE;gCACJ,IAAI,EAAE,WAAW;gCACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;6BACvD;4BACD,WAAW,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE;yBAC7C;qBACF;oBACD,UAAU,EAAE,KAAK;iBAClB;gBACD;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,SAAS;oBACf,UAAU,EAAE,EAAE;oBACd,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;oBAChC,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,qBAAqB;gCAC3B,UAAU,EAAE;oCACV,IAAI,EAAE,MAAM;oCACZ,MAAM,EAAE;wCACN,IAAI,EAAE,cAAc;wCACpB,MAAM,EAAE;4CACN,IAAI,EAAE,YAAY;4CAClB,IAAI,EAAE,OAAO;4CACb,YAAY,EAAE;gDACZ,IAAI,EAAE,WAAW;gDACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;6CACvD;yCACF;wCACD,QAAQ,EAAE,MAAM;wCAChB,UAAU,EAAE,KAAK;wCACjB,UAAU,EAAE,KAAK;wCACjB,YAAY,EAAE;4CACZ,IAAI,EAAE,cAAc;4CACpB,UAAU,EAAE;gDACV;oDACE,IAAI,EAAE,WAAW;oDACjB,OAAO,EAAE;wDACP,IAAI,EAAE,mBAAmB;wDACzB,IAAI,EAAE,MAAM;qDACb;oDACD,IAAI,EAAE;wDACJ,IAAI,EAAE,eAAe;wDACrB,IAAI,EAAE,QAAQ;qDACf;oDACD,UAAU,EAAE,KAAK;oDACjB,MAAM,EAAE,KAAK;oDACb,OAAO,EAAE,OAAO;iDACjB;6CACF;4CACD,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;yCACtD;wCACD,aAAa,EAAE;4CACb,IAAI,EAAE,QAAQ;4CACd,QAAQ,EAAE,kBAAkB;4CAC5B,IAAI,EAAE,0BAA0B;4CAChC,MAAM,EAAE,MAAM;yCACf;qCACF;oCACD,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;oCAChD,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;oBACD,UAAU,EAAE,KAAK;oBACjB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,gCAAgC,CAAC,CAAC;QAC5D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,yCAAyC,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,OAAO;YAClB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,eAAe,EAAE,OAAO;oBACxB,YAAY,EAAE;wBACZ;4BACE,IAAI,EAAE,oBAAoB;4BAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;4BAClD,IAAI,EAAE;gCACJ,IAAI,EAAE,WAAW;gCACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;6BACvD;4BACD,WAAW,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE;yBAC7C;qBACF;oBACD,UAAU,EAAE,KAAK;iBAClB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,yCAAyC,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,KAAK;YACxB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,qBAAqB;4BAC3B,IAAI,EAAE,MAAM;4BACZ,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,aAAa,EAAE,QAAQ;4BACvB,QAAQ,EAAE,KAAK;4BACf,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,OAAO;4BACb,UAAU,EAAE,EAAE;4BACd,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BACrD,IAAI,EAAE;gCACJ,IAAI,EAAE,gBAAgB;gCACtB,UAAU,EAAE;oCACV;wCACE,IAAI,EAAE,iBAAiB;wCACvB,UAAU,EAAE;4CACV,IAAI,EAAE,iBAAiB;4CACvB,MAAM,EAAE,CAAC,aAAa,EAAE,EAAE,CAAC;4CAC3B,WAAW,EAAE;gDACX;oDACE,IAAI,EAAE,cAAc;oDACpB,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;oDACxB,QAAQ,EAAE,MAAM;oDAChB,UAAU,EAAE,KAAK;oDACjB,UAAU,EAAE,KAAK;iDAClB;6CACF;yCACF;qCACF;iCACF;6BACF;4BACD,aAAa,EAAE,QAAQ;4BACvB,QAAQ,EAAE,KAAK;4BACf,OAAO,EAAE,KAAK;4BACd,WAAW,EAAE,KAAK;yBACnB;qBACF;oBACD,QAAQ,EAAE,KAAK;oBACf,UAAU,EAAE,IAAI;oBAChB,UAAU,EAAE,EAAE;iBACf;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;QAC/C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,kCAAkC,CAAC,CAAC;QAC9D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,4BAA4B,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,OAAO;YAClB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,qBAAqB;oBAC7B,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,IAAI;oBACX,iBAAiB,EAAE,KAAK;oBACxB,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,WAAW;4BACjB,SAAS,EAAE,WAAW;4BACtB,MAAM,EAAE,KAAK;4BACb,gBAAgB,EAAE;gCAChB,gBAAgB,EAAE,eAAe;gCACjC,qBAAqB,EAAE,KAAK;gCAC5B,UAAU,EAAE,WAAW;6BACxB;yBACF;qBACF;iBACF;aACF;YACD,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACrD,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,iBAAiB;gCACvB,UAAU,EAAE;oCACV,IAAI,EAAE,MAAM;oCACZ,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE;oCACjD,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;oCAC1C,UAAU,EAAE,KAAK;oCACjB,aAAa,EAAE,EAAE;oCACjB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;iCACxD;6BACF;yBACF;qBACF;oBACD,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,MAAM;oBACZ,SAAS,EAAE,MAAM;iBAClB;aACF;SACF,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;QAChE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"module-emitter.test.js","sourceRoot":"","sources":["../../src/core/module-emitter.test.ts"],"names":[],"mappings":"AAAA,OAAO,kDAAkD,CAAC;AAC1D,OAAO,oDAAoD,CAAC"}

package/dist/core/semantic/array-expected-types.d.ts

@@ -0,0 +1,6 @@
+import type { IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+export declare const resolveArrayLiteralContextType: (expectedType: IrType | undefined, context: EmitterContext) => IrType | undefined;
+export declare const resolveEmptyArrayLiteralContextType: (expectedType: IrType | undefined, context: EmitterContext) => IrType | undefined;
+export declare const normalizeRecursiveArrayExpectedType: (type: IrType | undefined, context: EmitterContext) => IrType | undefined;
+//# sourceMappingURL=array-expected-types.d.ts.map

package/dist/core/semantic/array-expected-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-expected-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/array-expected-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAwErD,eAAO,MAAM,8BAA8B,GACzC,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,MAAM,GAAG,SA4BX,CAAC;AAEF,eAAO,MAAM,mCAAmC,GAC9C,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,MAAM,GAAG,SAeX,CAAC;AAEF,eAAO,MAAM,mCAAmC,GAC9C,MAAM,MAAM,GAAG,SAAS,EACxB,SAAS,cAAc,KACtB,MAAM,GAAG,SA+BX,CAAC"}

package/dist/core/semantic/array-expected-types.js

@@ -0,0 +1,84 @@
+import { rebuildUnionTypePreservingCarrierFamily } from "./runtime-union-family-preservation.js";
+import { getArrayLikeElementType, resolveTypeAlias, splitRuntimeNullishUnionMembers, stripNullish, } from "./type-resolution.js";
+import { getContextualTypeVisitKey } from "./deterministic-type-keys.js";
+import { getCanonicalRuntimeUnionMembers } from "./runtime-unions.js";
+const collectArrayLiteralContextCandidates = (type, context, visited = new Set()) => {
+    const stripped = stripNullish(type);
+    const visitKey = getContextualTypeVisitKey(stripped, context);
+    if (visited.has(visitKey)) {
+        return [];
+    }
+    visited.add(visitKey);
+    if (getArrayLikeElementType(stripped, context) !== undefined) {
+        return [stripped];
+    }
+    const resolved = resolveTypeAlias(stripped, context);
+    if (resolved.kind === "tupleType") {
+        return [stripped];
+    }
+    if (resolved.kind !== "unionType") {
+        return [];
+    }
+    return resolved.types.flatMap((member) => collectArrayLiteralContextCandidates(member, context, visited));
+};
+const getUniqueArrayLiteralContextCandidates = (expectedType, context) => {
+    const strippedExpected = stripNullish(expectedType);
+    const resolvedExpected = resolveTypeAlias(strippedExpected, context);
+    if (resolvedExpected.kind !== "unionType") {
+        return collectArrayLiteralContextCandidates(strippedExpected, context);
+    }
+    const runtimeArrayLikeMembers = getCanonicalRuntimeUnionMembers(strippedExpected, context)?.flatMap((member) => collectArrayLiteralContextCandidates(member, context)) ?? [];
+    const sourceArrayLikeMembers = resolvedExpected.types.flatMap((member) => collectArrayLiteralContextCandidates(member, context));
+    const arrayLikeMembers = runtimeArrayLikeMembers.length > 0
+        ? runtimeArrayLikeMembers
+        : sourceArrayLikeMembers;
+    return Array.from(new Map(arrayLikeMembers.map((member) => [getContextualTypeVisitKey(member, context), member])).values());
+};
+export const resolveArrayLiteralContextType = (expectedType, context) => {
+    if (!expectedType)
+        return undefined;
+    const strippedExpected = stripNullish(expectedType);
+    const resolvedExpected = resolveTypeAlias(strippedExpected, context);
+    if (resolvedExpected.kind !== "unionType") {
+        return strippedExpected;
+    }
+    const uniqueArrayLikeMembers = getUniqueArrayLiteralContextCandidates(strippedExpected, context);
+    if (uniqueArrayLikeMembers.length === 1) {
+        return uniqueArrayLikeMembers[0];
+    }
+    const concreteArrayMembers = uniqueArrayLikeMembers.filter((member) => resolveTypeAlias(stripNullish(member), context).kind === "arrayType");
+    if (concreteArrayMembers.length === 1) {
+        return concreteArrayMembers[0];
+    }
+    return strippedExpected;
+};
+export const resolveEmptyArrayLiteralContextType = (expectedType, context) => {
+    if (!expectedType) {
+        return undefined;
+    }
+    const arrayLikeMembers = getUniqueArrayLiteralContextCandidates(expectedType, context);
+    const concreteArrayMembers = arrayLikeMembers.filter((member) => resolveTypeAlias(stripNullish(member), context).kind === "arrayType");
+    return concreteArrayMembers[0] ?? arrayLikeMembers[0];
+};
+export const normalizeRecursiveArrayExpectedType = (type, context) => {
+    if (!type) {
+        return undefined;
+    }
+    const split = splitRuntimeNullishUnionMembers(type);
+    if (type.kind === "unionType" &&
+        split?.hasRuntimeNullish &&
+        split.nonNullishMembers.length === 1) {
+        const [member] = split.nonNullishMembers;
+        const normalizedMember = normalizeRecursiveArrayExpectedType(member, context);
+        if (!normalizedMember) {
+            return type;
+        }
+        return rebuildUnionTypePreservingCarrierFamily(type, [
+            ...type.types.filter((candidate) => candidate.kind === "primitiveType" &&
+                (candidate.name === "null" || candidate.name === "undefined")),
+            normalizedMember,
+        ]);
+    }
+    return type;
+};
+//# sourceMappingURL=array-expected-types.js.map

package/dist/core/semantic/array-expected-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-expected-types.js","sourceRoot":"","sources":["../../../src/core/semantic/array-expected-types.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,uCAAuC,EAAE,MAAM,wCAAwC,CAAC;AACjG,OAAO,EACL,uBAAuB,EACvB,gBAAgB,EAChB,+BAA+B,EAC/B,YAAY,GACb,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,+BAA+B,EAAE,MAAM,qBAAqB,CAAC;AAEtE,MAAM,oCAAoC,GAAG,CAC3C,IAAY,EACZ,OAAuB,EACvB,UAAuB,IAAI,GAAG,EAAU,EACrB,EAAE;IACrB,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,yBAAyB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC9D,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAEtB,IAAI,uBAAuB,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;QAC7D,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpB,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACrD,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpB,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,OAAO,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACvC,oCAAoC,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAC/D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,sCAAsC,GAAG,CAC7C,YAAoB,EACpB,OAAuB,EACJ,EAAE;IACrB,MAAM,gBAAgB,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC;IACpD,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;IACrE,IAAI,gBAAgB,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC1C,OAAO,oCAAoC,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;IACzE,CAAC;IAED,MAAM,uBAAuB,GAC3B,+BAA+B,CAAC,gBAAgB,EAAE,OAAO,CAAC,EAAE,OAAO,CACjE,CAAC,MAAM,EAAE,EAAE,CAAC,oCAAoC,CAAC,MAAM,EAAE,OAAO,CAAC,CAClE,IAAI,EAAE,CAAC;IACV,MAAM,sBAAsB,GAAG,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACvE,oCAAoC,CAAC,MAAM,EAAE,OAAO,CAAC,CACtD,CAAC;IACF,MAAM,gBAAgB,GACpB,uBAAuB,CAAC,MAAM,GAAG,CAAC;QAChC,CAAC,CAAC,uBAAuB;QACzB,CAAC,CAAC,sBAAsB,CAAC;IAE7B,OAAO,KAAK,CAAC,IAAI,CACf,IAAI,GAAG,CACL,gBAAgB,CAAC,GAAG,CAClB,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,yBAAyB,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,CAAU,CAC1E,CACF,CAAC,MAAM,EAAE,CACX,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,YAAgC,EAChC,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEpC,MAAM,gBAAgB,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC;IACpD,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;IACrE,IAAI,gBAAgB,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC1C,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IAED,MAAM,sBAAsB,GAAG,sCAAsC,CACnE,gBAAgB,EAChB,OAAO,CACR,CAAC;IAEF,IAAI,sBAAsB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxC,OAAO,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC;IAED,MAAM,oBAAoB,GAAG,sBAAsB,CAAC,MAAM,CACxD,CAAC,MAAM,EAAoD,EAAE,CAC3D,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,KAAK,WAAW,CACvE,CAAC;IAEF,IAAI,oBAAoB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,oBAAoB,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC;IAED,OAAO,gBAAgB,CAAC;AAC1B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,YAAgC,EAChC,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,gBAAgB,GAAG,sCAAsC,CAC7D,YAAY,EACZ,OAAO,CACR,CAAC;IACF,MAAM,oBAAoB,GAAG,gBAAgB,CAAC,MAAM,CAClD,CAAC,MAAM,EAAoD,EAAE,CAC3D,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,KAAK,WAAW,CACvE,CAAC;IAEF,OAAO,oBAAoB,CAAC,CAAC,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,IAAwB,EACxB,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAG,+BAA+B,CAAC,IAAI,CAAC,CAAC;IACpD,IACE,IAAI,CAAC,IAAI,KAAK,WAAW;QACzB,KAAK,EAAE,iBAAiB;QACxB,KAAK,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EACpC,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,iBAAiB,CAAC;QACzC,MAAM,gBAAgB,GAAG,mCAAmC,CAC1D,MAAM,EACN,OAAO,CACR,CAAC;QACF,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,OAAO,uCAAuC,CAAC,IAAI,EAAE;YACnD,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAClB,CAAC,SAAiB,EAAE,EAAE,CACpB,SAAS,CAAC,IAAI,KAAK,eAAe;gBAClC,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,CAAC,CAChE;YACD,gBAAgB;SACjB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC"}

package/dist/core/semantic/array-expected-types.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=array-expected-types.test.d.ts.map

package/dist/core/semantic/array-expected-types.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-expected-types.test.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/array-expected-types.test.ts"],"names":[],"mappings":""}

package/dist/core/semantic/array-expected-types.test.js

@@ -0,0 +1,66 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { createContext } from "../../emitter-types/context.js";
+import { normalizeRecursiveArrayExpectedType, resolveArrayLiteralContextType, } from "./array-expected-types.js";
+describe("array-expected-types", () => {
+    const context = createContext({
+        rootNamespace: "Test",
+        surface: "@tsonic/js",
+    });
+    it("selects the sole array-like union member for array literal context", () => {
+        const expectedType = {
+            kind: "unionType",
+            types: [
+                { kind: "primitiveType", name: "string" },
+                {
+                    kind: "referenceType",
+                    name: "ReadonlyArray",
+                    typeArguments: [{ kind: "primitiveType", name: "number" }],
+                },
+            ],
+        };
+        expect(resolveArrayLiteralContextType(expectedType, context)).to.deep.equal({
+            kind: "referenceType",
+            name: "ReadonlyArray",
+            typeArguments: [{ kind: "primitiveType", name: "number" }],
+        });
+    });
+    it("preserves recursive runtime-union alias array contexts", () => {
+        const recursiveType = {
+            kind: "referenceType",
+            name: "PathSpec",
+            resolvedClrType: "Test.PathSpec",
+        };
+        const contextWithAlias = {
+            ...context,
+            localTypes: new Map([
+                [
+                    "PathSpec",
+                    {
+                        kind: "typeAlias",
+                        typeParameters: [],
+                        type: {
+                            kind: "unionType",
+                            types: [
+                                { kind: "primitiveType", name: "string" },
+                                { kind: "referenceType", name: "RegExp" },
+                                {
+                                    kind: "arrayType",
+                                    elementType: recursiveType,
+                                    origin: "explicit",
+                                },
+                            ],
+                        },
+                    },
+                ],
+            ]),
+        };
+        const expectedType = {
+            kind: "referenceType",
+            name: "ReadonlyArray",
+            typeArguments: [recursiveType],
+        };
+        expect(normalizeRecursiveArrayExpectedType(expectedType, contextWithAlias)).to.deep.equal(expectedType);
+    });
+});
+//# sourceMappingURL=array-expected-types.test.js.map

package/dist/core/semantic/array-expected-types.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-expected-types.test.js","sourceRoot":"","sources":["../../../src/core/semantic/array-expected-types.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAE9B,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAE/D,OAAO,EACL,mCAAmC,EACnC,8BAA8B,GAC/B,MAAM,2BAA2B,CAAC;AAEnC,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,MAAM,OAAO,GAAG,aAAa,CAAC;QAC5B,aAAa,EAAE,MAAM;QACrB,OAAO,EAAE,YAAY;KACtB,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,YAAY,GAAW;YAC3B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC;oBACE,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,eAAe;oBACrB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;iBAC3D;aACF;SACF,CAAC;QAEF,MAAM,CAAC,8BAA8B,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CACzE;YACE,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,eAAe;YACrB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;SAC3D,CACF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,aAAa,GAAW;YAC5B,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,UAAU;YAChB,eAAe,EAAE,eAAe;SACjC,CAAC;QACF,MAAM,gBAAgB,GAAmB;YACvC,GAAG,OAAO;YACV,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;oBACE,UAAU;oBACV;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,EAAE;wBAClB,IAAI,EAAE;4BACJ,IAAI,EAAE,WAAoB;4BAC1B,KAAK,EAAE;gCACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gCACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gCACzC;oCACE,IAAI,EAAE,WAAW;oCACjB,WAAW,EAAE,aAAa;oCAC1B,MAAM,EAAE,UAAmB;iCAC5B;6BACF;yBACF;qBACF;iBACF;aACF,CAAC;SACH,CAAC;QAEF,MAAM,YAAY,GAAW;YAC3B,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,eAAe;YACrB,aAAa,EAAE,CAAC,aAAa,CAAC;SAC/B,CAAC;QAEF,MAAM,CACJ,mCAAmC,CAAC,YAAY,EAAE,gBAAgB,CAAC,CACpE,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/semantic/assignment-flow.d.ts

@@ -0,0 +1,9 @@
+import { IrExpression } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+import type { CSharpExpressionAst } from "../format/backend-ast/types.js";
+export type EmitExprAstFn = (expr: IrExpression, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+export declare const resolveWritableTargetStorageType: (targetExpr: Extract<IrExpression, {
+    kind: "identifier" | "memberAccess";
+}>, context: EmitterContext) => IrExpression["inferredType"];
+export declare const applyAssignmentStatementNarrowing: (expr: IrExpression, context: EmitterContext, emitExprAst: EmitExprAstFn) => EmitterContext;
+//# sourceMappingURL=assignment-flow.d.ts.map

package/dist/core/semantic/assignment-flow.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"assignment-flow.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/assignment-flow.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,KAAK,EAAE,cAAc,EAAmB,MAAM,gBAAgB,CAAC;AACtE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAc1E,MAAM,MAAM,aAAa,GAAG,CAC1B,IAAI,EAAE,YAAY,EAClB,OAAO,EAAE,cAAc,KACpB,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC;AA2H3C,eAAO,MAAM,gCAAgC,GAC3C,YAAY,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,GAAG,cAAc,CAAA;CAAE,CAAC,EAC1E,SAAS,cAAc,KACtB,YAAY,CAAC,cAAc,CA2B7B,CAAC;AAEF,eAAO,MAAM,iCAAiC,GAC5C,MAAM,YAAY,EAClB,SAAS,cAAc,EACvB,aAAa,aAAa,KACzB,cA6FF,CAAC"}