@tsonic/emitter 0.0.73 → 0.0.75

package/dist/core/semantic/comparable-types.d.ts

@@ -0,0 +1,5 @@
+import type { IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+export declare const unwrapComparableType: (type: IrType) => IrType;
+export declare const resolveComparableType: (type: IrType, context: EmitterContext) => IrType;
+//# sourceMappingURL=comparable-types.d.ts.map

package/dist/core/semantic/comparable-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"comparable-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/comparable-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIrD,eAAO,MAAM,oBAAoB,GAAI,MAAM,MAAM,KAAG,MACK,CAAC;AA4J1D,eAAO,MAAM,qBAAqB,GAChC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MAMA,CAAC"}

package/dist/core/semantic/comparable-types.js

@@ -0,0 +1,108 @@
+import { unwrapParameterModifierType } from "./parameter-modifier-types.js";
+import { resolveTypeAlias, stripNullish } from "./type-resolution.js";
+export const unwrapComparableType = (type) => stripNullish(unwrapParameterModifierType(type) ?? type);
+const normalizeComparableMembers = (members, context, cache, active) => members.map((member) => {
+    if (member.kind === "propertySignature") {
+        return {
+            ...member,
+            type: normalizeComparableType(member.type, context, cache, active),
+        };
+    }
+    return {
+        ...member,
+        parameters: member.parameters.map((parameter) => parameter.type
+            ? {
+                ...parameter,
+                type: normalizeComparableType(parameter.type, context, cache, active),
+            }
+            : parameter),
+        returnType: member.returnType
+            ? normalizeComparableType(member.returnType, context, cache, active)
+            : undefined,
+    };
+});
+const normalizeResolvedComparableType = (type, context, cache, active) => {
+    switch (type.kind) {
+        case "referenceType": {
+            if (type.structuralMembers && type.structuralMembers.length > 0) {
+                return {
+                    kind: "objectType",
+                    members: normalizeComparableMembers(type.structuralMembers, context, cache, active),
+                };
+            }
+            const typeArguments = type.typeArguments?.map((argument) => normalizeComparableType(argument, context, cache, active));
+            const typeArgumentsChanged = !!typeArguments &&
+                typeArguments.some((argument, index) => argument !== type.typeArguments?.[index]);
+            return typeArgumentsChanged ? { ...type, typeArguments } : type;
+        }
+        case "unionType": {
+            const types = type.types.map((member) => normalizeComparableType(member, context, cache, active));
+            return types.some((member, index) => member !== type.types[index])
+                ? { ...type, types }
+                : type;
+        }
+        case "intersectionType": {
+            const types = type.types.map((member) => normalizeComparableType(member, context, cache, active));
+            return types.some((member, index) => member !== type.types[index])
+                ? { ...type, types }
+                : type;
+        }
+        case "arrayType": {
+            const elementType = normalizeComparableType(type.elementType, context, cache, active);
+            return elementType !== type.elementType ? { ...type, elementType } : type;
+        }
+        case "dictionaryType": {
+            const keyType = normalizeComparableType(type.keyType, context, cache, active);
+            const valueType = normalizeComparableType(type.valueType, context, cache, active);
+            return keyType !== type.keyType || valueType !== type.valueType
+                ? { ...type, keyType, valueType }
+                : type;
+        }
+        case "tupleType": {
+            const elementTypes = type.elementTypes.map((element) => normalizeComparableType(element, context, cache, active));
+            return elementTypes.some((element, index) => element !== type.elementTypes[index])
+                ? { ...type, elementTypes }
+                : type;
+        }
+        case "functionType": {
+            const parameters = type.parameters.map((parameter) => parameter.type
+                ? {
+                    ...parameter,
+                    type: normalizeComparableType(parameter.type, context, cache, active),
+                }
+                : parameter);
+            const returnType = normalizeComparableType(type.returnType, context, cache, active);
+            return returnType !== type.returnType ||
+                parameters.some((parameter, index) => parameter !== type.parameters[index])
+                ? { ...type, parameters, returnType }
+                : type;
+        }
+        case "objectType": {
+            const members = normalizeComparableMembers(type.members, context, cache, active);
+            return members.some((member, index) => member !== type.members[index])
+                ? { ...type, members }
+                : type;
+        }
+        default:
+            return type;
+    }
+};
+export const resolveComparableType = (type, context) => normalizeComparableType(unwrapComparableType(type), context, new WeakMap(), new WeakSet());
+const normalizeComparableType = (type, context, cache, active) => {
+    const comparable = unwrapComparableType(type);
+    const cached = cache.get(comparable);
+    if (cached) {
+        return cached;
+    }
+    if (active.has(comparable)) {
+        return comparable;
+    }
+    active.add(comparable);
+    const resolved = resolveTypeAlias(comparable, context);
+    const normalized = normalizeResolvedComparableType(resolved, context, cache, active);
+    cache.set(comparable, normalized);
+    cache.set(resolved, normalized);
+    active.delete(comparable);
+    return normalized;
+};
+//# sourceMappingURL=comparable-types.js.map

package/dist/core/semantic/comparable-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"comparable-types.js","sourceRoot":"","sources":["../../../src/core/semantic/comparable-types.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAC5E,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEtE,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAAU,EAAE,CAC3D,YAAY,CAAC,2BAA2B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;AAE1D,MAAM,0BAA0B,GAAG,CACjC,OAA2D,EAC3D,OAAuB,EACvB,KAA8B,EAC9B,MAAuB,EAC6B,EAAE,CACtD,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;IACrB,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACxC,OAAO;YACL,GAAG,MAAM;YACT,IAAI,EAAE,uBAAuB,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;SACnE,CAAC;IACJ,CAAC;IAED,OAAO;QACL,GAAG,MAAM;QACT,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAC9C,SAAS,CAAC,IAAI;YACZ,CAAC,CAAC;gBACE,GAAG,SAAS;gBACZ,IAAI,EAAE,uBAAuB,CAC3B,SAAS,CAAC,IAAI,EACd,OAAO,EACP,KAAK,EACL,MAAM,CACP;aACF;YACH,CAAC,CAAC,SAAS,CACd;QACD,UAAU,EAAE,MAAM,CAAC,UAAU;YAC3B,CAAC,CAAC,uBAAuB,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;YACpE,CAAC,CAAC,SAAS;KACd,CAAC;AACJ,CAAC,CAAC,CAAC;AAEL,MAAM,+BAA+B,GAAG,CACtC,IAAY,EACZ,OAAuB,EACvB,KAA8B,EAC9B,MAAuB,EACf,EAAE;IACV,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,IAAI,IAAI,CAAC,iBAAiB,IAAI,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChE,OAAO;oBACL,IAAI,EAAE,YAAY;oBAClB,OAAO,EAAE,0BAA0B,CACjC,IAAI,CAAC,iBAAiB,EACtB,OAAO,EACP,KAAK,EACL,MAAM,CACP;iBACF,CAAC;YACJ,CAAC;YAED,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CACzD,uBAAuB,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAC1D,CAAC;YACF,MAAM,oBAAoB,GACxB,CAAC,CAAC,aAAa;gBACf,aAAa,CAAC,IAAI,CAChB,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,KAAK,IAAI,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,CAC9D,CAAC;YACJ,OAAO,oBAAoB,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAClE,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACtC,uBAAuB,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CACxD,CAAC;YACF,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAChE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE;gBACpB,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACtC,uBAAuB,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CACxD,CAAC;YACF,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAChE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE;gBACpB,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,WAAW,GAAG,uBAAuB,CACzC,IAAI,CAAC,WAAW,EAChB,OAAO,EACP,KAAK,EACL,MAAM,CACP,CAAC;YACF,OAAO,WAAW,KAAK,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5E,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,OAAO,GAAG,uBAAuB,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC9E,MAAM,SAAS,GAAG,uBAAuB,CACvC,IAAI,CAAC,SAAS,EACd,OAAO,EACP,KAAK,EACL,MAAM,CACP,CAAC;YACF,OAAO,OAAO,KAAK,IAAI,CAAC,OAAO,IAAI,SAAS,KAAK,IAAI,CAAC,SAAS;gBAC7D,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE;gBACjC,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACrD,uBAAuB,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CACzD,CAAC;YACF,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;gBAChF,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,YAAY,EAAE;gBAC3B,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CACnD,SAAS,CAAC,IAAI;gBACZ,CAAC,CAAC;oBACE,GAAG,SAAS;oBACZ,IAAI,EAAE,uBAAuB,CAC3B,SAAS,CAAC,IAAI,EACd,OAAO,EACP,KAAK,EACL,MAAM,CACP;iBACF;gBACH,CAAC,CAAC,SAAS,CACd,CAAC;YACF,MAAM,UAAU,GAAG,uBAAuB,CACxC,IAAI,CAAC,UAAU,EACf,OAAO,EACP,KAAK,EACL,MAAM,CACP,CAAC;YACF,OAAO,UAAU,KAAK,IAAI,CAAC,UAAU;gBACnC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,KAAK,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;gBAC3E,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE;gBACrC,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,OAAO,GAAG,0BAA0B,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YACjF,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBACpE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE;gBACtB,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QAED;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAY,EACZ,OAAuB,EACf,EAAE,CACV,uBAAuB,CACrB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,OAAO,EACP,IAAI,OAAO,EAAkB,EAC7B,IAAI,OAAO,EAAU,CACtB,CAAC;AAEJ,MAAM,uBAAuB,GAAG,CAC9B,IAAY,EACZ,OAAuB,EACvB,KAA8B,EAC9B,MAAuB,EACf,EAAE;IACV,MAAM,UAAU,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,UAAoB,CAAC,CAAC;IAC/C,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,MAAM,CAAC,GAAG,CAAC,UAAoB,CAAC,EAAE,CAAC;QACrC,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,MAAM,CAAC,GAAG,CAAC,UAAoB,CAAC,CAAC;IACjC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACvD,MAAM,UAAU,GAAG,+BAA+B,CAChD,QAAQ,EACR,OAAO,EACP,KAAK,EACL,MAAM,CACP,CAAC;IACF,KAAK,CAAC,GAAG,CAAC,UAAoB,EAAE,UAAU,CAAC,CAAC;IAC5C,KAAK,CAAC,GAAG,CAAC,QAAkB,EAAE,UAAU,CAAC,CAAC;IAC1C,MAAM,CAAC,MAAM,CAAC,UAAoB,CAAC,CAAC;IACpC,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC"}

package/dist/core/semantic/comparable-types.test.d.ts

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

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

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

package/dist/core/semantic/comparable-types.test.js

@@ -0,0 +1,199 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { createContext } from "../../emitter-types/context.js";
+import { resolveComparableType, unwrapComparableType, } from "./comparable-types.js";
+import { areIrTypesEquivalent } from "./type-equivalence.js";
+describe("comparable-types", () => {
+    it("unwraps parameter modifier wrappers and strips nullish", () => {
+        const wrapped = {
+            kind: "referenceType",
+            name: "ref",
+            typeArguments: [
+                {
+                    kind: "unionType",
+                    types: [
+                        { kind: "primitiveType", name: "undefined" },
+                        {
+                            kind: "referenceType",
+                            name: "In",
+                            typeArguments: [{ kind: "primitiveType", name: "string" }],
+                        },
+                    ],
+                },
+            ],
+        };
+        expect(unwrapComparableType(wrapped)).to.deep.equal({
+            kind: "referenceType",
+            name: "In",
+            typeArguments: [{ kind: "primitiveType", name: "string" }],
+        });
+    });
+    it("resolves aliases after comparable unwrapping", () => {
+        const context = {
+            ...createContext({ rootNamespace: "Test" }),
+            localTypes: new Map([
+                [
+                    "Alias",
+                    {
+                        kind: "typeAlias",
+                        typeParameters: [],
+                        type: { kind: "primitiveType", name: "string" },
+                    },
+                ],
+            ]),
+        };
+        const wrappedAlias = {
+            kind: "referenceType",
+            name: "out",
+            typeArguments: [
+                {
+                    kind: "unionType",
+                    types: [
+                        { kind: "primitiveType", name: "null" },
+                        { kind: "referenceType", name: "Alias" },
+                    ],
+                },
+            ],
+        };
+        expect(resolveComparableType(wrappedAlias, context)).to.deep.equal({
+            kind: "primitiveType",
+            name: "string",
+        });
+    });
+    it("normalizes named structural union aliases to the same shape as anonymous union views", () => {
+        const context = {
+            ...createContext({ rootNamespace: "Test" }),
+            localTypes: new Map([
+                [
+                    "Ok",
+                    {
+                        kind: "typeAlias",
+                        typeParameters: ["T"],
+                        type: {
+                            kind: "objectType",
+                            members: [
+                                {
+                                    kind: "propertySignature",
+                                    name: "success",
+                                    type: { kind: "literalType", value: true },
+                                    isOptional: false,
+                                    isReadonly: false,
+                                },
+                                {
+                                    kind: "propertySignature",
+                                    name: "payload",
+                                    type: { kind: "typeParameterType", name: "T" },
+                                    isOptional: false,
+                                    isReadonly: false,
+                                },
+                            ],
+                        },
+                    },
+                ],
+                [
+                    "Err",
+                    {
+                        kind: "typeAlias",
+                        typeParameters: ["E"],
+                        type: {
+                            kind: "objectType",
+                            members: [
+                                {
+                                    kind: "propertySignature",
+                                    name: "success",
+                                    type: { kind: "literalType", value: false },
+                                    isOptional: false,
+                                    isReadonly: false,
+                                },
+                                {
+                                    kind: "propertySignature",
+                                    name: "error",
+                                    type: { kind: "typeParameterType", name: "E" },
+                                    isOptional: false,
+                                    isReadonly: false,
+                                },
+                            ],
+                        },
+                    },
+                ],
+                [
+                    "Result",
+                    {
+                        kind: "typeAlias",
+                        typeParameters: ["T", "E"],
+                        type: {
+                            kind: "unionType",
+                            types: [
+                                {
+                                    kind: "referenceType",
+                                    name: "Err",
+                                    typeArguments: [{ kind: "typeParameterType", name: "E" }],
+                                },
+                                {
+                                    kind: "referenceType",
+                                    name: "Ok",
+                                    typeArguments: [{ kind: "typeParameterType", name: "T" }],
+                                },
+                            ],
+                        },
+                    },
+                ],
+            ]),
+        };
+        const namedResult = {
+            kind: "referenceType",
+            name: "Result",
+            typeArguments: [
+                { kind: "primitiveType", name: "boolean" },
+                { kind: "primitiveType", name: "string" },
+            ],
+        };
+        const anonymousView = {
+            kind: "unionType",
+            types: [
+                {
+                    kind: "referenceType",
+                    name: "__Anon_Ok",
+                    structuralMembers: [
+                        {
+                            kind: "propertySignature",
+                            name: "success",
+                            type: { kind: "literalType", value: true },
+                            isOptional: false,
+                            isReadonly: false,
+                        },
+                        {
+                            kind: "propertySignature",
+                            name: "payload",
+                            type: { kind: "primitiveType", name: "boolean" },
+                            isOptional: false,
+                            isReadonly: false,
+                        },
+                    ],
+                },
+                {
+                    kind: "referenceType",
+                    name: "__Anon_Err",
+                    structuralMembers: [
+                        {
+                            kind: "propertySignature",
+                            name: "success",
+                            type: { kind: "literalType", value: false },
+                            isOptional: false,
+                            isReadonly: false,
+                        },
+                        {
+                            kind: "propertySignature",
+                            name: "error",
+                            type: { kind: "primitiveType", name: "string" },
+                            isOptional: false,
+                            isReadonly: false,
+                        },
+                    ],
+                },
+            ],
+        };
+        expect(areIrTypesEquivalent(resolveComparableType(namedResult, context), resolveComparableType(anonymousView, context), context)).to.equal(true);
+    });
+});
+//# sourceMappingURL=comparable-types.test.js.map

package/dist/core/semantic/comparable-types.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"comparable-types.test.js","sourceRoot":"","sources":["../../../src/core/semantic/comparable-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,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAE7D,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,OAAO,GAAW;YACtB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,KAAK;YACX,aAAa,EAAE;gBACb;oBACE,IAAI,EAAE,WAAW;oBACjB,KAAK,EAAE;wBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;wBAC5C;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,IAAI;4BACV,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;yBAC3D;qBACF;iBACF;aACF;SACF,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAClD,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,IAAI;YACV,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;SAC3D,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,OAAO,GAAmB;YAC9B,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;oBACE,OAAO;oBACP;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,EAAE;wBAClB,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;qBAChD;iBACF;aACF,CAAC;SACH,CAAC;QAEF,MAAM,YAAY,GAAW;YAC3B,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,KAAK;YACX,aAAa,EAAE;gBACb;oBACE,IAAI,EAAE,WAAW;oBACjB,KAAK,EAAE;wBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;wBACvC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;qBACzC;iBACF;aACF;SACF,CAAC;QAEF,MAAM,CAAC,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACjE,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;SACf,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;QAC9F,MAAM,OAAO,GAAmB;YAC9B,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;oBACE,IAAI;oBACJ;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,IAAI,EAAE;4BACJ,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,SAAS;oCACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE;oCAC1C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;gCACD;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,SAAS;oCACf,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oCAC9C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;iBACF;gBACD;oBACE,KAAK;oBACL;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,IAAI,EAAE;4BACJ,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,SAAS;oCACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE;oCAC3C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;gCACD;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,OAAO;oCACb,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oCAC9C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;iBACF;gBACD;oBACE,QAAQ;oBACR;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;wBAC1B,IAAI,EAAE;4BACJ,IAAI,EAAE,WAAW;4BACjB,KAAK,EAAE;gCACL;oCACE,IAAI,EAAE,eAAe;oCACrB,IAAI,EAAE,KAAK;oCACX,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;iCAC1D;gCACD;oCACE,IAAI,EAAE,eAAe;oCACrB,IAAI,EAAE,IAAI;oCACV,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;iCAC1D;6BACF;yBACF;qBACF;iBACF;aACF,CAAC;SACH,CAAC;QAEF,MAAM,WAAW,GAAW;YAC1B,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,aAAa,EAAE;gBACb,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;gBAC1C,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aAC1C;SACF,CAAC;QACF,MAAM,aAAa,GAAW;YAC5B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL;oBACE,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,WAAW;oBACjB,iBAAiB,EAAE;wBACjB;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE;4BAC1C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;4BAChD,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;qBACF;iBACF;gBACD;oBACE,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,YAAY;oBAClB,iBAAiB,EAAE;wBACjB;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE;4BAC3C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;qBACF;iBACF;aACF;SACF,CAAC;QAEF,MAAM,CACJ,oBAAoB,CAClB,qBAAqB,CAAC,WAAW,EAAE,OAAO,CAAC,EAC3C,qBAAqB,CAAC,aAAa,EAAE,OAAO,CAAC,EAC7C,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;AAEL,CAAC,CAAC,CAAC"}

package/dist/core/semantic/condition-branch-narrowing.d.ts

@@ -0,0 +1,6 @@
+import { IrExpression } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+import { type BranchTruthiness, type EmitExprAstFn } from "./narrowing-builders.js";
+export declare const applyConditionBranchNarrowing: (condition: IrExpression, branch: BranchTruthiness, context: EmitterContext, emitExprAst: EmitExprAstFn) => EmitterContext;
+export declare const applyLogicalOperandNarrowing: (left: IrExpression, operator: "&&" | "||", context: EmitterContext, emitExprAst: EmitExprAstFn) => EmitterContext;
+//# sourceMappingURL=condition-branch-narrowing.d.ts.map

package/dist/core/semantic/condition-branch-narrowing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"condition-branch-narrowing.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/condition-branch-narrowing.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EACL,KAAK,gBAAgB,EACrB,KAAK,aAAa,EACnB,MAAM,yBAAyB,CAAC;AAiCjC,eAAO,MAAM,6BAA6B,GACxC,WAAW,YAAY,EACvB,QAAQ,gBAAgB,EACxB,SAAS,cAAc,EACvB,aAAa,aAAa,KACzB,cAmEF,CAAC;AAEF,eAAO,MAAM,4BAA4B,GACvC,MAAM,YAAY,EAClB,UAAU,IAAI,GAAG,IAAI,EACrB,SAAS,cAAc,EACvB,aAAa,aAAa,KACzB,cAMA,CAAC"}

package/dist/core/semantic/condition-branch-narrowing.js

@@ -0,0 +1,50 @@
+import { applyDirectTypeofRefinement, applySimpleNullableRefinement, applyTruthinessNullishRefinement, applyPredicateCallRefinement, applyArrayIsArrayRefinement, applyInstanceofRefinement, } from "./narrowing-refinements.js";
+const resolveConditionAliasExpression = (condition, context, seen = new Set()) => {
+    if (condition.kind !== "identifier") {
+        return condition;
+    }
+    if (seen.has(condition.name)) {
+        return condition;
+    }
+    const alias = context.conditionAliases?.get(condition.name);
+    if (!alias) {
+        return condition;
+    }
+    const nextSeen = new Set(seen);
+    nextSeen.add(condition.name);
+    return resolveConditionAliasExpression(alias, context, nextSeen);
+};
+export const applyConditionBranchNarrowing = (condition, branch, context, emitExprAst) => {
+    const resolvedCondition = resolveConditionAliasExpression(condition, context);
+    if (resolvedCondition !== condition) {
+        return applyConditionBranchNarrowing(resolvedCondition, branch, context, emitExprAst);
+    }
+    if (condition.kind === "unary" && condition.operator === "!") {
+        return applyConditionBranchNarrowing(condition.expression, branch === "truthy" ? "falsy" : "truthy", context, emitExprAst);
+    }
+    if (condition.kind === "logical") {
+        if (condition.operator === "&&") {
+            if (branch === "truthy") {
+                const leftTruthy = applyConditionBranchNarrowing(condition.left, "truthy", context, emitExprAst);
+                return applyConditionBranchNarrowing(condition.right, "truthy", leftTruthy, emitExprAst);
+            }
+            return context;
+        }
+        if (condition.operator === "||") {
+            if (branch === "falsy") {
+                const leftFalsy = applyConditionBranchNarrowing(condition.left, "falsy", context, emitExprAst);
+                return applyConditionBranchNarrowing(condition.right, "falsy", leftFalsy, emitExprAst);
+            }
+            return context;
+        }
+    }
+    return (applyDirectTypeofRefinement(condition, branch, context, emitExprAst) ??
+        applySimpleNullableRefinement(condition, branch, context, emitExprAst) ??
+        applyTruthinessNullishRefinement(condition, branch, context, emitExprAst) ??
+        applyArrayIsArrayRefinement(condition, branch, context, emitExprAst) ??
+        applyPredicateCallRefinement(condition, branch, context, emitExprAst) ??
+        applyInstanceofRefinement(condition, branch, context, emitExprAst) ??
+        context);
+};
+export const applyLogicalOperandNarrowing = (left, operator, context, emitExprAst) => applyConditionBranchNarrowing(left, operator === "&&" ? "truthy" : "falsy", context, emitExprAst);
+//# sourceMappingURL=condition-branch-narrowing.js.map

package/dist/core/semantic/condition-branch-narrowing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"condition-branch-narrowing.js","sourceRoot":"","sources":["../../../src/core/semantic/condition-branch-narrowing.ts"],"names":[],"mappings":"AAMA,OAAO,EACL,2BAA2B,EAC3B,6BAA6B,EAC7B,gCAAgC,EAChC,4BAA4B,EAC5B,2BAA2B,EAC3B,yBAAyB,GAC1B,MAAM,4BAA4B,CAAC;AAEpC,MAAM,+BAA+B,GAAG,CACtC,SAAuB,EACvB,OAAuB,EACvB,OAAO,IAAI,GAAG,EAAU,EACV,EAAE;IAChB,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC5D,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,OAAO,+BAA+B,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;AACnE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,SAAuB,EACvB,MAAwB,EACxB,OAAuB,EACvB,WAA0B,EACV,EAAE;IAClB,MAAM,iBAAiB,GAAG,+BAA+B,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9E,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;QACpC,OAAO,6BAA6B,CAClC,iBAAiB,EACjB,MAAM,EACN,OAAO,EACP,WAAW,CACZ,CAAC;IACJ,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QAC7D,OAAO,6BAA6B,CAClC,SAAS,CAAC,UAAU,EACpB,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EACxC,OAAO,EACP,WAAW,CACZ,CAAC;IACJ,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACjC,IAAI,SAAS,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAChC,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;gBACxB,MAAM,UAAU,GAAG,6BAA6B,CAC9C,SAAS,CAAC,IAAI,EACd,QAAQ,EACR,OAAO,EACP,WAAW,CACZ,CAAC;gBACF,OAAO,6BAA6B,CAClC,SAAS,CAAC,KAAK,EACf,QAAQ,EACR,UAAU,EACV,WAAW,CACZ,CAAC;YACJ,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,IAAI,SAAS,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAChC,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;gBACvB,MAAM,SAAS,GAAG,6BAA6B,CAC7C,SAAS,CAAC,IAAI,EACd,OAAO,EACP,OAAO,EACP,WAAW,CACZ,CAAC;gBACF,OAAO,6BAA6B,CAClC,SAAS,CAAC,KAAK,EACf,OAAO,EACP,SAAS,EACT,WAAW,CACZ,CAAC;YACJ,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC;IAED,OAAO,CACL,2BAA2B,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC;QACpE,6BAA6B,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC;QACtE,gCAAgC,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC;QACzE,2BAA2B,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC;QACpE,4BAA4B,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC;QACrE,yBAAyB,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC;QAClE,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAkB,EAClB,QAAqB,EACrB,OAAuB,EACvB,WAA0B,EACV,EAAE,CAClB,6BAA6B,CAC3B,IAAI,EACJ,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EACtC,OAAO,EACP,WAAW,CACZ,CAAC"}

package/dist/core/semantic/defaults.d.ts

@@ -0,0 +1,7 @@
+import type { IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+import type { CSharpTypeAst } from "../format/backend-ast/types.js";
+export declare const getAcceptedSurfaceType: (type: IrType | undefined, isOptional: boolean) => IrType | undefined;
+export declare const getAcceptedParameterType: (parameterType: IrType | undefined, isOptional: boolean) => IrType | undefined;
+export declare const emitTypedDefaultAst: (expectedType: IrType | undefined, context: EmitterContext) => [CSharpTypeAst | undefined, EmitterContext];
+//# sourceMappingURL=defaults.d.ts.map

package/dist/core/semantic/defaults.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"defaults.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/defaults.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AA+BpE,eAAO,MAAM,sBAAsB,GACjC,MAAM,MAAM,GAAG,SAAS,EACxB,YAAY,OAAO,KAClB,MAAM,GAAG,SAUX,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,eAAe,MAAM,GAAG,SAAS,EACjC,YAAY,OAAO,KAClB,MAAM,GAAG,SAA8D,CAAC;AAsB3E,eAAO,MAAM,mBAAmB,GAC9B,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,CAAC,aAAa,GAAG,SAAS,EAAE,cAAc,CAyB5C,CAAC"}

package/dist/core/semantic/defaults.js

@@ -0,0 +1,61 @@
+import { emitTypeAst } from "../../type-emitter.js";
+import { isDefinitelyValueType, resolveTypeAlias, stripNullish, } from "./type-resolution.js";
+import { rebuildUnionTypePreservingCarrierFamily } from "./runtime-union-family-preservation.js";
+import { normalizeValueSlotType } from "./value-slot-types.js";
+const addUndefinedBranch = (type) => {
+    const members = type.kind === "unionType" ? type.types : [type];
+    if (members.some((member) => member.kind === "primitiveType" && member.name === "undefined")) {
+        return type;
+    }
+    return type.kind === "unionType"
+        ? rebuildUnionTypePreservingCarrierFamily(type, [
+            ...members,
+            { kind: "primitiveType", name: "undefined" },
+        ])
+        : {
+            kind: "unionType",
+            types: [...members, { kind: "primitiveType", name: "undefined" }],
+        };
+};
+export const getAcceptedSurfaceType = (type, isOptional) => {
+    if (!type) {
+        return undefined;
+    }
+    if (!isOptional) {
+        return type;
+    }
+    return addUndefinedBranch(type);
+};
+export const getAcceptedParameterType = (parameterType, isOptional) => getAcceptedSurfaceType(parameterType, isOptional);
+const getSingleNonNullishMember = (type) => {
+    if (type.kind !== "unionType") {
+        return undefined;
+    }
+    const nonNullish = type.types.filter((member) => !(member.kind === "primitiveType" &&
+        (member.name === "null" || member.name === "undefined")));
+    if (nonNullish.length !== 1) {
+        return undefined;
+    }
+    return nonNullish[0];
+};
+export const emitTypedDefaultAst = (expectedType, context) => {
+    if (!expectedType) {
+        return [undefined, context];
+    }
+    const singleNonNullish = getSingleNonNullishMember(expectedType);
+    const nullableBase = singleNonNullish ?? stripNullish(expectedType);
+    const resolvedBase = resolveTypeAlias(nullableBase, context);
+    if (singleNonNullish && isDefinitelyValueType(resolvedBase)) {
+        const [underlyingTypeAst, nextContext] = emitTypeAst(nullableBase, context);
+        return [
+            {
+                kind: "nullableType",
+                underlyingType: underlyingTypeAst,
+            },
+            nextContext,
+        ];
+    }
+    const [typeAst, nextContext] = emitTypeAst(normalizeValueSlotType(singleNonNullish ?? expectedType), context);
+    return [typeAst, nextContext];
+};
+//# sourceMappingURL=defaults.js.map

package/dist/core/semantic/defaults.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"defaults.js","sourceRoot":"","sources":["../../../src/core/semantic/defaults.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EACL,qBAAqB,EACrB,gBAAgB,EAChB,YAAY,GACb,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,uCAAuC,EAAE,MAAM,wCAAwC,CAAC;AACjG,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAE/D,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAU,EAAE;IAClD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAChE,IACE,OAAO,CAAC,IAAI,CACV,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,CAC3E,EACD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,IAAI,CAAC,IAAI,KAAK,WAAW;QAC9B,CAAC,CAAC,uCAAuC,CAAC,IAAI,EAAE;YAC5C,GAAG,OAAO;YACV,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;SAC7C,CAAC;QACJ,CAAC,CAAC;YACE,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC,GAAG,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;SAClE,CAAC;AACR,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAwB,EACxB,UAAmB,EACC,EAAE;IACtB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC;AAClC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,aAAiC,EACjC,UAAmB,EACC,EAAE,CAAC,sBAAsB,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;AAE3E,MAAM,yBAAyB,GAAG,CAAC,IAAY,EAAsB,EAAE;IACrE,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAClC,CAAC,MAAM,EAAE,EAAE,CACT,CAAC,CACC,MAAM,CAAC,IAAI,KAAK,eAAe;QAC/B,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,CACxD,CACJ,CAAC;IAEF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,YAAgC,EAChC,OAAuB,EACsB,EAAE;IAC/C,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,gBAAgB,GAAG,yBAAyB,CAAC,YAAY,CAAC,CAAC;IACjE,MAAM,YAAY,GAAG,gBAAgB,IAAI,YAAY,CAAC,YAAY,CAAC,CAAC;IACpE,MAAM,YAAY,GAAG,gBAAgB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAE7D,IAAI,gBAAgB,IAAI,qBAAqB,CAAC,YAAY,CAAC,EAAE,CAAC;QAC5D,MAAM,CAAC,iBAAiB,EAAE,WAAW,CAAC,GAAG,WAAW,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;QAC5E,OAAO;YACL;gBACE,IAAI,EAAE,cAAc;gBACpB,cAAc,EAAE,iBAAiB;aAClC;YACD,WAAW;SACZ,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,WAAW,CACxC,sBAAsB,CAAC,gBAAgB,IAAI,YAAY,CAAC,EACxD,OAAO,CACR,CAAC;IACF,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;AAChC,CAAC,CAAC"}

package/dist/core/semantic/defaults.test.d.ts

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

package/dist/core/semantic/defaults.test.d.ts.map

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

package/dist/core/semantic/defaults.test.js

@@ -0,0 +1,88 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { getAcceptedParameterType, getAcceptedSurfaceType, } from "./defaults.js";
+describe("defaults", () => {
+    it("preserves required parameter types as-is", () => {
+        const type = { kind: "primitiveType", name: "int" };
+        expect(getAcceptedParameterType(type, false)).to.equal(type);
+    });
+    it("widens optional parameter types to accept explicit undefined", () => {
+        expect(getAcceptedParameterType({ kind: "primitiveType", name: "int" }, true)).to.deep.equal({
+            kind: "unionType",
+            types: [
+                { kind: "primitiveType", name: "int" },
+                { kind: "primitiveType", name: "undefined" },
+            ],
+        });
+    });
+    it("uses the same widening for default-initialized parameters", () => {
+        expect(getAcceptedParameterType({ kind: "primitiveType", name: "int" }, true)).to.deep.equal({
+            kind: "unionType",
+            types: [
+                { kind: "primitiveType", name: "int" },
+                { kind: "primitiveType", name: "undefined" },
+            ],
+        });
+    });
+    it("leaves missing parameter types unresolved", () => {
+        expect(getAcceptedParameterType(undefined, true)).to.equal(undefined);
+    });
+    it("preserves optional surfaces that already include undefined", () => {
+        const type = {
+            kind: "unionType",
+            types: [
+                { kind: "primitiveType", name: "string" },
+                { kind: "primitiveType", name: "undefined" },
+            ],
+        };
+        expect(getAcceptedSurfaceType(type, true)).to.equal(type);
+    });
+    it("flattens optional unions when adding explicit undefined", () => {
+        expect(getAcceptedParameterType({
+            kind: "unionType",
+            types: [
+                {
+                    kind: "arrayType",
+                    elementType: { kind: "primitiveType", name: "string" },
+                    origin: "explicit",
+                },
+                { kind: "primitiveType", name: "null" },
+            ],
+        }, true)).to.deep.equal({
+            kind: "unionType",
+            types: [
+                {
+                    kind: "arrayType",
+                    elementType: { kind: "primitiveType", name: "string" },
+                    origin: "explicit",
+                },
+                { kind: "primitiveType", name: "null" },
+                { kind: "primitiveType", name: "undefined" },
+            ],
+        });
+    });
+    it("preserves runtime carrier metadata when widening optional unions", () => {
+        const accepted = getAcceptedParameterType({
+            kind: "unionType",
+            types: [
+                { kind: "primitiveType", name: "int" },
+                { kind: "primitiveType", name: "string" },
+            ],
+            runtimeCarrierFamilyKey: "runtime-union:canonical:prim:int|prim:string",
+            runtimeCarrierName: "Signal",
+            runtimeCarrierNamespace: "Test",
+        }, true);
+        expect(accepted).to.deep.equal({
+            kind: "unionType",
+            types: [
+                { kind: "primitiveType", name: "int" },
+                { kind: "primitiveType", name: "string" },
+                { kind: "primitiveType", name: "undefined" },
+            ],
+            runtimeCarrierFamilyKey: "runtime-union:canonical:prim:int|prim:string",
+            runtimeCarrierName: "Signal",
+            runtimeCarrierNamespace: "Test",
+        });
+    });
+});
+//# sourceMappingURL=defaults.test.js.map

package/dist/core/semantic/defaults.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"defaults.test.js","sourceRoot":"","sources":["../../../src/core/semantic/defaults.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAE9B,OAAO,EACL,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,eAAe,CAAC;AAEvB,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;IACxB,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAE5D,MAAM,CAAC,wBAAwB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CACJ,wBAAwB,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,CAAC,CACvE,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACd,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;gBACtC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;aAC7C;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CACJ,wBAAwB,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,CAAC,CACvE,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACd,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;gBACtC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;aAC7C;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,wBAAwB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;aAC7C;SACF,CAAC;QAEF,MAAM,CAAC,sBAAsB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CACJ,wBAAwB,CACtB;YACE,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL;oBACE,IAAI,EAAE,WAAW;oBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACtD,MAAM,EAAE,UAAU;iBACnB;gBACD,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;aACxC;SACF,EACD,IAAI,CACL,CACF,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACd,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL;oBACE,IAAI,EAAE,WAAW;oBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACtD,MAAM,EAAE,UAAU;iBACnB;gBACD,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;gBACvC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;aAC7C;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,QAAQ,GAAG,wBAAwB,CACvC;YACE,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;gBACtC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aAC1C;YACD,uBAAuB,EAAE,8CAA8C;YACvE,kBAAkB,EAAE,QAAQ;YAC5B,uBAAuB,EAAE,MAAM;SAChC,EACD,IAAI,CACL,CAAC;QAEF,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC7B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;gBACtC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;aAC7C;YACD,uBAAuB,EAAE,8CAA8C;YACvE,kBAAkB,EAAE,QAAQ;YAC5B,uBAAuB,EAAE,MAAM;SAChC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/semantic/deterministic-type-keys.d.ts

@@ -0,0 +1,8 @@
+import type { IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+export declare const isIdentityLessReferenceStableKeyError: (error: unknown) => boolean;
+export declare const tryStableIrTypeKey: (type: IrType) => string | undefined;
+export declare const tryContextualTypeIdentityKey: (type: IrType, context: EmitterContext) => string | undefined;
+export declare const getContextualTypeVisitKey: (type: IrType, context: EmitterContext) => string;
+export declare const describeIrTypeForDiagnostics: (type: IrType, context: EmitterContext) => string;
+//# sourceMappingURL=deterministic-type-keys.d.ts.map

package/dist/core/semantic/deterministic-type-keys.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"deterministic-type-keys.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/deterministic-type-keys.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAkC,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAuCrD,eAAO,MAAM,qCAAqC,GAChD,OAAO,OAAO,KACb,OAIA,CAAC;AAEJ,eAAO,MAAM,kBAAkB,GAAI,MAAM,MAAM,KAAG,MAAM,GAAG,SAS1D,CAAC;AA+TF,eAAO,MAAM,4BAA4B,GACvC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MAAM,GAAG,SAC0D,CAAC;AAEvE,eAAO,MAAM,yBAAyB,GACpC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MACqE,CAAC;AAEzE,eAAO,MAAM,4BAA4B,GACvC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MAGwC,CAAC"}