@tsonic/emitter 0.0.74 → 0.0.75

package/dist/types/references-cases/polymorphic-and-recursive.test.js

@@ -0,0 +1,387 @@
+import { baseContext, describe, emitReferenceType, emitTypeAst, expect, it, printType, } from "./helpers.js";
+import { identifierType } from "../../core/format/backend-ast/builders.js";
+import { printRuntimeUnionCarrierTypeForIrType } from "../../runtime-union-cases/helpers.js";
+describe("Reference Type Emission", () => {
+    describe("Polymorphic This", () => {
+        it("emits polymorphic this markers as the declaring type", () => {
+            const [typeAst] = emitTypeAst({
+                kind: "typeParameterType",
+                name: "__tsonic_polymorphic_this",
+            }, {
+                ...baseContext,
+                declaringTypeName: "Router",
+            });
+            expect(printType(typeAst)).to.equal("Router");
+        });
+        it("emits polymorphic this markers with declaring generic arguments", () => {
+            const [typeAst] = emitTypeAst({
+                kind: "typeParameterType",
+                name: "__tsonic_polymorphic_this",
+            }, {
+                ...baseContext,
+                className: "Map",
+                declaringTypeName: "Map",
+                declaringTypeParameterNames: ["K", "V"],
+                declaringTypeParameterNameMap: new Map([
+                    ["K", "TK"],
+                    ["V", "TV"],
+                ]),
+            });
+            expect(printType(typeAst)).to.equal("Map<TK, TV>");
+        });
+    });
+    describe("Recursive Type Aliases", () => {
+        it("emits recursive union aliases without infinite expansion", () => {
+            const pathSpecRef = {
+                kind: "referenceType",
+                name: "PathSpec",
+            };
+            const pathSpecUnion = {
+                kind: "unionType",
+                types: [
+                    { kind: "primitiveType", name: "string" },
+                    {
+                        kind: "referenceType",
+                        name: "RegExp",
+                        resolvedClrType: "System.Text.RegularExpressions.Regex",
+                    },
+                    {
+                        kind: "arrayType",
+                        elementType: pathSpecRef,
+                        origin: "explicit",
+                    },
+                    { kind: "primitiveType", name: "null" },
+                    { kind: "primitiveType", name: "undefined" },
+                ],
+            };
+            const [typeAst] = emitReferenceType(pathSpecRef, {
+                ...baseContext,
+                localTypes: new Map([
+                    [
+                        "PathSpec",
+                        {
+                            kind: "typeAlias",
+                            typeParameters: [],
+                            type: pathSpecUnion,
+                        },
+                    ],
+                ]),
+            });
+            const printed = printType(typeAst);
+            expect(printed).to.equal(`${printRuntimeUnionCarrierTypeForIrType(pathSpecUnion, [
+                {
+                    kind: "arrayType",
+                    rank: 1,
+                    elementType: identifierType("object"),
+                },
+                { kind: "predefinedType", keyword: "string" },
+                identifierType("global::System.Text.RegularExpressions.Regex"),
+            ])}?`);
+        });
+        it("emits recursive middleware aliases without stack overflow", () => {
+            const middlewareParamRef = {
+                kind: "referenceType",
+                name: "MiddlewareParam",
+            };
+            const middlewareParamUnion = {
+                kind: "unionType",
+                types: [
+                    {
+                        kind: "referenceType",
+                        name: "MiddlewareHandler",
+                        resolvedClrType: "System.Delegate",
+                    },
+                    {
+                        kind: "arrayType",
+                        elementType: middlewareParamRef,
+                        origin: "explicit",
+                    },
+                ],
+            };
+            const [typeAst] = emitReferenceType(middlewareParamRef, {
+                ...baseContext,
+                localTypes: new Map([
+                    [
+                        "MiddlewareParam",
+                        {
+                            kind: "typeAlias",
+                            typeParameters: [],
+                            type: middlewareParamUnion,
+                        },
+                    ],
+                ]),
+            });
+            const printed = printType(typeAst);
+            expect(printed).to.equal(printRuntimeUnionCarrierTypeForIrType(middlewareParamUnion, [
+                {
+                    kind: "arrayType",
+                    rank: 1,
+                    elementType: identifierType("object"),
+                },
+                identifierType("global::System.Delegate"),
+            ]));
+        });
+        it("does not leak recursive alias resolution state into later emissions", () => {
+            const middlewareParamRef = {
+                kind: "referenceType",
+                name: "MiddlewareParam",
+            };
+            const middlewareLikeRef = {
+                kind: "referenceType",
+                name: "MiddlewareLike",
+            };
+            const middlewareParamUnion = {
+                kind: "unionType",
+                types: [
+                    {
+                        kind: "referenceType",
+                        name: "MiddlewareHandler",
+                        resolvedClrType: "System.Delegate",
+                    },
+                    {
+                        kind: "arrayType",
+                        elementType: middlewareParamRef,
+                        origin: "explicit",
+                    },
+                ],
+            };
+            const middlewareLikeUnion = {
+                kind: "unionType",
+                types: [
+                    middlewareParamRef,
+                    {
+                        kind: "referenceType",
+                        name: "Router",
+                        resolvedClrType: "Test.Router",
+                    },
+                    {
+                        kind: "arrayType",
+                        elementType: middlewareLikeRef,
+                        origin: "explicit",
+                    },
+                ],
+            };
+            const recursiveContext = {
+                ...baseContext,
+                localTypes: new Map([
+                    [
+                        "MiddlewareParam",
+                        {
+                            kind: "typeAlias",
+                            typeParameters: [],
+                            type: middlewareParamUnion,
+                        },
+                    ],
+                    [
+                        "MiddlewareLike",
+                        {
+                            kind: "typeAlias",
+                            typeParameters: [],
+                            type: middlewareLikeUnion,
+                        },
+                    ],
+                ]),
+            };
+            const [firstTypeAst, nextContext] = emitTypeAst(middlewareLikeRef, recursiveContext);
+            const [secondTypeAst] = emitTypeAst(middlewareLikeRef, nextContext);
+            expect(nextContext.resolvingTypeAliases).to.equal(recursiveContext.resolvingTypeAliases);
+            expect(printType(firstTypeAst)).to.equal(printType(secondTypeAst));
+            expect(printType(secondTypeAst)).to.equal(printRuntimeUnionCarrierTypeForIrType(middlewareLikeUnion, [
+                {
+                    kind: "arrayType",
+                    rank: 1,
+                    elementType: identifierType("object"),
+                },
+                identifierType("global::System.Delegate"),
+                identifierType("global::Test.Router"),
+            ]));
+        });
+        it("preserves recursive array alias members when emitting outer array containers", () => {
+            const middlewareParamRef = {
+                kind: "referenceType",
+                name: "MiddlewareParam",
+            };
+            const middlewareLikeRef = {
+                kind: "referenceType",
+                name: "MiddlewareLike",
+            };
+            const middlewareParamUnion = {
+                kind: "unionType",
+                types: [
+                    {
+                        kind: "referenceType",
+                        name: "MiddlewareHandler",
+                        resolvedClrType: "System.Delegate",
+                    },
+                    {
+                        kind: "arrayType",
+                        elementType: middlewareParamRef,
+                        origin: "explicit",
+                    },
+                ],
+            };
+            const middlewareLikeUnion = {
+                kind: "unionType",
+                types: [
+                    middlewareParamRef,
+                    {
+                        kind: "referenceType",
+                        name: "Router",
+                        resolvedClrType: "Test.Router",
+                    },
+                    {
+                        kind: "arrayType",
+                        elementType: middlewareLikeRef,
+                        origin: "explicit",
+                    },
+                ],
+            };
+            const recursiveContext = {
+                ...baseContext,
+                localTypes: new Map([
+                    [
+                        "MiddlewareParam",
+                        {
+                            kind: "typeAlias",
+                            typeParameters: [],
+                            type: middlewareParamUnion,
+                        },
+                    ],
+                    [
+                        "MiddlewareLike",
+                        {
+                            kind: "typeAlias",
+                            typeParameters: [],
+                            type: middlewareLikeUnion,
+                        },
+                    ],
+                ]),
+            };
+            const [typeAst] = emitTypeAst({
+                kind: "arrayType",
+                elementType: middlewareLikeRef,
+                origin: "explicit",
+            }, recursiveContext);
+            expect(printType(typeAst)).to.equal(`${printRuntimeUnionCarrierTypeForIrType(middlewareLikeUnion, [
+                {
+                    kind: "arrayType",
+                    rank: 1,
+                    elementType: identifierType("object"),
+                },
+                identifierType("global::System.Delegate"),
+                identifierType("global::Test.Router"),
+            ])}[]`);
+        });
+        it("does not leak cross-module recursive alias resolution state into later emissions", () => {
+            const pathSpecRef = {
+                kind: "referenceType",
+                name: "PathSpec",
+            };
+            const pathSpecUnion = {
+                kind: "unionType",
+                types: [
+                    { kind: "primitiveType", name: "string" },
+                    {
+                        kind: "referenceType",
+                        name: "RegExp",
+                        resolvedClrType: "System.Text.RegularExpressions.Regex",
+                    },
+                    {
+                        kind: "arrayType",
+                        elementType: pathSpecRef,
+                        origin: "explicit",
+                    },
+                    { kind: "primitiveType", name: "null" },
+                    { kind: "primitiveType", name: "undefined" },
+                ],
+            };
+            const crossModuleContext = {
+                ...baseContext,
+                moduleNamespace: "Test.Router",
+                options: {
+                    ...baseContext.options,
+                    moduleMap: new Map([
+                        [
+                            "/src/types.ts",
+                            {
+                                namespace: "Test.Types",
+                                className: "types",
+                                filePath: "/src/types.ts",
+                                hasRuntimeContainer: true,
+                                hasTypeCollision: false,
+                                localTypes: new Map([
+                                    [
+                                        "PathSpec",
+                                        {
+                                            kind: "typeAlias",
+                                            typeParameters: [],
+                                            type: pathSpecUnion,
+                                        },
+                                    ],
+                                ]),
+                            },
+                        ],
+                    ]),
+                },
+            };
+            const [firstTypeAst, nextContext] = emitTypeAst(pathSpecRef, crossModuleContext);
+            const [secondTypeAst] = emitTypeAst(pathSpecRef, nextContext);
+            expect(nextContext.resolvingTypeAliases).to.equal(crossModuleContext.resolvingTypeAliases);
+            expect(printType(firstTypeAst)).to.equal(printType(secondTypeAst));
+            expect(printType(secondTypeAst)).to.equal(`${printRuntimeUnionCarrierTypeForIrType(pathSpecUnion, [
+                {
+                    kind: "arrayType",
+                    rank: 1,
+                    elementType: identifierType("object"),
+                },
+                { kind: "predefinedType", keyword: "string" },
+                identifierType("global::System.Text.RegularExpressions.Regex"),
+            ])}?`);
+        });
+        it("does not leak cross-module non-recursive alias resolution state into later array emissions", () => {
+            const labelRef = {
+                kind: "referenceType",
+                name: "Label",
+            };
+            const crossModuleContext = {
+                ...baseContext,
+                moduleNamespace: "Test.Router",
+                options: {
+                    ...baseContext.options,
+                    moduleMap: new Map([
+                        [
+                            "/src/types.ts",
+                            {
+                                namespace: "Test.Types",
+                                className: "types",
+                                filePath: "/src/types.ts",
+                                hasRuntimeContainer: true,
+                                hasTypeCollision: false,
+                                localTypes: new Map([
+                                    [
+                                        "Label",
+                                        {
+                                            kind: "typeAlias",
+                                            typeParameters: [],
+                                            type: { kind: "primitiveType", name: "string" },
+                                        },
+                                    ],
+                                ]),
+                            },
+                        ],
+                    ]),
+                },
+            };
+            const [firstTypeAst, nextContext] = emitTypeAst(labelRef, crossModuleContext);
+            const [arrayTypeAst] = emitTypeAst({
+                kind: "arrayType",
+                elementType: labelRef,
+                origin: "explicit",
+            }, nextContext);
+            expect(nextContext.resolvingTypeAliases).to.equal(crossModuleContext.resolvingTypeAliases);
+            expect(printType(firstTypeAst)).to.equal("string");
+            expect(printType(arrayTypeAst)).to.equal("string[]");
+        });
+    });
+});
+//# sourceMappingURL=polymorphic-and-recursive.test.js.map

package/dist/types/references-cases/polymorphic-and-recursive.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"polymorphic-and-recursive.test.js","sourceRoot":"","sources":["../../../src/types/references-cases/polymorphic-and-recursive.test.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EACX,QAAQ,EACR,iBAAiB,EACjB,WAAW,EACX,MAAM,EACN,EAAE,EACF,SAAS,GACV,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,cAAc,EAAE,MAAM,2CAA2C,CAAC;AAC3E,OAAO,EAAE,qCAAqC,EAAE,MAAM,sCAAsC,CAAC;AAC7F,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAChC,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,MAAM,CAAC,OAAO,CAAC,GAAG,WAAW,CAC3B;gBACE,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EAAE,2BAA2B;aAClC,EACD;gBACE,GAAG,WAAW;gBACd,iBAAiB,EAAE,QAAQ;aAC5B,CACF,CAAC;YAEF,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;YACzE,MAAM,CAAC,OAAO,CAAC,GAAG,WAAW,CAC3B;gBACE,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EAAE,2BAA2B;aAClC,EACD;gBACE,GAAG,WAAW;gBACd,SAAS,EAAE,KAAK;gBAChB,iBAAiB,EAAE,KAAK;gBACxB,2BAA2B,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;gBACvC,6BAA6B,EAAE,IAAI,GAAG,CAAC;oBACrC,CAAC,GAAG,EAAE,IAAI,CAAC;oBACX,CAAC,GAAG,EAAE,IAAI,CAAC;iBACZ,CAAC;aACH,CACF,CAAC;YAEF,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACtC,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;YAClE,MAAM,WAAW,GAAW;gBAC1B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,UAAU;aACjB,CAAC;YACF,MAAM,aAAa,GAAW;gBAC5B,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACzC;wBACE,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,QAAQ;wBACd,eAAe,EAAE,sCAAsC;qBACxD;oBACD;wBACE,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE,WAAW;wBACxB,MAAM,EAAE,UAAU;qBACnB;oBACD,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;oBACvC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;iBAC7C;aACF,CAAC;YAEF,MAAM,CAAC,OAAO,CAAC,GAAG,iBAAiB,CAAC,WAAW,EAAE;gBAC/C,GAAG,WAAW;gBACd,UAAU,EAAE,IAAI,GAAG,CAAC;oBAClB;wBACE,UAAU;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,cAAc,EAAE,EAAE;4BAClB,IAAI,EAAE,aAAa;yBACpB;qBACF;iBACF,CAAC;aACH,CAAC,CAAC;YAEH,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;YACnC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CACtB,GAAG,qCAAqC,CAAC,aAAa,EAAE;gBACtD;oBACE,IAAI,EAAE,WAAW;oBACjB,IAAI,EAAE,CAAC;oBACP,WAAW,EAAE,cAAc,CAAC,QAAQ,CAAC;iBACtC;gBACD,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;gBAC7C,cAAc,CAAC,8CAA8C,CAAC;aAC/D,CAAC,GAAG,CACN,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;YACnE,MAAM,kBAAkB,GAAW;gBACjC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,iBAAiB;aACxB,CAAC;YACF,MAAM,oBAAoB,GAAW;gBACnC,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL;wBACE,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,mBAAmB;wBACzB,eAAe,EAAE,iBAAiB;qBACnC;oBACD;wBACE,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE,kBAAkB;wBAC/B,MAAM,EAAE,UAAU;qBACnB;iBACF;aACF,CAAC;YAEF,MAAM,CAAC,OAAO,CAAC,GAAG,iBAAiB,CAAC,kBAAkB,EAAE;gBACtD,GAAG,WAAW;gBACd,UAAU,EAAE,IAAI,GAAG,CAAC;oBAClB;wBACE,iBAAiB;wBACjB;4BACE,IAAI,EAAE,WAAW;4BACjB,cAAc,EAAE,EAAE;4BAClB,IAAI,EAAE,oBAAoB;yBAC3B;qBACF;iBACF,CAAC;aACH,CAAC,CAAC;YAEH,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;YACnC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CACtB,qCAAqC,CAAC,oBAAoB,EAAE;gBAC1D;oBACE,IAAI,EAAE,WAAW;oBACjB,IAAI,EAAE,CAAC;oBACP,WAAW,EAAE,cAAc,CAAC,QAAQ,CAAC;iBACtC;gBACD,cAAc,CAAC,yBAAyB,CAAC;aAC1C,CAAC,CACH,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;YAC7E,MAAM,kBAAkB,GAAW;gBACjC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,iBAAiB;aACxB,CAAC;YACF,MAAM,iBAAiB,GAAW;gBAChC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,gBAAgB;aACvB,CAAC;YACF,MAAM,oBAAoB,GAAW;gBACnC,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL;wBACE,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,mBAAmB;wBACzB,eAAe,EAAE,iBAAiB;qBACnC;oBACD;wBACE,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE,kBAAkB;wBAC/B,MAAM,EAAE,UAAU;qBACnB;iBACF;aACF,CAAC;YACF,MAAM,mBAAmB,GAAW;gBAClC,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,kBAAkB;oBAClB;wBACE,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,QAAQ;wBACd,eAAe,EAAE,aAAa;qBAC/B;oBACD;wBACE,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE,iBAAiB;wBAC9B,MAAM,EAAE,UAAU;qBACnB;iBACF;aACF,CAAC;YAEF,MAAM,gBAAgB,GAAmB;gBACvC,GAAG,WAAW;gBACd,UAAU,EAAE,IAAI,GAAG,CAAC;oBAClB;wBACE,iBAAiB;wBACjB;4BACE,IAAI,EAAE,WAAW;4BACjB,cAAc,EAAE,EAAE;4BAClB,IAAI,EAAE,oBAAoB;yBAC3B;qBACF;oBACD;wBACE,gBAAgB;wBAChB;4BACE,IAAI,EAAE,WAAW;4BACjB,cAAc,EAAE,EAAE;4BAClB,IAAI,EAAE,mBAAmB;yBAC1B;qBACF;iBACF,CAAC;aACH,CAAC;YAEF,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,GAAG,WAAW,CAC7C,iBAAiB,EACjB,gBAAgB,CACjB,CAAC;YACF,MAAM,CAAC,aAAa,CAAC,GAAG,WAAW,CAAC,iBAAiB,EAAE,WAAW,CAAC,CAAC;YAEpE,MAAM,CAAC,WAAW,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,KAAK,CAC/C,gBAAgB,CAAC,oBAAoB,CACtC,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC;YACnE,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACvC,qCAAqC,CAAC,mBAAmB,EAAE;gBACzD;oBACE,IAAI,EAAE,WAAW;oBACjB,IAAI,EAAE,CAAC;oBACP,WAAW,EAAE,cAAc,CAAC,QAAQ,CAAC;iBACtC;gBACD,cAAc,CAAC,yBAAyB,CAAC;gBACzC,cAAc,CAAC,qBAAqB,CAAC;aACtC,CAAC,CACH,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;YACtF,MAAM,kBAAkB,GAAW;gBACjC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,iBAAiB;aACxB,CAAC;YACF,MAAM,iBAAiB,GAAW;gBAChC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,gBAAgB;aACvB,CAAC;YACF,MAAM,oBAAoB,GAAW;gBACnC,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL;wBACE,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,mBAAmB;wBACzB,eAAe,EAAE,iBAAiB;qBACnC;oBACD;wBACE,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE,kBAAkB;wBAC/B,MAAM,EAAE,UAAU;qBACnB;iBACF;aACF,CAAC;YACF,MAAM,mBAAmB,GAAW;gBAClC,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,kBAAkB;oBAClB;wBACE,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,QAAQ;wBACd,eAAe,EAAE,aAAa;qBAC/B;oBACD;wBACE,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE,iBAAiB;wBAC9B,MAAM,EAAE,UAAU;qBACnB;iBACF;aACF,CAAC;YAEF,MAAM,gBAAgB,GAAmB;gBACvC,GAAG,WAAW;gBACd,UAAU,EAAE,IAAI,GAAG,CAAC;oBAClB;wBACE,iBAAiB;wBACjB;4BACE,IAAI,EAAE,WAAW;4BACjB,cAAc,EAAE,EAAE;4BAClB,IAAI,EAAE,oBAAoB;yBAC3B;qBACF;oBACD;wBACE,gBAAgB;wBAChB;4BACE,IAAI,EAAE,WAAW;4BACjB,cAAc,EAAE,EAAE;4BAClB,IAAI,EAAE,mBAAmB;yBAC1B;qBACF;iBACF,CAAC;aACH,CAAC;YAEF,MAAM,CAAC,OAAO,CAAC,GAAG,WAAW,CAC3B;gBACE,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,iBAAiB;gBAC9B,MAAM,EAAE,UAAU;aACnB,EACD,gBAAgB,CACjB,CAAC;YAEF,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACjC,GAAG,qCAAqC,CAAC,mBAAmB,EAAE;gBAC5D;oBACE,IAAI,EAAE,WAAW;oBACjB,IAAI,EAAE,CAAC;oBACP,WAAW,EAAE,cAAc,CAAC,QAAQ,CAAC;iBACtC;gBACD,cAAc,CAAC,yBAAyB,CAAC;gBACzC,cAAc,CAAC,qBAAqB,CAAC;aACtC,CAAC,IAAI,CACP,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;YAC1F,MAAM,WAAW,GAAW;gBAC1B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,UAAU;aACjB,CAAC;YACF,MAAM,aAAa,GAAW;gBAC5B,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACzC;wBACE,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,QAAQ;wBACd,eAAe,EAAE,sCAAsC;qBACxD;oBACD;wBACE,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE,WAAW;wBACxB,MAAM,EAAE,UAAU;qBACnB;oBACD,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;oBACvC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;iBAC7C;aACF,CAAC;YAEF,MAAM,kBAAkB,GAAmB;gBACzC,GAAG,WAAW;gBACd,eAAe,EAAE,aAAa;gBAC9B,OAAO,EAAE;oBACP,GAAG,WAAW,CAAC,OAAO;oBACtB,SAAS,EAAE,IAAI,GAAG,CAAC;wBACjB;4BACE,eAAe;4BACf;gCACE,SAAS,EAAE,YAAY;gCACvB,SAAS,EAAE,OAAO;gCAClB,QAAQ,EAAE,eAAe;gCACzB,mBAAmB,EAAE,IAAI;gCACzB,gBAAgB,EAAE,KAAK;gCACvB,UAAU,EAAE,IAAI,GAAG,CAAC;oCAClB;wCACE,UAAU;wCACV;4CACE,IAAI,EAAE,WAAW;4CACjB,cAAc,EAAE,EAAE;4CAClB,IAAI,EAAE,aAAa;yCACpB;qCACF;iCACF,CAAC;6BACH;yBACF;qBACF,CAAC;iBACH;aACF,CAAC;YAEF,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,GAAG,WAAW,CAC7C,WAAW,EACX,kBAAkB,CACnB,CAAC;YACF,MAAM,CAAC,aAAa,CAAC,GAAG,WAAW,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;YAE9D,MAAM,CAAC,WAAW,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,KAAK,CAC/C,kBAAkB,CAAC,oBAAoB,CACxC,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC;YACnE,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACvC,GAAG,qCAAqC,CAAC,aAAa,EAAE;gBACtD;oBACE,IAAI,EAAE,WAAW;oBACjB,IAAI,EAAE,CAAC;oBACP,WAAW,EAAE,cAAc,CAAC,QAAQ,CAAC;iBACtC;gBACD,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;gBAC7C,cAAc,CAAC,8CAA8C,CAAC;aAC/D,CAAC,GAAG,CACN,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4FAA4F,EAAE,GAAG,EAAE;YACpG,MAAM,QAAQ,GAAW;gBACvB,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;aACd,CAAC;YAEF,MAAM,kBAAkB,GAAmB;gBACzC,GAAG,WAAW;gBACd,eAAe,EAAE,aAAa;gBAC9B,OAAO,EAAE;oBACP,GAAG,WAAW,CAAC,OAAO;oBACtB,SAAS,EAAE,IAAI,GAAG,CAAC;wBACjB;4BACE,eAAe;4BACf;gCACE,SAAS,EAAE,YAAY;gCACvB,SAAS,EAAE,OAAO;gCAClB,QAAQ,EAAE,eAAe;gCACzB,mBAAmB,EAAE,IAAI;gCACzB,gBAAgB,EAAE,KAAK;gCACvB,UAAU,EAAE,IAAI,GAAG,CAAC;oCAClB;wCACE,OAAO;wCACP;4CACE,IAAI,EAAE,WAAW;4CACjB,cAAc,EAAE,EAAE;4CAClB,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;yCAChD;qCACF;iCACF,CAAC;6BACH;yBACF;qBACF,CAAC;iBACH;aACF,CAAC;YAEF,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,GAAG,WAAW,CAC7C,QAAQ,EACR,kBAAkB,CACnB,CAAC;YACF,MAAM,CAAC,YAAY,CAAC,GAAG,WAAW,CAChC;gBACE,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,QAAQ;gBACrB,MAAM,EAAE,UAAU;aACnB,EACD,WAAW,CACZ,CAAC;YAEF,MAAM,CAAC,WAAW,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,KAAK,CAC/C,kBAAkB,CAAC,oBAAoB,CACxC,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACnD,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/types/references-cases/primitive-and-builtins.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=primitive-and-builtins.test.d.ts.map

package/dist/types/references-cases/primitive-and-builtins.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"primitive-and-builtins.test.d.ts","sourceRoot":"","sources":["../../../src/types/references-cases/primitive-and-builtins.test.ts"],"names":[],"mappings":""}

package/dist/types/references-cases/primitive-and-builtins.test.js

@@ -0,0 +1,116 @@
+import { baseContext, createModuleWithType, describe, emitModule, emitReferenceType, expect, it, printType, } from "./helpers.js";
+describe("Reference Type Emission", () => {
+    describe("C# Primitive Types", () => {
+        it("should emit every real C# predefined reference keyword without qualification", () => {
+            const keywords = [
+                "bool",
+                "byte",
+                "sbyte",
+                "short",
+                "ushort",
+                "int",
+                "uint",
+                "long",
+                "ulong",
+                "nint",
+                "nuint",
+                "char",
+                "float",
+                "double",
+                "decimal",
+                "string",
+                "object",
+            ];
+            for (const keyword of keywords) {
+                const module = createModuleWithType({
+                    kind: "referenceType",
+                    name: keyword,
+                });
+                const result = emitModule(module);
+                expect(result).to.include(`${keyword} x`);
+            }
+        });
+        it("should emit exact BCL numeric aliases as System value types", () => {
+            const cases = [
+                ["half", "global::System.Half"],
+                ["int128", "global::System.Int128"],
+                ["uint128", "global::System.UInt128"],
+            ];
+            for (const [typeName, expected] of cases) {
+                const [typeAst] = emitReferenceType({
+                    kind: "referenceType",
+                    name: typeName,
+                }, baseContext);
+                expect(printType(typeAst)).to.equal(expected);
+            }
+        });
+    });
+    describe("Known Builtin Types", () => {
+        it("should emit Array<T> as native T[] array", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "Array",
+                typeArguments: [{ kind: "primitiveType", name: "number" }],
+            });
+            const result = emitModule(module);
+            expect(result).to.include("double[]");
+            expect(result).not.to.include("List");
+        });
+        it("should let a concrete local Array<T> class win over builtin array lowering", () => {
+            const [typeAst] = emitReferenceType({
+                kind: "referenceType",
+                name: "Array",
+                typeArguments: [{ kind: "primitiveType", name: "number" }],
+            }, {
+                ...baseContext,
+                localTypes: new Map([
+                    [
+                        "Array",
+                        {
+                            kind: "class",
+                            typeParameters: ["T"],
+                            members: [],
+                            implements: [],
+                        },
+                    ],
+                ]),
+            });
+            expect(printType(typeAst)).to.equal("Array<double>");
+        });
+        it("should emit Promise<T> as Task<T>", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "Promise",
+                typeArguments: [{ kind: "primitiveType", name: "string" }],
+            });
+            const result = emitModule(module);
+            expect(result).to.include("global::System.Threading.Tasks.Task<string>");
+        });
+        it("should emit PromiseLike<T> as Task<T>", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "PromiseLike",
+                typeArguments: [{ kind: "primitiveType", name: "string" }],
+            });
+            const result = emitModule(module);
+            expect(result).to.include("global::System.Threading.Tasks.Task<string>");
+        });
+        it("should emit Error when provided through emitter bindings", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "Error",
+            });
+            const errorBinding = {
+                name: "js.Error",
+                alias: "Error",
+                kind: "class",
+                members: [],
+            };
+            const result = emitModule(module, {
+                clrBindings: new Map([["Error", errorBinding]]),
+            });
+            expect(result).to.include("global::js.Error x");
+        });
+    });
+});
+//# sourceMappingURL=primitive-and-builtins.test.js.map

package/dist/types/references-cases/primitive-and-builtins.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"primitive-and-builtins.test.js","sourceRoot":"","sources":["../../../src/types/references-cases/primitive-and-builtins.test.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EACX,oBAAoB,EACpB,QAAQ,EACR,UAAU,EACV,iBAAiB,EACjB,MAAM,EACN,EAAE,EACF,SAAS,GACV,MAAM,cAAc,CAAC;AAGtB,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAClC,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;YACtF,MAAM,QAAQ,GAAG;gBACf,MAAM;gBACN,MAAM;gBACN,OAAO;gBACP,OAAO;gBACP,QAAQ;gBACR,KAAK;gBACL,MAAM;gBACN,MAAM;gBACN,OAAO;gBACP,MAAM;gBACN,OAAO;gBACP,MAAM;gBACN,OAAO;gBACP,QAAQ;gBACR,SAAS;gBACT,QAAQ;gBACR,QAAQ;aACA,CAAC;YAEX,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,MAAM,MAAM,GAAG,oBAAoB,CAAC;oBAClC,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,OAAO;iBACd,CAAC,CAAC;gBAEH,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;gBAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,OAAO,IAAI,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;YACrE,MAAM,KAAK,GAAG;gBACZ,CAAC,MAAM,EAAE,qBAAqB,CAAC;gBAC/B,CAAC,QAAQ,EAAE,uBAAuB,CAAC;gBACnC,CAAC,SAAS,EAAE,wBAAwB,CAAC;aAC7B,CAAC;YAEX,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC;gBACzC,MAAM,CAAC,OAAO,CAAC,GAAG,iBAAiB,CACjC;oBACE,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,QAAQ;iBACf,EACD,WAAW,CACZ,CAAC;gBAEF,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAChD,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;QACnC,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;gBACb,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YACtC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;YACpF,MAAM,CAAC,OAAO,CAAC,GAAG,iBAAiB,CACjC;gBACE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;gBACb,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,EACD;gBACE,GAAG,WAAW;gBACd,UAAU,EAAE,IAAI,GAAG,CAAwB;oBACzC;wBACE,OAAO;wBACP;4BACE,IAAI,EAAE,OAAO;4BACb,cAAc,EAAE,CAAC,GAAG,CAAC;4BACrB,OAAO,EAAE,EAAE;4BACX,UAAU,EAAE,EAAE;yBACf;qBACF;iBACF,CAAC;aACH,CACF,CAAC;YAEF,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,SAAS;gBACf,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,6CAA6C,CAAC,CAAC;QAC3E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,aAAa;gBACnB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,6CAA6C,CAAC,CAAC;QAC3E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;YAClE,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;aACd,CAAC,CAAC;YAEH,MAAM,YAAY,GAAwB;gBACxC,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,OAAO;gBACd,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE;gBAChC,WAAW,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC;aAChD,CAAC,CAAC;YAEH,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/types/references-cases/resolved-and-imported.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=resolved-and-imported.test.d.ts.map

package/dist/types/references-cases/resolved-and-imported.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolved-and-imported.test.d.ts","sourceRoot":"","sources":["../../../src/types/references-cases/resolved-and-imported.test.ts"],"names":[],"mappings":""}