@tsonic/emitter 0.0.73 → 0.0.75

package/dist/core/semantic/runtime-call-arities.js

@@ -0,0 +1,104 @@
+import { canEmitParameterDefaultInSignature } from "../../statements/parameter-defaults.js";
+const isRuntimeConstantDefaultExpression = (expression) => {
+    if (!expression) {
+        return false;
+    }
+    switch (expression.kind) {
+        case "literal":
+            return true;
+        case "numericNarrowing":
+        case "typeAssertion":
+        case "asinterface":
+            return isRuntimeConstantDefaultExpression(expression.expression);
+        case "defaultof":
+            return true;
+        default:
+            return false;
+    }
+};
+const stripNullishIrType = (type) => {
+    if (!type) {
+        return undefined;
+    }
+    if (type.kind !== "unionType") {
+        return type;
+    }
+    const remaining = type.types.filter((member) => !(member.kind === "primitiveType" &&
+        (member.name === "null" || member.name === "undefined")));
+    if (remaining.length === 1) {
+        return remaining[0];
+    }
+    return {
+        ...type,
+        types: remaining,
+    };
+};
+const supportsRuntimeNullishDefault = (type) => {
+    const normalized = stripNullishIrType(type);
+    if (!normalized) {
+        return false;
+    }
+    switch (normalized.kind) {
+        case "referenceType":
+        case "arrayType":
+        case "tupleType":
+        case "functionType":
+        case "objectType":
+        case "dictionaryType":
+        case "intersectionType":
+        case "anyType":
+        case "unknownType":
+            return true;
+        case "primitiveType":
+            return (normalized.name === "string" ||
+                normalized.name === "null" ||
+                normalized.name === "undefined");
+        case "unionType":
+            return normalized.types.length > 1
+                ? true
+                : supportsRuntimeNullishDefault(normalized.types[0]);
+        case "literalType":
+            return typeof normalized.value === "string";
+        case "typeParameterType":
+        case "voidType":
+        case "neverType":
+            return false;
+    }
+};
+const buildRuntimeOmittableCallArities = (parameters, isRuntimeOmittable) => {
+    const arities = [parameters.length];
+    let suffixIsRuntimeOmittable = true;
+    for (let index = parameters.length - 1; index >= 0; index -= 1) {
+        const parameter = parameters[index];
+        if (!parameter) {
+            continue;
+        }
+        suffixIsRuntimeOmittable =
+            suffixIsRuntimeOmittable && isRuntimeOmittable(parameter, index);
+        if (suffixIsRuntimeOmittable) {
+            arities.push(index);
+        }
+    }
+    arities.sort((left, right) => left - right);
+    return arities;
+};
+export const computeDeclarationRuntimeOmittableCallArities = (parameters) => buildRuntimeOmittableCallArities(parameters, (parameter, index) => parameter.isOptional ||
+    parameter.initializer !== undefined ||
+    (parameter.isRest && index === parameters.length - 1));
+export const computeFunctionValueRuntimeOmittableCallArities = (parameters) => buildRuntimeOmittableCallArities(parameters, (parameter, index) => {
+    if (parameter.isRest) {
+        return index === parameters.length - 1;
+    }
+    if (!canEmitParameterDefaultInSignature(parameters, index)) {
+        return false;
+    }
+    if (parameter.isOptional) {
+        return true;
+    }
+    if (!parameter.initializer) {
+        return false;
+    }
+    return (isRuntimeConstantDefaultExpression(parameter.initializer) ||
+        supportsRuntimeNullishDefault(parameter.type));
+});
+//# sourceMappingURL=runtime-call-arities.js.map

package/dist/core/semantic/runtime-call-arities.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-call-arities.js","sourceRoot":"","sources":["../../../src/core/semantic/runtime-call-arities.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kCAAkC,EAAE,MAAM,wCAAwC,CAAC;AAE5F,MAAM,kCAAkC,GAAG,CACzC,UAAoC,EAC3B,EAAE;IACX,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC;QACd,KAAK,kBAAkB,CAAC;QACxB,KAAK,eAAe,CAAC;QACrB,KAAK,aAAa;YAChB,OAAO,kCAAkC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QACnE,KAAK,WAAW;YACd,OAAO,IAAI,CAAC;QACd;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,IAAwB,EAAsB,EAAE;IAC1E,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CACjC,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,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC;IAED,OAAO;QACL,GAAG,IAAI;QACP,KAAK,EAAE,SAAS;KACjB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CAAC,IAAwB,EAAW,EAAE;IAC1E,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,eAAe,CAAC;QACrB,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW,CAAC;QACjB,KAAK,cAAc,CAAC;QACpB,KAAK,YAAY,CAAC;QAClB,KAAK,gBAAgB,CAAC;QACtB,KAAK,kBAAkB,CAAC;QACxB,KAAK,SAAS,CAAC;QACf,KAAK,aAAa;YAChB,OAAO,IAAI,CAAC;QACd,KAAK,eAAe;YAClB,OAAO,CACL,UAAU,CAAC,IAAI,KAAK,QAAQ;gBAC5B,UAAU,CAAC,IAAI,KAAK,MAAM;gBAC1B,UAAU,CAAC,IAAI,KAAK,WAAW,CAChC,CAAC;QACJ,KAAK,WAAW;YACd,OAAO,UAAU,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;gBAChC,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,6BAA6B,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACzD,KAAK,aAAa;YAChB,OAAO,OAAO,UAAU,CAAC,KAAK,KAAK,QAAQ,CAAC;QAC9C,KAAK,mBAAmB,CAAC;QACzB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,UAAkC,EAClC,kBAAsE,EACnD,EAAE;IACrB,MAAM,OAAO,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,wBAAwB,GAAG,IAAI,CAAC;IAEpC,KAAK,IAAI,KAAK,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/D,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,SAAS;QACX,CAAC;QAED,wBAAwB;YACtB,wBAAwB,IAAI,kBAAkB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACnE,IAAI,wBAAwB,EAAE,CAAC;YAC7B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IAED,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC;IAC5C,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6CAA6C,GAAG,CAC3D,UAAkC,EACf,EAAE,CACrB,gCAAgC,CAC9B,UAAU,EACV,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CACnB,SAAS,CAAC,UAAU;IACpB,SAAS,CAAC,WAAW,KAAK,SAAS;IACnC,CAAC,SAAS,CAAC,MAAM,IAAI,KAAK,KAAK,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CACxD,CAAC;AAEJ,MAAM,CAAC,MAAM,+CAA+C,GAAG,CAC7D,UAAkC,EACf,EAAE,CACrB,gCAAgC,CAAC,UAAU,EAAE,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;IAChE,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;QACrB,OAAO,KAAK,KAAK,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;IACzC,CAAC;IAED,IAAI,CAAC,kCAAkC,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC;QAC3D,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CACL,kCAAkC,CAAC,SAAS,CAAC,WAAW,CAAC;QACzD,6BAA6B,CAAC,SAAS,CAAC,IAAI,CAAC,CAC9C,CAAC;AACJ,CAAC,CAAC,CAAC"}

package/dist/core/semantic/runtime-materialization-targets.d.ts

@@ -0,0 +1,4 @@
+import type { IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+export declare const resolveRuntimeMaterializationTargetType: (target: IrType, context: EmitterContext) => IrType;
+//# sourceMappingURL=runtime-materialization-targets.d.ts.map

package/dist/core/semantic/runtime-materialization-targets.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-materialization-targets.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/runtime-materialization-targets.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAarD,eAAO,MAAM,uCAAuC,GAClD,QAAQ,MAAM,EACd,SAAS,cAAc,KACtB,MAmFF,CAAC"}

package/dist/core/semantic/runtime-materialization-targets.js

@@ -0,0 +1,69 @@
+import { getIdentifierTypeName } from "../format/backend-ast/utils.js";
+import { resolveLocalTypeInfo, resolveTypeAlias, substituteTypeArgs, } from "./type-resolution.js";
+import { collectRuntimeUnionRawMembers, expandRuntimeUnionMembers, } from "./runtime-union-expansion.js";
+import { rebuildUnionTypePreservingCarrierFamily } from "./runtime-union-family-preservation.js";
+export const resolveRuntimeMaterializationTargetType = (target, context) => {
+    if (target.kind === "referenceType") {
+        const typeInfoResult = resolveLocalTypeInfo(target, context);
+        const typeInfo = typeInfoResult?.info;
+        if (typeInfo?.kind === "typeAlias") {
+            if (typeInfo.type.kind === "objectType") {
+                return target;
+            }
+            if (typeInfo.type.kind === "unionType" &&
+                typeInfo.type.runtimeCarrierFamilyKey) {
+                return target;
+            }
+            const substituted = target.typeArguments && target.typeArguments.length > 0
+                ? substituteTypeArgs(typeInfo.type, typeInfo.typeParameters, target.typeArguments)
+                : typeInfo.type;
+            return resolveRuntimeMaterializationTargetType(substituted, context);
+        }
+    }
+    if (target.kind === "referenceType" && target.typeArguments?.length) {
+        const importBinding = context.importBindings?.get(target.name);
+        const clrName = importBinding?.kind === "type"
+            ? (getIdentifierTypeName(importBinding.typeAst) ?? "")
+            : "";
+        if (clrName.endsWith(".ExtensionMethods")) {
+            const shape = target.typeArguments[0];
+            if (shape) {
+                return resolveRuntimeMaterializationTargetType(shape, context);
+            }
+        }
+    }
+    if (target.kind === "intersectionType") {
+        for (const part of target.types) {
+            const resolved = resolveRuntimeMaterializationTargetType(part, context);
+            if (resolved.kind !== "intersectionType" &&
+                resolved.kind !== "objectType") {
+                return resolved;
+            }
+        }
+        const fallback = target.types[0];
+        return fallback
+            ? resolveRuntimeMaterializationTargetType(fallback, context)
+            : target;
+    }
+    if (target.kind === "unionType") {
+        const expandedMembers = target.preserveRuntimeLayout === true
+            ? collectRuntimeUnionRawMembers(target, context)
+            : expandRuntimeUnionMembers(target, context);
+        if (expandedMembers.length === 0) {
+            return target;
+        }
+        if (expandedMembers.length === 1) {
+            return expandedMembers[0] ?? target;
+        }
+        return rebuildUnionTypePreservingCarrierFamily(target, expandedMembers);
+    }
+    const resolved = resolveTypeAlias(target, context);
+    if (resolved !== target) {
+        if (target.kind === "referenceType" && resolved.kind === "objectType") {
+            return target;
+        }
+        return resolveRuntimeMaterializationTargetType(resolved, context);
+    }
+    return target;
+};
+//# sourceMappingURL=runtime-materialization-targets.js.map

package/dist/core/semantic/runtime-materialization-targets.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-materialization-targets.js","sourceRoot":"","sources":["../../../src/core/semantic/runtime-materialization-targets.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EACL,oBAAoB,EACpB,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,6BAA6B,EAC7B,yBAAyB,GAC1B,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,uCAAuC,EAAE,MAAM,wCAAwC,CAAC;AAEjG,MAAM,CAAC,MAAM,uCAAuC,GAAG,CACrD,MAAc,EACd,OAAuB,EACf,EAAE;IACV,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACpC,MAAM,cAAc,GAAG,oBAAoB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC7D,MAAM,QAAQ,GAAG,cAAc,EAAE,IAAI,CAAC;QACtC,IAAI,QAAQ,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;YACnC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBACxC,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,IACE,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW;gBAClC,QAAQ,CAAC,IAAI,CAAC,uBAAuB,EACrC,CAAC;gBACD,OAAO,MAAM,CAAC;YAChB,CAAC;YAED,MAAM,WAAW,GACf,MAAM,CAAC,aAAa,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;gBACrD,CAAC,CAAC,kBAAkB,CAChB,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,cAAc,EACvB,MAAM,CAAC,aAAa,CACrB;gBACH,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;YACpB,OAAO,uCAAuC,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC;QACpE,MAAM,aAAa,GAAG,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC/D,MAAM,OAAO,GACX,aAAa,EAAE,IAAI,KAAK,MAAM;YAC5B,CAAC,CAAC,CAAC,qBAAqB,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YACtD,CAAC,CAAC,EAAE,CAAC;QACT,IAAI,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;YAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YACtC,IAAI,KAAK,EAAE,CAAC;gBACV,OAAO,uCAAuC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACjE,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACvC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,MAAM,QAAQ,GAAG,uCAAuC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACxE,IACE,QAAQ,CAAC,IAAI,KAAK,kBAAkB;gBACpC,QAAQ,CAAC,IAAI,KAAK,YAAY,EAC9B,CAAC;gBACD,OAAO,QAAQ,CAAC;YAClB,CAAC;QACH,CAAC;QAED,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACjC,OAAO,QAAQ;YACb,CAAC,CAAC,uCAAuC,CAAC,QAAQ,EAAE,OAAO,CAAC;YAC5D,CAAC,CAAC,MAAM,CAAC;IACb,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAChC,MAAM,eAAe,GACnB,MAAM,CAAC,qBAAqB,KAAK,IAAI;YACnC,CAAC,CAAC,6BAA6B,CAAC,MAAM,EAAE,OAAO,CAAC;YAChD,CAAC,CAAC,yBAAyB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACjD,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,OAAO,eAAe,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC;QACtC,CAAC;QAED,OAAO,uCAAuC,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC1E,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACnD,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QACxB,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACtE,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,OAAO,uCAAuC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACpE,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC"}

package/dist/core/semantic/runtime-reification-helpers.d.ts

@@ -0,0 +1,9 @@
+import type { CSharpExpressionAst, CSharpTypeAst } from "../format/backend-ast/types.js";
+export declare const boxValueAst: (valueAst: CSharpExpressionAst) => CSharpExpressionAst;
+export declare const getRuntimeUnionCastMemberTypeAsts: (valueAst: CSharpExpressionAst) => readonly CSharpTypeAst[] | undefined;
+export declare const tryResolveRuntimeUnionCastSourceIndices: (valueAst: CSharpExpressionAst, sourceMemberTypeAsts: readonly CSharpTypeAst[]) => readonly number[] | undefined;
+export declare const isRuntimeUnionTypeAst: (type: CSharpTypeAst) => boolean;
+export declare const buildArrayShapeCondition: (valueAst: CSharpExpressionAst) => CSharpExpressionAst;
+export declare const buildInvalidReificationExpression: (description: string) => CSharpExpressionAst;
+export declare const maybeCastMaterializedValueAst: (valueAst: CSharpExpressionAst, actualTypeAst: CSharpTypeAst | undefined, targetTypeAst: CSharpTypeAst) => CSharpExpressionAst;
+//# sourceMappingURL=runtime-reification-helpers.d.ts.map

package/dist/core/semantic/runtime-reification-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-reification-helpers.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/runtime-reification-helpers.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EACV,mBAAmB,EACnB,aAAa,EACd,MAAM,gCAAgC,CAAC;AAExC,eAAO,MAAM,WAAW,GACtB,UAAU,mBAAmB,KAC5B,mBAcF,CAAC;AAEF,eAAO,MAAM,iCAAiC,GAC5C,UAAU,mBAAmB,KAC5B,SAAS,aAAa,EAAE,GAAG,SAsB7B,CAAC;AAEF,eAAO,MAAM,uCAAuC,GAClD,UAAU,mBAAmB,EAC7B,sBAAsB,SAAS,aAAa,EAAE,KAC7C,SAAS,MAAM,EAAE,GAAG,SAkCtB,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAAI,MAAM,aAAa,KAAG,OAe3D,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,UAAU,mBAAmB,KAC5B,mBAOD,CAAC;AAEH,eAAO,MAAM,iCAAiC,GAC5C,aAAa,MAAM,KAClB,mBAOD,CAAC;AAEH,eAAO,MAAM,6BAA6B,GACxC,UAAU,mBAAmB,EAC7B,eAAe,aAAa,GAAG,SAAS,EACxC,eAAe,aAAa,KAC3B,mBAUF,CAAC"}

package/dist/core/semantic/runtime-reification-helpers.js

@@ -0,0 +1,99 @@
+import { identifierType, stringLiteral, } from "../format/backend-ast/builders.js";
+import { getIdentifierTypeName, sameTypeAstSurface, stripNullableTypeAst, } from "../format/backend-ast/utils.js";
+export const boxValueAst = (valueAst) => {
+    if (valueAst.kind === "castExpression" &&
+        valueAst.type.kind === "predefinedType" &&
+        valueAst.type.keyword === "object") {
+        return valueAst;
+    }
+    return {
+        kind: "castExpression",
+        type: { kind: "predefinedType", keyword: "object" },
+        expression: valueAst,
+    };
+};
+export const getRuntimeUnionCastMemberTypeAsts = (valueAst) => {
+    const unwrappedValueAst = valueAst.kind === "parenthesizedExpression"
+        ? valueAst.expression
+        : valueAst;
+    if (unwrappedValueAst.kind !== "castExpression") {
+        return undefined;
+    }
+    const castTypeAst = stripNullableTypeAst(unwrappedValueAst.type);
+    if (!isRuntimeUnionTypeAst(castTypeAst)) {
+        return undefined;
+    }
+    if (castTypeAst.kind !== "identifierType" &&
+        castTypeAst.kind !== "qualifiedIdentifierType") {
+        return undefined;
+    }
+    return castTypeAst.typeArguments?.map(stripNullableTypeAst);
+};
+export const tryResolveRuntimeUnionCastSourceIndices = (valueAst, sourceMemberTypeAsts) => {
+    const castMemberTypeAsts = getRuntimeUnionCastMemberTypeAsts(valueAst);
+    if (!castMemberTypeAsts ||
+        castMemberTypeAsts.length < 2 ||
+        castMemberTypeAsts.length >= sourceMemberTypeAsts.length) {
+        return undefined;
+    }
+    const restrictedIndices = [];
+    const usedIndices = new Set();
+    for (const castMemberTypeAst of castMemberTypeAsts) {
+        const matchingIndices = sourceMemberTypeAsts.flatMap((sourceMemberTypeAst, index) => !usedIndices.has(index) &&
+            sourceMemberTypeAst &&
+            sameTypeAstSurface(sourceMemberTypeAst, castMemberTypeAst)
+            ? [index]
+            : []);
+        if (matchingIndices.length !== 1) {
+            return undefined;
+        }
+        const matchedIndex = matchingIndices[0];
+        if (matchedIndex === undefined) {
+            return undefined;
+        }
+        restrictedIndices.push(matchedIndex);
+        usedIndices.add(matchedIndex);
+    }
+    return restrictedIndices;
+};
+export const isRuntimeUnionTypeAst = (type) => {
+    const name = getIdentifierTypeName(type) ?? "";
+    return (name === "global::Tsonic.Runtime.Union" ||
+        name === "Tsonic.Runtime.Union" ||
+        name === "global::Tsonic.Internal.Union" ||
+        name === "Tsonic.Internal.Union" ||
+        name === "Union" ||
+        /^global::Tsonic\.Internal\.Union\d+$/.test(name) ||
+        /^Tsonic\.Internal\.Union\d+$/.test(name) ||
+        /^Union\d+$/.test(name) ||
+        /^global::Tsonic\.Internal\.Union\d+_[A-F0-9]{8}$/.test(name) ||
+        /^Tsonic\.Internal\.Union\d+_[A-F0-9]{8}$/.test(name) ||
+        /^Union\d+_[A-F0-9]{8}$/.test(name));
+};
+export const buildArrayShapeCondition = (valueAst) => ({
+    kind: "isExpression",
+    expression: boxValueAst(valueAst),
+    pattern: {
+        kind: "typePattern",
+        type: identifierType("global::System.Array"),
+    },
+});
+export const buildInvalidReificationExpression = (description) => ({
+    kind: "throwExpression",
+    expression: {
+        kind: "objectCreationExpression",
+        type: identifierType("global::System.InvalidCastException"),
+        arguments: [stringLiteral(description)],
+    },
+});
+export const maybeCastMaterializedValueAst = (valueAst, actualTypeAst, targetTypeAst) => {
+    if (actualTypeAst && sameTypeAstSurface(actualTypeAst, targetTypeAst)) {
+        return valueAst;
+    }
+    return {
+        kind: "castExpression",
+        type: targetTypeAst,
+        expression: valueAst,
+    };
+};
+//# sourceMappingURL=runtime-reification-helpers.js.map

package/dist/core/semantic/runtime-reification-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-reification-helpers.js","sourceRoot":"","sources":["../../../src/core/semantic/runtime-reification-helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,cAAc,EACd,aAAa,GACd,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,gCAAgC,CAAC;AAMxC,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,QAA6B,EACR,EAAE;IACvB,IACE,QAAQ,CAAC,IAAI,KAAK,gBAAgB;QAClC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;QACvC,QAAQ,CAAC,IAAI,CAAC,OAAO,KAAK,QAAQ,EAClC,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;QACnD,UAAU,EAAE,QAAQ;KACrB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,QAA6B,EACS,EAAE;IACxC,MAAM,iBAAiB,GACrB,QAAQ,CAAC,IAAI,KAAK,yBAAyB;QACzC,CAAC,CAAC,QAAQ,CAAC,UAAU;QACrB,CAAC,CAAC,QAAQ,CAAC;IACf,IAAI,iBAAiB,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAChD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAG,oBAAoB,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACjE,IAAI,CAAC,qBAAqB,CAAC,WAAW,CAAC,EAAE,CAAC;QACxC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,WAAW,CAAC,IAAI,KAAK,gBAAgB;QACrC,WAAW,CAAC,IAAI,KAAK,yBAAyB,EAC9C,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,WAAW,CAAC,aAAa,EAAE,GAAG,CAAC,oBAAoB,CAAC,CAAC;AAC9D,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uCAAuC,GAAG,CACrD,QAA6B,EAC7B,oBAA8C,EACf,EAAE;IACjC,MAAM,kBAAkB,GAAG,iCAAiC,CAAC,QAAQ,CAAC,CAAC;IACvE,IACE,CAAC,kBAAkB;QACnB,kBAAkB,CAAC,MAAM,GAAG,CAAC;QAC7B,kBAAkB,CAAC,MAAM,IAAI,oBAAoB,CAAC,MAAM,EACxD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAK,MAAM,iBAAiB,IAAI,kBAAkB,EAAE,CAAC;QACnD,MAAM,eAAe,GAAG,oBAAoB,CAAC,OAAO,CAClD,CAAC,mBAAmB,EAAE,KAAK,EAAE,EAAE,CAC7B,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC;YACvB,mBAAmB;YACnB,kBAAkB,CAAC,mBAAmB,EAAE,iBAAiB,CAAC;YACxD,CAAC,CAAC,CAAC,KAAK,CAAC;YACT,CAAC,CAAC,EAAE,CACT,CAAC;QACF,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,YAAY,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC/B,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,iBAAiB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACrC,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAChC,CAAC;IAED,OAAO,iBAAiB,CAAC;AAC3B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,IAAmB,EAAW,EAAE;IACpE,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IAC/C,OAAO,CACL,IAAI,KAAK,8BAA8B;QACvC,IAAI,KAAK,sBAAsB;QAC/B,IAAI,KAAK,+BAA+B;QACxC,IAAI,KAAK,uBAAuB;QAChC,IAAI,KAAK,OAAO;QAChB,sCAAsC,CAAC,IAAI,CAAC,IAAI,CAAC;QACjD,8BAA8B,CAAC,IAAI,CAAC,IAAI,CAAC;QACzC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QACvB,kDAAkD,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7D,0CAA0C,CAAC,IAAI,CAAC,IAAI,CAAC;QACrD,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,CACpC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,QAA6B,EACR,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,cAAc;IACpB,UAAU,EAAE,WAAW,CAAC,QAAQ,CAAC;IACjC,OAAO,EAAE;QACP,IAAI,EAAE,aAAa;QACnB,IAAI,EAAE,cAAc,CAAC,sBAAsB,CAAC;KAC7C;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,WAAmB,EACE,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,iBAAiB;IACvB,UAAU,EAAE;QACV,IAAI,EAAE,0BAA0B;QAChC,IAAI,EAAE,cAAc,CAAC,qCAAqC,CAAC;QAC3D,SAAS,EAAE,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;KACxC;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,QAA6B,EAC7B,aAAwC,EACxC,aAA4B,EACP,EAAE;IACvB,IAAI,aAAa,IAAI,kBAAkB,CAAC,aAAa,EAAE,aAAa,CAAC,EAAE,CAAC;QACtE,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,IAAI,EAAE,aAAa;QACnB,UAAU,EAAE,QAAQ;KACrB,CAAC;AACJ,CAAC,CAAC"}

package/dist/core/semantic/runtime-reification.d.ts

@@ -0,0 +1,16 @@
+import { IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+import type { CSharpExpressionAst, CSharpTypeAst } from "../format/backend-ast/types.js";
+export type EmitTypeAstFn = (type: IrType, context: EmitterContext) => [CSharpTypeAst, EmitterContext];
+export type RuntimeReificationPlan = {
+    readonly condition: CSharpExpressionAst;
+    readonly value: CSharpExpressionAst;
+    readonly context: EmitterContext;
+};
+export type RuntimeMaterializationSourceFrame = {
+    readonly members: readonly IrType[];
+    readonly candidateMemberNs?: readonly number[];
+};
+export declare const tryBuildRuntimeMaterializationAst: (valueAst: CSharpExpressionAst, sourceType: IrType, targetType: IrType, context: EmitterContext, emitTypeAst: EmitTypeAstFn, selectedSourceMemberNs?: ReadonlySet<number>, sourceFrame?: RuntimeMaterializationSourceFrame) => [CSharpExpressionAst, EmitterContext] | undefined;
+export declare const tryBuildRuntimeReificationPlan: (valueAst: CSharpExpressionAst, expectedType: IrType, context: EmitterContext, emitTypeAst: EmitTypeAstFn) => RuntimeReificationPlan | undefined;
+//# sourceMappingURL=runtime-reification.d.ts.map

package/dist/core/semantic/runtime-reification.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-reification.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/runtime-reification.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAWhD,OAAO,KAAK,EACV,mBAAmB,EACnB,aAAa,EACd,MAAM,gCAAgC,CAAC;AAuCxC,MAAM,MAAM,aAAa,GAAG,CAC1B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,cAAc,KACpB,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;AAErC,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,SAAS,EAAE,mBAAmB,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,iCAAiC,GAAG;IAC9C,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAChD,CAAC;AAuPF,eAAO,MAAM,iCAAiC,GAC5C,UAAU,mBAAmB,EAC7B,YAAY,MAAM,EAClB,YAAY,MAAM,EAClB,SAAS,cAAc,EACvB,aAAa,aAAa,EAC1B,yBAAyB,WAAW,CAAC,MAAM,CAAC,EAC5C,cAAc,iCAAiC,KAC9C,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SAgX1C,CAAC;AAEF,eAAO,MAAM,8BAA8B,GACzC,UAAU,mBAAmB,EAC7B,cAAc,MAAM,EACpB,SAAS,cAAc,EACvB,aAAa,aAAa,KACzB,sBAAsB,GAAG,SAsT3B,CAAC"}