@elaraai/east 0.0.1-beta.27 → 0.0.1-beta.29

package/dist/src/ir.d.ts

@@ -11,15 +11,22 @@ export type LocationValue = {
     line: bigint;
     column: bigint;
 };
-export declare function printLocationValue(location: LocationValue): string;
+/**
+ * Formats a single location as a human-readable string.
+ */
+export declare function printSingleLocationValue(location: LocationValue): string;
+/**
+ * Formats an array of locations as a stack trace string.
+ */
+export declare function printLocationValue(locations: LocationValue[]): string;
 export type ErrorIR = variant<"Error", {
     type: variant<"Never", null>;
-    location: LocationValue;
+    location: LocationValue[];
     message: any;
 }>;
 export type TryCatchIR = variant<"TryCatch", {
     type: EastTypeValue;
-    location: LocationValue;
+    location: LocationValue[];
     try_body: any;
     catch_body: any;
     message: VariableIR;
@@ -28,77 +35,77 @@ export type TryCatchIR = variant<"TryCatch", {
 }>;
 export type ValueIR = variant<"Value", {
     type: EastTypeValue;
-    location: LocationValue;
+    location: LocationValue[];
     value: LiteralValue;
 }>;
 export type VariableIR = variant<"Variable", {
     type: EastTypeValue;
     name: string;
-    location: LocationValue;
+    location: LocationValue[];
     mutable: boolean;
     captured: boolean;
 }>;
 export type LetIR = variant<"Let", {
     type: EastTypeValue;
-    location: LocationValue;
+    location: LocationValue[];
     variable: VariableIR;
     value: any;
 }>;
 export type AssignIR = variant<"Assign", {
     type: EastTypeValue;
-    location: LocationValue;
+    location: LocationValue[];
     variable: VariableIR;
     value: any;
 }>;
 export type AsIR = variant<"As", {
     type: EastTypeValue;
     value: any;
-    location: LocationValue;
+    location: LocationValue[];
 }>;
 export type FunctionIR = variant<"Function", {
     type: EastTypeValue;
-    location: LocationValue;
+    location: LocationValue[];
     captures: VariableIR[];
     parameters: VariableIR[];
     body: any;
 }>;
 export type AsyncFunctionIR = variant<"AsyncFunction", {
     type: EastTypeValue;
-    location: LocationValue;
+    location: LocationValue[];
     captures: VariableIR[];
     parameters: VariableIR[];
     body: any;
 }>;
 export type CallIR = variant<"Call", {
     type: EastTypeValue;
-    location: LocationValue;
+    location: LocationValue[];
     function: any;
     arguments: any[];
 }>;
 export type CallAsyncIR = variant<"CallAsync", {
     type: EastTypeValue;
-    location: LocationValue;
+    location: LocationValue[];
     function: any;
     arguments: any[];
 }>;
 export type NewRefIR = variant<"NewRef", {
     type: EastTypeValue;
-    location: LocationValue;
+    location: LocationValue[];
     value: any;
 }>;
 export type NewArrayIR = variant<"NewArray", {
     type: EastTypeValue;
-    location: LocationValue;
+    location: LocationValue[];
     values: any[];
 }>;
 export type NewSetIR = variant<"NewSet", {
     type: EastTypeValue;
-    location: LocationValue;
+    location: LocationValue[];
     values: any[];
 }>;
 export type NewDictIR = variant<"NewDict", {
     type: EastTypeValue;
-    location: LocationValue;
+    location: LocationValue[];
     values: {
         key: any;
         value: any;
@@ -106,7 +113,7 @@ export type NewDictIR = variant<"NewDict", {
 }>;
 export type StructIR = variant<"Struct", {
     type: EastTypeValue;
-    location: LocationValue;
+    location: LocationValue[];
     fields: {
         name: string;
         value: any;
@@ -114,24 +121,24 @@ export type StructIR = variant<"Struct", {
 }>;
 export type GetFieldIR = variant<"GetField", {
     type: EastTypeValue;
-    location: LocationValue;
+    location: LocationValue[];
     field: string;
     struct: any;
 }>;
 export type VariantIR = variant<"Variant", {
     type: EastTypeValue;
-    location: LocationValue;
+    location: LocationValue[];
     case: string;
     value: any;
 }>;
 export type BlockIR = variant<"Block", {
     type: EastTypeValue;
-    location: LocationValue;
+    location: LocationValue[];
     statements: any[];
 }>;
 export type IfElseIR = variant<"IfElse", {
     type: EastTypeValue;
-    location: LocationValue;
+    location: LocationValue[];
     ifs: {
         predicate: any;
         body: any;
@@ -140,7 +147,7 @@ export type IfElseIR = variant<"IfElse", {
 }>;
 export type MatchIR = variant<"Match", {
     type: EastTypeValue;
-    location: LocationValue;
+    location: LocationValue[];
     variant: any;
     cases: {
         case: string;
@@ -150,28 +157,28 @@ export type MatchIR = variant<"Match", {
 }>;
 export type UnwrapRecursiveIR = variant<"UnwrapRecursive", {
     type: EastTypeValue;
-    location: LocationValue;
+    location: LocationValue[];
     value: any;
 }>;
 export type WrapRecursiveIR = variant<"WrapRecursive", {
     type: EastTypeValue;
-    location: LocationValue;
+    location: LocationValue[];
     value: any;
 }>;
 export type IRLabel = {
     name: string;
-    location: LocationValue;
+    location: LocationValue[];
 };
 export type WhileIR = variant<"While", {
     type: variant<"Null", null>;
-    location: LocationValue;
+    location: LocationValue[];
     predicate: any;
     label: IRLabel;
     body: any;
 }>;
 export type ForArrayIR = variant<"ForArray", {
     type: variant<"Null", null>;
-    location: LocationValue;
+    location: LocationValue[];
     array: any;
     label: IRLabel;
     key: VariableIR;
@@ -180,7 +187,7 @@ export type ForArrayIR = variant<"ForArray", {
 }>;
 export type ForSetIR = variant<"ForSet", {
     type: variant<"Null", null>;
-    location: LocationValue;
+    location: LocationValue[];
     set: any;
     label: IRLabel;
     key: VariableIR;
@@ -188,7 +195,7 @@ export type ForSetIR = variant<"ForSet", {
 }>;
 export type ForDictIR = variant<"ForDict", {
     type: variant<"Null", null>;
-    location: LocationValue;
+    location: LocationValue[];
     dict: any;
     label: IRLabel;
     key: VariableIR;
@@ -197,30 +204,30 @@ export type ForDictIR = variant<"ForDict", {
 }>;
 export type ReturnIR = variant<"Return", {
     type: variant<"Never", null>;
-    location: LocationValue;
+    location: LocationValue[];
     value: any;
 }>;
 export type ContinueIR = variant<"Continue", {
     type: variant<"Never", null>;
-    location: LocationValue;
+    location: LocationValue[];
     label: IRLabel;
 }>;
 export type BreakIR = variant<"Break", {
     type: variant<"Never", null>;
-    location: LocationValue;
+    location: LocationValue[];
     label: IRLabel;
 }>;
 /**@internal */
 export type BuiltinIR = variant<"Builtin", {
     type: EastTypeValue;
-    location: LocationValue;
+    location: LocationValue[];
     builtin: BuiltinName;
     type_parameters: EastTypeValue[];
     arguments: any[];
 }>;
 export type PlatformIR = variant<"Platform", {
     type: EastTypeValue;
-    location: LocationValue;
+    location: LocationValue[];
     name: string;
     type_parameters: EastTypeValue[];
     arguments: any[];
@@ -240,11 +247,11 @@ export declare const LocationType: StructType<{
 }>;
 export declare const IRLabelType: StructType<{
     readonly name: StringType;
-    readonly location: StructType<{
+    readonly location: ArrayType<StructType<{
         readonly filename: StringType;
         readonly line: IntegerType;
         readonly column: IntegerType;
-    }>;
+    }>>;
 }>;
 export declare const VariableType: StructType<{
     readonly type: RecursiveType<VariantType<{
@@ -281,11 +288,11 @@ export declare const VariableType: StructType<{
             readonly output: import("./types.js").RecursiveTypeMarker;
         }>;
     }>>;
-    readonly location: StructType<{
+    readonly location: ArrayType<StructType<{
         readonly filename: StringType;
         readonly line: IntegerType;
         readonly column: IntegerType;
-    }>;
+    }>>;
     readonly name: StringType;
     readonly mutable: BooleanType;
     readonly captured: BooleanType;
@@ -326,11 +333,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly message: import("./types.js").RecursiveTypeMarker;
     }>;
     readonly TryCatch: StructType<{
@@ -368,11 +375,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly try_body: import("./types.js").RecursiveTypeMarker;
         readonly catch_body: import("./types.js").RecursiveTypeMarker;
         readonly message: import("./types.js").RecursiveTypeMarker;
@@ -414,11 +421,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly value: VariantType<{
             readonly Null: import("./types.js").NullType;
             readonly Boolean: BooleanType;
@@ -464,11 +471,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly name: StringType;
         readonly mutable: BooleanType;
         readonly captured: BooleanType;
@@ -508,11 +515,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly variable: import("./types.js").RecursiveTypeMarker;
         readonly value: import("./types.js").RecursiveTypeMarker;
     }>;
@@ -551,11 +558,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly variable: import("./types.js").RecursiveTypeMarker;
         readonly value: import("./types.js").RecursiveTypeMarker;
     }>;
@@ -594,11 +601,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly value: import("./types.js").RecursiveTypeMarker;
     }>;
     readonly Function: StructType<{
@@ -636,11 +643,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly captures: ArrayType<import("./types.js").RecursiveTypeMarker>;
         readonly parameters: ArrayType<import("./types.js").RecursiveTypeMarker>;
         readonly body: import("./types.js").RecursiveTypeMarker;
@@ -680,11 +687,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly captures: ArrayType<import("./types.js").RecursiveTypeMarker>;
         readonly parameters: ArrayType<import("./types.js").RecursiveTypeMarker>;
         readonly body: import("./types.js").RecursiveTypeMarker;
@@ -724,11 +731,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly function: import("./types.js").RecursiveTypeMarker;
         readonly arguments: ArrayType<import("./types.js").RecursiveTypeMarker>;
     }>;
@@ -767,11 +774,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly function: import("./types.js").RecursiveTypeMarker;
         readonly arguments: ArrayType<import("./types.js").RecursiveTypeMarker>;
     }>;
@@ -810,11 +817,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly value: import("./types.js").RecursiveTypeMarker;
     }>;
     readonly NewArray: StructType<{
@@ -852,11 +859,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly values: ArrayType<import("./types.js").RecursiveTypeMarker>;
     }>;
     readonly NewSet: StructType<{
@@ -894,11 +901,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly values: ArrayType<import("./types.js").RecursiveTypeMarker>;
     }>;
     readonly NewDict: StructType<{
@@ -936,11 +943,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly values: ArrayType<StructType<{
             readonly key: import("./types.js").RecursiveTypeMarker;
             readonly value: import("./types.js").RecursiveTypeMarker;
@@ -981,11 +988,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly fields: ArrayType<StructType<{
             readonly name: StringType;
             readonly value: import("./types.js").RecursiveTypeMarker;
@@ -1026,11 +1033,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly field: StringType;
         readonly struct: import("./types.js").RecursiveTypeMarker;
     }>;
@@ -1069,11 +1076,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly case: StringType;
         readonly value: import("./types.js").RecursiveTypeMarker;
     }>;
@@ -1112,11 +1119,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly statements: ArrayType<import("./types.js").RecursiveTypeMarker>;
     }>;
     readonly IfElse: StructType<{
@@ -1154,11 +1161,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly ifs: ArrayType<StructType<{
             readonly predicate: import("./types.js").RecursiveTypeMarker;
             readonly body: import("./types.js").RecursiveTypeMarker;
@@ -1200,11 +1207,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly variant: import("./types.js").RecursiveTypeMarker;
         readonly cases: ArrayType<StructType<{
             readonly case: StringType;
@@ -1247,11 +1254,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly value: import("./types.js").RecursiveTypeMarker;
     }>;
     readonly WrapRecursive: StructType<{
@@ -1289,11 +1296,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly value: import("./types.js").RecursiveTypeMarker;
     }>;
     readonly While: StructType<{
@@ -1331,19 +1338,19 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly predicate: import("./types.js").RecursiveTypeMarker;
         readonly label: StructType<{
             readonly name: StringType;
-            readonly location: StructType<{
+            readonly location: ArrayType<StructType<{
                 readonly filename: StringType;
                 readonly line: IntegerType;
                 readonly column: IntegerType;
-            }>;
+            }>>;
         }>;
         readonly body: import("./types.js").RecursiveTypeMarker;
     }>;
@@ -1382,19 +1389,19 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly array: import("./types.js").RecursiveTypeMarker;
         readonly label: StructType<{
             readonly name: StringType;
-            readonly location: StructType<{
+            readonly location: ArrayType<StructType<{
                 readonly filename: StringType;
                 readonly line: IntegerType;
                 readonly column: IntegerType;
-            }>;
+            }>>;
         }>;
         readonly key: import("./types.js").RecursiveTypeMarker;
         readonly value: import("./types.js").RecursiveTypeMarker;
@@ -1435,19 +1442,19 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly set: import("./types.js").RecursiveTypeMarker;
         readonly label: StructType<{
             readonly name: StringType;
-            readonly location: StructType<{
+            readonly location: ArrayType<StructType<{
                 readonly filename: StringType;
                 readonly line: IntegerType;
                 readonly column: IntegerType;
-            }>;
+            }>>;
         }>;
         readonly key: import("./types.js").RecursiveTypeMarker;
         readonly body: import("./types.js").RecursiveTypeMarker;
@@ -1487,19 +1494,19 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly dict: import("./types.js").RecursiveTypeMarker;
         readonly label: StructType<{
             readonly name: StringType;
-            readonly location: StructType<{
+            readonly location: ArrayType<StructType<{
                 readonly filename: StringType;
                 readonly line: IntegerType;
                 readonly column: IntegerType;
-            }>;
+            }>>;
         }>;
         readonly key: import("./types.js").RecursiveTypeMarker;
         readonly value: import("./types.js").RecursiveTypeMarker;
@@ -1540,11 +1547,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly value: import("./types.js").RecursiveTypeMarker;
     }>;
     readonly Continue: StructType<{
@@ -1582,18 +1589,18 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly label: StructType<{
             readonly name: StringType;
-            readonly location: StructType<{
+            readonly location: ArrayType<StructType<{
                 readonly filename: StringType;
                 readonly line: IntegerType;
                 readonly column: IntegerType;
-            }>;
+            }>>;
         }>;
     }>;
     readonly Break: StructType<{
@@ -1631,18 +1638,18 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly label: StructType<{
             readonly name: StringType;
-            readonly location: StructType<{
+            readonly location: ArrayType<StructType<{
                 readonly filename: StringType;
                 readonly line: IntegerType;
                 readonly column: IntegerType;
-            }>;
+            }>>;
         }>;
     }>;
     readonly Builtin: StructType<{
@@ -1680,11 +1687,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly builtin: StringType;
         readonly type_parameters: ArrayType<RecursiveType<VariantType<{
             readonly Never: import("./types.js").NullType;
@@ -1757,11 +1764,11 @@ export declare const IRType: RecursiveType<VariantType<{
                 readonly output: import("./types.js").RecursiveTypeMarker;
             }>;
         }>>;
-        readonly location: StructType<{
+        readonly location: ArrayType<StructType<{
             readonly filename: StringType;
             readonly line: IntegerType;
             readonly column: IntegerType;
-        }>;
+        }>>;
         readonly name: StringType;
         readonly type_parameters: ArrayType<RecursiveType<VariantType<{
             readonly Never: import("./types.js").NullType;