@tsonic/frontend 0.0.62 → 0.0.64

package/dist/ir/converters/expressions/calls/new-converter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"new-converter.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/calls/new-converter.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAQpD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAUlE;;;;;;;;;;GAUG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,EAAE,CAAC,aAAa,EACtB,KAAK,cAAc,KAClB,eA0MF,CAAC"}

package/dist/ir/converters/expressions/calls/new-converter.js

@@ -0,0 +1,182 @@
+/**
+ * New expression converter
+ *
+ * Phase 15 (Alice's spec): Two-pass resolution for deterministic constructor typing.
+ */
+import * as ts from "typescript";
+import { getSourceSpan, extractTypeArguments, checkIfRequiresSpecialization, } from "../helpers.js";
+import { convertExpression } from "../../../expression-converter.js";
+import { unwrapCallSiteArgumentModifier, applyCallSiteArgumentModifiers, extractArgumentPassing, } from "./call-site-analysis.js";
+// DELETED: getConstructedType - Phase 15 uses resolveCall.returnType instead
+/**
+ * Convert new expression
+ *
+ * Phase 15 (Alice's spec): Two-pass resolution for deterministic constructor typing.
+ * 1) Resolve once (without argTypes) to get parameter types for expected-type threading.
+ * 2) Convert non-lambda arguments first, collecting argTypes for inference.
+ * 3) Re-resolve with argTypes to infer constructor type parameters.
+ * 4) Convert lambda arguments using instantiated parameter types.
+ * 5) Final resolve with full argTypes.
+ * 6) inferredType MUST be finalResolved.returnType.
+ */
+export const convertNewExpression = (node, ctx) => {
+    // Extract explicit type arguments (for IR output, not inference)
+    const typeArguments = extractTypeArguments(node, ctx);
+    const requiresSpecialization = checkIfRequiresSpecialization(node, ctx);
+    // Convert callee (the constructor expression)
+    const callee = convertExpression(node.expression, ctx, undefined);
+    // Two-pass resolution (matching convertCallExpression pattern)
+    const typeSystem = ctx.typeSystem;
+    const sigId = ctx.binding.resolveConstructorSignature(node);
+    const argumentCount = node.arguments?.length ?? 0;
+    const callSiteArgModifiers = new Array(argumentCount).fill(undefined);
+    // Extract explicit type arguments from call site
+    const explicitTypeArgs = node.typeArguments
+        ? node.typeArguments.map((ta) => typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(ta)))
+        : undefined;
+    // Initial resolution (without argTypes) for parameter type threading
+    const initialResolved = sigId
+        ? typeSystem.resolveCall({
+            sigId,
+            argumentCount,
+            explicitTypeArgs,
+        })
+        : undefined;
+    const initialParameterTypes = initialResolved?.parameterTypes;
+    const isLambdaArg = (expr) => {
+        if (ts.isArrowFunction(expr) || ts.isFunctionExpression(expr))
+            return true;
+        if (ts.isParenthesizedExpression(expr))
+            return isLambdaArg(expr.expression);
+        return false;
+    };
+    // Pass 1: convert non-lambda arguments and collect argTypes for inference
+    const argsWorking = new Array(argumentCount);
+    const argTypesForInference = Array(argumentCount).fill(undefined);
+    const args = node.arguments ?? [];
+    for (let index = 0; index < args.length; index++) {
+        const arg = args[index];
+        if (!arg)
+            continue;
+        const expectedType = initialParameterTypes?.[index];
+        if (ts.isSpreadElement(arg)) {
+            const spreadExpr = convertExpression(arg.expression, ctx, undefined);
+            argsWorking[index] = {
+                kind: "spread",
+                expression: spreadExpr,
+                inferredType: spreadExpr.inferredType,
+                sourceSpan: getSourceSpan(arg),
+            };
+            continue;
+        }
+        const unwrapped = unwrapCallSiteArgumentModifier(arg);
+        if (unwrapped.modifier) {
+            callSiteArgModifiers[index] = unwrapped.modifier;
+        }
+        if (isLambdaArg(unwrapped.expression)) {
+            // Defer lambda conversion until after generic type arg inference
+            continue;
+        }
+        const converted = convertExpression(unwrapped.expression, ctx, expectedType);
+        argsWorking[index] = converted;
+        argTypesForInference[index] = converted.inferredType;
+    }
+    // Re-resolve with argTypes to infer constructor type parameters
+    const lambdaContextResolved = sigId
+        ? typeSystem.resolveCall({
+            sigId,
+            argumentCount,
+            explicitTypeArgs,
+            argTypes: argTypesForInference,
+        })
+        : initialResolved;
+    const parameterTypesForLambdaContext = lambdaContextResolved?.parameterTypes ?? initialParameterTypes;
+    // Pass 2: convert lambda arguments with inferred parameter types
+    for (let index = 0; index < args.length; index++) {
+        if (argsWorking[index])
+            continue;
+        const arg = args[index];
+        if (!arg)
+            continue;
+        if (ts.isSpreadElement(arg))
+            continue;
+        const unwrapped = unwrapCallSiteArgumentModifier(arg);
+        if (unwrapped.modifier) {
+            callSiteArgModifiers[index] = unwrapped.modifier;
+        }
+        if (!isLambdaArg(unwrapped.expression))
+            continue;
+        const expectedType = parameterTypesForLambdaContext?.[index];
+        const lambdaExpectedType = expectedType?.kind === "functionType"
+            ? expectedType
+            : expectedType
+                ? (typeSystem.delegateToFunctionType(expectedType) ?? expectedType)
+                : undefined;
+        argsWorking[index] = convertExpression(unwrapped.expression, ctx, lambdaExpectedType);
+    }
+    // Fill any remaining undefined slots (shouldn't happen, but be safe)
+    const convertedArgs = argsWorking.map((a, index) => {
+        if (a)
+            return a;
+        const arg = args[index];
+        if (!arg) {
+            throw new Error("ICE: new expression argument conversion produced a hole");
+        }
+        if (ts.isSpreadElement(arg)) {
+            const spreadExpr = convertExpression(arg.expression, ctx, undefined);
+            return {
+                kind: "spread",
+                expression: spreadExpr,
+                inferredType: spreadExpr.inferredType,
+                sourceSpan: getSourceSpan(arg),
+            };
+        }
+        const unwrapped = unwrapCallSiteArgumentModifier(arg);
+        if (unwrapped.modifier) {
+            callSiteArgModifiers[index] = unwrapped.modifier;
+        }
+        return convertExpression(unwrapped.expression, ctx, undefined);
+    });
+    // Collect final argTypes
+    const argTypes = convertedArgs.map((a) => a.kind === "spread" ? undefined : a.inferredType);
+    // Final resolution with full argTypes
+    const finalResolved = sigId
+        ? typeSystem.resolveCall({
+            sigId,
+            argumentCount,
+            explicitTypeArgs,
+            argTypes,
+        })
+        : lambdaContextResolved;
+    // Phase 15: inferredType MUST be finalResolved.returnType
+    // If sigId is missing, use unknownType (do not fabricate a nominal type)
+    const inferredType = finalResolved?.returnType ?? {
+        kind: "unknownType",
+    };
+    const parameterTypes = finalResolved?.parameterTypes ?? initialParameterTypes;
+    const argumentPassingBase = finalResolved
+        ? finalResolved.parameterModes.slice(0, argumentCount)
+        : extractArgumentPassing(node, ctx);
+    const argumentPassing = applyCallSiteArgumentModifiers(argumentPassingBase, callSiteArgModifiers, argumentCount, ctx, node);
+    // Phase 18: IrNewExpression.typeArguments must include inferred type arguments.
+    // The emitter relies on this field to emit generic constructor calls (e.g., new Box<int>(...)).
+    const inferredTypeArguments = inferredType.kind === "referenceType"
+        ? inferredType.typeArguments
+        : undefined;
+    const typeArgumentsForIr = typeArguments ??
+        (inferredTypeArguments && inferredTypeArguments.length > 0
+            ? inferredTypeArguments
+            : undefined);
+    return {
+        kind: "new",
+        callee,
+        arguments: convertedArgs,
+        inferredType,
+        sourceSpan: getSourceSpan(node),
+        argumentPassing,
+        parameterTypes,
+        typeArguments: typeArgumentsForIr,
+        requiresSpecialization,
+    };
+};
+//# sourceMappingURL=new-converter.js.map

package/dist/ir/converters/expressions/calls/new-converter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"new-converter.js","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/calls/new-converter.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EACL,aAAa,EACb,oBAAoB,EACpB,6BAA6B,GAC9B,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AAGrE,OAAO,EAEL,8BAA8B,EAC9B,8BAA8B,EAC9B,sBAAsB,GACvB,MAAM,yBAAyB,CAAC;AAEjC,6EAA6E;AAE7E;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAsB,EACtB,GAAmB,EACF,EAAE;IACnB,iEAAiE;IACjE,MAAM,aAAa,GAAG,oBAAoB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACtD,MAAM,sBAAsB,GAAG,6BAA6B,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAExE,8CAA8C;IAC9C,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IAElE,+DAA+D;IAC/D,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC;IAClC,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,EAAE,MAAM,IAAI,CAAC,CAAC;IAClD,MAAM,oBAAoB,GAAwC,IAAI,KAAK,CACzE,aAAa,CACd,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAElB,iDAAiD;IACjD,MAAM,gBAAgB,GAAG,IAAI,CAAC,aAAa;QACzC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAC5B,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAC7D;QACH,CAAC,CAAC,SAAS,CAAC;IAEd,qEAAqE;IACrE,MAAM,eAAe,GAAG,KAAK;QAC3B,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC;YACrB,KAAK;YACL,aAAa;YACb,gBAAgB;SACjB,CAAC;QACJ,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,qBAAqB,GAAG,eAAe,EAAE,cAAc,CAAC;IAE9D,MAAM,WAAW,GAAG,CAAC,IAAmB,EAAW,EAAE;QACnD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAC3E,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;YAAE,OAAO,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5E,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,0EAA0E;IAC1E,MAAM,WAAW,GACf,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC;IAC3B,MAAM,oBAAoB,GACxB,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAEvC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC;IAClC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACjD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,IAAI,CAAC,GAAG;YAAE,SAAS;QAEnB,MAAM,YAAY,GAAG,qBAAqB,EAAE,CAAC,KAAK,CAAC,CAAC;QAEpD,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,UAAU,GAAG,iBAAiB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;YACrE,WAAW,CAAC,KAAK,CAAC,GAAG;gBACnB,IAAI,EAAE,QAAiB;gBACvB,UAAU,EAAE,UAAU;gBACtB,YAAY,EAAE,UAAU,CAAC,YAAY;gBACrC,UAAU,EAAE,aAAa,CAAC,GAAG,CAAC;aAC/B,CAAC;YACF,SAAS;QACX,CAAC;QAED,MAAM,SAAS,GAAG,8BAA8B,CAAC,GAAG,CAAC,CAAC;QACtD,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;YACvB,oBAAoB,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC;QACnD,CAAC;QAED,IAAI,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;YACtC,iEAAiE;YACjE,SAAS;QACX,CAAC;QAED,MAAM,SAAS,GAAG,iBAAiB,CACjC,SAAS,CAAC,UAAU,EACpB,GAAG,EACH,YAAY,CACb,CAAC;QACF,WAAW,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC;QAC/B,oBAAoB,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC,YAAY,CAAC;IACvD,CAAC;IAED,gEAAgE;IAChE,MAAM,qBAAqB,GAAG,KAAK;QACjC,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC;YACrB,KAAK;YACL,aAAa;YACb,gBAAgB;YAChB,QAAQ,EAAE,oBAAoB;SAC/B,CAAC;QACJ,CAAC,CAAC,eAAe,CAAC;IAEpB,MAAM,8BAA8B,GAClC,qBAAqB,EAAE,cAAc,IAAI,qBAAqB,CAAC;IAEjE,iEAAiE;IACjE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACjD,IAAI,WAAW,CAAC,KAAK,CAAC;YAAE,SAAS;QACjC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;YAAE,SAAS;QACtC,MAAM,SAAS,GAAG,8BAA8B,CAAC,GAAG,CAAC,CAAC;QACtD,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;YACvB,oBAAoB,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC;QACnD,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC;YAAE,SAAS;QAEjD,MAAM,YAAY,GAAG,8BAA8B,EAAE,CAAC,KAAK,CAAC,CAAC;QAC7D,MAAM,kBAAkB,GACtB,YAAY,EAAE,IAAI,KAAK,cAAc;YACnC,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,YAAY;gBACZ,CAAC,CAAC,CAAC,UAAU,CAAC,sBAAsB,CAAC,YAAY,CAAC,IAAI,YAAY,CAAC;gBACnE,CAAC,CAAC,SAAS,CAAC;QAElB,WAAW,CAAC,KAAK,CAAC,GAAG,iBAAiB,CACpC,SAAS,CAAC,UAAU,EACpB,GAAG,EACH,kBAAkB,CACnB,CAAC;IACJ,CAAC;IAED,qEAAqE;IACrE,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;QACjD,IAAI,CAAC;YAAE,OAAO,CAAC,CAAC;QAChB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,MAAM,IAAI,KAAK,CACb,yDAAyD,CAC1D,CAAC;QACJ,CAAC;QACD,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,UAAU,GAAG,iBAAiB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;YACrE,OAAO;gBACL,IAAI,EAAE,QAAiB;gBACvB,UAAU,EAAE,UAAU;gBACtB,YAAY,EAAE,UAAU,CAAC,YAAY;gBACrC,UAAU,EAAE,aAAa,CAAC,GAAG,CAAC;aAC/B,CAAC;QACJ,CAAC;QACD,MAAM,SAAS,GAAG,8BAA8B,CAAC,GAAG,CAAC,CAAC;QACtD,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;YACvB,oBAAoB,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC;QACnD,CAAC;QACD,OAAO,iBAAiB,CAAC,SAAS,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,yBAAyB;IACzB,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACvC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CACjD,CAAC;IAEF,sCAAsC;IACtC,MAAM,aAAa,GAAG,KAAK;QACzB,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC;YACrB,KAAK;YACL,aAAa;YACb,gBAAgB;YAChB,QAAQ;SACT,CAAC;QACJ,CAAC,CAAC,qBAAqB,CAAC;IAE1B,0DAA0D;IAC1D,yEAAyE;IACzE,MAAM,YAAY,GAAW,aAAa,EAAE,UAAU,IAAI;QACxD,IAAI,EAAE,aAAa;KACpB,CAAC;IACF,MAAM,cAAc,GAAG,aAAa,EAAE,cAAc,IAAI,qBAAqB,CAAC;IAC9E,MAAM,mBAAmB,GAAG,aAAa;QACvC,CAAC,CAAC,aAAa,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,aAAa,CAAC;QACtD,CAAC,CAAC,sBAAsB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACtC,MAAM,eAAe,GAAG,8BAA8B,CACpD,mBAAmB,EACnB,oBAAoB,EACpB,aAAa,EACb,GAAG,EACH,IAAI,CACL,CAAC;IAEF,gFAAgF;IAChF,gGAAgG;IAChG,MAAM,qBAAqB,GACzB,YAAY,CAAC,IAAI,KAAK,eAAe;QACnC,CAAC,CAAC,YAAY,CAAC,aAAa;QAC5B,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,kBAAkB,GACtB,aAAa;QACb,CAAC,qBAAqB,IAAI,qBAAqB,CAAC,MAAM,GAAG,CAAC;YACxD,CAAC,CAAC,qBAAqB;YACvB,CAAC,CAAC,SAAS,CAAC,CAAC;IAEjB,OAAO;QACL,IAAI,EAAE,KAAK;QACX,MAAM;QACN,SAAS,EAAE,aAAa;QACxB,YAAY;QACZ,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;QAC/B,eAAe;QACf,cAAc;QACd,aAAa,EAAE,kBAAkB;QACjC,sBAAsB;KACvB,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/converters/expressions/calls.d.ts

@@ -4,32 +4,6 @@
  * ALICE'S SPEC: All call resolution goes through TypeSystem.resolveCall().
  * NO FALLBACKS ALLOWED. If TypeSystem can't resolve, return unknownType.
  */
-import * as ts from "typescript";
-import { IrCallExpression, IrNewExpression, IrAsInterfaceExpression, IrTryCastExpression, IrStackAllocExpression, IrDefaultOfExpression } from "../../types.js";
-import { IrType } from "../../types.js";
-import type { ProgramContext } from "../../program-context.js";
-/**
- * Get the declared return type from a call or new expression's signature.
- *
- * ALICE'S SPEC: Uses TypeSystem.resolveCall() EXCLUSIVELY.
- * NO FALLBACKS. If TypeSystem can't resolve, return unknownType.
- * This ensures any missing TypeSystem functionality surfaces as test failures.
- */
-export declare const getDeclaredReturnType: (node: ts.CallExpression | ts.NewExpression, ctx: ProgramContext, receiverIrType?: IrType) => IrType | undefined;
-/**
- * Convert call expression
- */
-export declare const convertCallExpression: (node: ts.CallExpression, ctx: ProgramContext, expectedType?: IrType) => IrCallExpression | IrAsInterfaceExpression | IrTryCastExpression | IrStackAllocExpression | IrDefaultOfExpression;
-/**
- * Convert new expression
- *
- * Phase 15 (Alice's spec): Two-pass resolution for deterministic constructor typing.
- * 1) Resolve once (without argTypes) to get parameter types for expected-type threading.
- * 2) Convert non-lambda arguments first, collecting argTypes for inference.
- * 3) Re-resolve with argTypes to infer constructor type parameters.
- * 4) Convert lambda arguments using instantiated parameter types.
- * 5) Final resolve with full argTypes.
- * 6) inferredType MUST be finalResolved.returnType.
- */
-export declare const convertNewExpression: (node: ts.NewExpression, ctx: ProgramContext) => IrNewExpression;
+export { getDeclaredReturnType, convertCallExpression, } from "./calls/call-converter.js";
+export { convertNewExpression } from "./calls/new-converter.js";
 //# sourceMappingURL=calls.d.ts.map

package/dist/ir/converters/expressions/calls.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"calls.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/calls.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,gBAAgB,EAChB,eAAe,EACf,uBAAuB,EACvB,mBAAmB,EACnB,sBAAsB,EACtB,qBAAqB,EACtB,MAAM,gBAAgB,CAAC;AAOxB,OAAO,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AACxC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAklB/D;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,EAAE,CAAC,cAAc,GAAG,EAAE,CAAC,aAAa,EAC1C,KAAK,cAAc,EACnB,iBAAiB,MAAM,KACtB,MAAM,GAAG,SAqFX,CAAC;AAkPF;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,EAAE,CAAC,cAAc,EACvB,KAAK,cAAc,EACnB,eAAe,MAAM,KAEnB,gBAAgB,GAChB,uBAAuB,GACvB,mBAAmB,GACnB,sBAAsB,GACtB,qBAyeH,CAAC;AAIF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,EAAE,CAAC,aAAa,EACtB,KAAK,cAAc,KAClB,eA0MF,CAAC"}
+{"version":3,"file":"calls.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/calls.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,qBAAqB,EACrB,qBAAqB,GACtB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC"}