language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-26 13:29:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Update uitests

Browse source
This commit is contained in:
Sam Mohr 2025-01-05 21:25:22 -08:00
parent f524d35114
commit 83b8b0e557
No known key found for this signature in database
GPG key ID: EA41D161A3C1BC99
17 changed files with 1095 additions and 1185 deletions
Download patch file Download diff file Expand all files Collapse all files

52
crates/compiler/test_mono/generated/dbg_expr.txt generated
View file

@ -1,39 +1,39 @@
procedure Inspect.277 (Inspect.278, Inspect.276):
let Inspect.317 : Str = CallByName Num.96 Inspect.276;
let Inspect.316 : Str = CallByName Inspect.63 Inspect.278 Inspect.317;
dec Inspect.317;
ret Inspect.316;
procedure Inspect.272 (Inspect.273, Inspect.271):
let Inspect.312 : Str = CallByName Num.96 Inspect.271;
let Inspect.311 : Str = CallByName Inspect.63 Inspect.273 Inspect.312;
dec Inspect.312;
ret Inspect.311;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.33 (Inspect.152):
let Inspect.304 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.303 : Str = CallByName Inspect.64 Inspect.304;
ret Inspect.303;
let Inspect.299 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.298 : Str = CallByName Inspect.64 Inspect.299;
ret Inspect.298;
procedure Inspect.39 (Inspect.300):
let Inspect.310 : Str = "";
ret Inspect.310;
procedure Inspect.39 (Inspect.295):
let Inspect.305 : Str = "";
ret Inspect.305;
procedure Inspect.5 (Inspect.150):
let Inspect.311 : I64 = CallByName Inspect.57 Inspect.150;
let Inspect.308 : {} = Struct {};
let Inspect.307 : Str = CallByName Inspect.39 Inspect.308;
let Inspect.306 : Str = CallByName Inspect.277 Inspect.307 Inspect.311;
ret Inspect.306;
procedure Inspect.57 (Inspect.276):
let Inspect.312 : I64 = CallByName Inspect.30 Inspect.276;
ret Inspect.312;
procedure Inspect.63 (Inspect.299, Inspect.295):
let Inspect.319 : Str = CallByName Str.3 Inspect.299 Inspect.295;
ret Inspect.319;
procedure Inspect.64 (Inspect.301):
let Inspect.306 : I64 = CallByName Inspect.57 Inspect.150;
let Inspect.303 : {} = Struct {};
let Inspect.302 : Str = CallByName Inspect.39 Inspect.303;
let Inspect.301 : Str = CallByName Inspect.272 Inspect.302 Inspect.306;
ret Inspect.301;
procedure Inspect.57 (Inspect.271):
let Inspect.307 : I64 = CallByName Inspect.30 Inspect.271;
ret Inspect.307;
procedure Inspect.63 (Inspect.294, Inspect.290):
let Inspect.314 : Str = CallByName Str.3 Inspect.294 Inspect.290;
ret Inspect.314;
procedure Inspect.64 (Inspect.296):
ret Inspect.296;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.283 : I64 = lowlevel NumAdd #Attr.2 #Attr.3;
ret Num.283;

60
crates/compiler/test_mono/generated/dbg_in_expect.txt generated
View file

@ -2,47 +2,47 @@ procedure Bool.2 ():
let Bool.23 : Int1 = true;
ret Bool.23;
procedure Inspect.249 (Inspect.250, Inspect.248):
let Inspect.322 : Str = "\"";
let Inspect.321 : Str = CallByName Inspect.63 Inspect.250 Inspect.322;
dec Inspect.322;
let Inspect.317 : Str = CallByName Inspect.63 Inspect.321 Inspect.248;
let Inspect.318 : Str = "\"";
let Inspect.316 : Str = CallByName Inspect.63 Inspect.317 Inspect.318;
dec Inspect.318;
ret Inspect.316;
procedure Inspect.244 (Inspect.245, Inspect.243):
let Inspect.316 : Str = "\"";
let Inspect.315 : Str = CallByName Inspect.63 Inspect.245 Inspect.316;
dec Inspect.316;
let Inspect.311 : Str = CallByName Inspect.63 Inspect.315 Inspect.243;
let Inspect.312 : Str = "\"";
let Inspect.310 : Str = CallByName Inspect.63 Inspect.311 Inspect.312;
dec Inspect.312;
ret Inspect.310;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.33 (Inspect.152):
let Inspect.304 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.303 : Str = CallByName Inspect.64 Inspect.304;
ret Inspect.303;
let Inspect.299 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.298 : Str = CallByName Inspect.64 Inspect.299;
ret Inspect.298;
procedure Inspect.39 (Inspect.300):
let Inspect.310 : Str = "";
ret Inspect.310;
procedure Inspect.39 (Inspect.295):
let Inspect.305 : Str = "";
ret Inspect.305;
procedure Inspect.47 (Inspect.248):
let Inspect.312 : Str = CallByName Inspect.30 Inspect.248;
ret Inspect.312;
procedure Inspect.47 (Inspect.243):
let Inspect.307 : Str = CallByName Inspect.30 Inspect.243;
ret Inspect.307;
procedure Inspect.5 (Inspect.150):
let Inspect.311 : Str = CallByName Inspect.47 Inspect.150;
let Inspect.308 : {} = Struct {};
let Inspect.307 : Str = CallByName Inspect.39 Inspect.308;
let Inspect.306 : Str = CallByName Inspect.249 Inspect.307 Inspect.311;
dec Inspect.311;
ret Inspect.306;
procedure Inspect.63 (Inspect.299, Inspect.295):
let Inspect.320 : Str = CallByName Str.3 Inspect.299 Inspect.295;
ret Inspect.320;
procedure Inspect.64 (Inspect.301):
let Inspect.306 : Str = CallByName Inspect.47 Inspect.150;
let Inspect.303 : {} = Struct {};
let Inspect.302 : Str = CallByName Inspect.39 Inspect.303;
let Inspect.301 : Str = CallByName Inspect.244 Inspect.302 Inspect.306;
dec Inspect.306;
ret Inspect.301;
procedure Inspect.63 (Inspect.294, Inspect.290):
let Inspect.314 : Str = CallByName Str.3 Inspect.294 Inspect.290;
ret Inspect.314;
procedure Inspect.64 (Inspect.296):
ret Inspect.296;
procedure Str.3 (#Attr.2, #Attr.3):
let Str.246 : Str = lowlevel StrConcat #Attr.2 #Attr.3;
ret Str.246;

60
crates/compiler/test_mono/generated/dbg_inside_string.txt generated
View file

@ -1,44 +1,44 @@
procedure Inspect.249 (Inspect.250, Inspect.248):
let Inspect.322 : Str = "\"";
let Inspect.321 : Str = CallByName Inspect.63 Inspect.250 Inspect.322;
dec Inspect.322;
let Inspect.317 : Str = CallByName Inspect.63 Inspect.321 Inspect.248;
let Inspect.318 : Str = "\"";
let Inspect.316 : Str = CallByName Inspect.63 Inspect.317 Inspect.318;
dec Inspect.318;
ret Inspect.316;
procedure Inspect.244 (Inspect.245, Inspect.243):
let Inspect.316 : Str = "\"";
let Inspect.315 : Str = CallByName Inspect.63 Inspect.245 Inspect.316;
dec Inspect.316;
let Inspect.311 : Str = CallByName Inspect.63 Inspect.315 Inspect.243;
let Inspect.312 : Str = "\"";
let Inspect.310 : Str = CallByName Inspect.63 Inspect.311 Inspect.312;
dec Inspect.312;
ret Inspect.310;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.33 (Inspect.152):
let Inspect.304 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.303 : Str = CallByName Inspect.64 Inspect.304;
ret Inspect.303;
let Inspect.299 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.298 : Str = CallByName Inspect.64 Inspect.299;
ret Inspect.298;
procedure Inspect.39 (Inspect.300):
let Inspect.310 : Str = "";
ret Inspect.310;
procedure Inspect.39 (Inspect.295):
let Inspect.305 : Str = "";
ret Inspect.305;
procedure Inspect.47 (Inspect.248):
let Inspect.312 : Str = CallByName Inspect.30 Inspect.248;
ret Inspect.312;
procedure Inspect.47 (Inspect.243):
let Inspect.307 : Str = CallByName Inspect.30 Inspect.243;
ret Inspect.307;
procedure Inspect.5 (Inspect.150):
let Inspect.311 : Str = CallByName Inspect.47 Inspect.150;
let Inspect.308 : {} = Struct {};
let Inspect.307 : Str = CallByName Inspect.39 Inspect.308;
let Inspect.306 : Str = CallByName Inspect.249 Inspect.307 Inspect.311;
dec Inspect.311;
ret Inspect.306;
procedure Inspect.63 (Inspect.299, Inspect.295):
let Inspect.320 : Str = CallByName Str.3 Inspect.299 Inspect.295;
ret Inspect.320;
procedure Inspect.64 (Inspect.301):
let Inspect.306 : Str = CallByName Inspect.47 Inspect.150;
let Inspect.303 : {} = Struct {};
let Inspect.302 : Str = CallByName Inspect.39 Inspect.303;
let Inspect.301 : Str = CallByName Inspect.244 Inspect.302 Inspect.306;
dec Inspect.306;
ret Inspect.301;
procedure Inspect.63 (Inspect.294, Inspect.290):
let Inspect.314 : Str = CallByName Str.3 Inspect.294 Inspect.290;
ret Inspect.314;
procedure Inspect.64 (Inspect.296):
ret Inspect.296;
procedure Str.3 (#Attr.2, #Attr.3):
let Str.248 : Str = lowlevel StrConcat #Attr.2 #Attr.3;
ret Str.248;

52
crates/compiler/test_mono/generated/dbg_nested_expr.txt generated
View file

@ -1,39 +1,39 @@
procedure Inspect.277 (Inspect.278, Inspect.276):
let Inspect.317 : Str = CallByName Num.96 Inspect.276;
let Inspect.316 : Str = CallByName Inspect.63 Inspect.278 Inspect.317;
dec Inspect.317;
ret Inspect.316;
procedure Inspect.272 (Inspect.273, Inspect.271):
let Inspect.312 : Str = CallByName Num.96 Inspect.271;
let Inspect.311 : Str = CallByName Inspect.63 Inspect.273 Inspect.312;
dec Inspect.312;
ret Inspect.311;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.33 (Inspect.152):
let Inspect.323 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.322 : Str = CallByName Inspect.64 Inspect.323;
ret Inspect.322;
let Inspect.318 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.317 : Str = CallByName Inspect.64 Inspect.318;
ret Inspect.317;
procedure Inspect.39 (Inspect.300):
let Inspect.310 : Str = "";
ret Inspect.310;
procedure Inspect.39 (Inspect.295):
let Inspect.305 : Str = "";
ret Inspect.305;
procedure Inspect.5 (Inspect.150):
let Inspect.311 : I64 = CallByName Inspect.57 Inspect.150;
let Inspect.308 : {} = Struct {};
let Inspect.307 : Str = CallByName Inspect.39 Inspect.308;
let Inspect.306 : Str = CallByName Inspect.277 Inspect.307 Inspect.311;
ret Inspect.306;
procedure Inspect.57 (Inspect.276):
let Inspect.312 : I64 = CallByName Inspect.30 Inspect.276;
ret Inspect.312;
procedure Inspect.63 (Inspect.299, Inspect.295):
let Inspect.319 : Str = CallByName Str.3 Inspect.299 Inspect.295;
ret Inspect.319;
procedure Inspect.64 (Inspect.301):
let Inspect.306 : I64 = CallByName Inspect.57 Inspect.150;
let Inspect.303 : {} = Struct {};
let Inspect.302 : Str = CallByName Inspect.39 Inspect.303;
let Inspect.301 : Str = CallByName Inspect.272 Inspect.302 Inspect.306;
ret Inspect.301;
procedure Inspect.57 (Inspect.271):
let Inspect.307 : I64 = CallByName Inspect.30 Inspect.271;
ret Inspect.307;
procedure Inspect.63 (Inspect.294, Inspect.290):
let Inspect.314 : Str = CallByName Str.3 Inspect.294 Inspect.290;
ret Inspect.314;
procedure Inspect.64 (Inspect.296):
ret Inspect.296;
procedure Num.96 (#Attr.2):
let Num.283 : Str = lowlevel NumToStr #Attr.2;
ret Num.283;

60
crates/compiler/test_mono/generated/dbg_str_followed_by_number.txt generated
View file

@ -1,44 +1,44 @@
procedure Inspect.249 (Inspect.250, Inspect.248):
let Inspect.322 : Str = "\"";
let Inspect.321 : Str = CallByName Inspect.63 Inspect.250 Inspect.322;
dec Inspect.322;
let Inspect.317 : Str = CallByName Inspect.63 Inspect.321 Inspect.248;
let Inspect.318 : Str = "\"";
let Inspect.316 : Str = CallByName Inspect.63 Inspect.317 Inspect.318;
dec Inspect.318;
ret Inspect.316;
procedure Inspect.244 (Inspect.245, Inspect.243):
let Inspect.316 : Str = "\"";
let Inspect.315 : Str = CallByName Inspect.63 Inspect.245 Inspect.316;
dec Inspect.316;
let Inspect.311 : Str = CallByName Inspect.63 Inspect.315 Inspect.243;
let Inspect.312 : Str = "\"";
let Inspect.310 : Str = CallByName Inspect.63 Inspect.311 Inspect.312;
dec Inspect.312;
ret Inspect.310;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.33 (Inspect.152):
let Inspect.304 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.303 : Str = CallByName Inspect.64 Inspect.304;
ret Inspect.303;
let Inspect.299 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.298 : Str = CallByName Inspect.64 Inspect.299;
ret Inspect.298;
procedure Inspect.39 (Inspect.300):
let Inspect.310 : Str = "";
ret Inspect.310;
procedure Inspect.39 (Inspect.295):
let Inspect.305 : Str = "";
ret Inspect.305;
procedure Inspect.47 (Inspect.248):
let Inspect.312 : Str = CallByName Inspect.30 Inspect.248;
ret Inspect.312;
procedure Inspect.47 (Inspect.243):
let Inspect.307 : Str = CallByName Inspect.30 Inspect.243;
ret Inspect.307;
procedure Inspect.5 (Inspect.150):
let Inspect.311 : Str = CallByName Inspect.47 Inspect.150;
let Inspect.308 : {} = Struct {};
let Inspect.307 : Str = CallByName Inspect.39 Inspect.308;
let Inspect.306 : Str = CallByName Inspect.249 Inspect.307 Inspect.311;
dec Inspect.311;
ret Inspect.306;
procedure Inspect.63 (Inspect.299, Inspect.295):
let Inspect.320 : Str = CallByName Str.3 Inspect.299 Inspect.295;
ret Inspect.320;
procedure Inspect.64 (Inspect.301):
let Inspect.306 : Str = CallByName Inspect.47 Inspect.150;
let Inspect.303 : {} = Struct {};
let Inspect.302 : Str = CallByName Inspect.39 Inspect.303;
let Inspect.301 : Str = CallByName Inspect.244 Inspect.302 Inspect.306;
dec Inspect.306;
ret Inspect.301;
procedure Inspect.63 (Inspect.294, Inspect.290):
let Inspect.314 : Str = CallByName Str.3 Inspect.294 Inspect.290;
ret Inspect.314;
procedure Inspect.64 (Inspect.296):
ret Inspect.296;
procedure Str.3 (#Attr.2, #Attr.3):
let Str.246 : Str = lowlevel StrConcat #Attr.2 #Attr.3;
ret Str.246;

316
crates/compiler/test_mono/generated/inspect_derived_dict.txt generated
View file

@ -45,8 +45,8 @@ procedure Dict.1 (Dict.732):
procedure Dict.10 (Dict.733, Dict.186, Dict.187):
let Dict.185 : List {Str, I64} = StructAtIndex 1 Dict.733;
let #Derived_gen.67 : List {U32, U32} = StructAtIndex 0 Dict.733;
dec #Derived_gen.67;
let #Derived_gen.61 : List {U32, U32} = StructAtIndex 0 Dict.733;
dec #Derived_gen.61;
let Dict.1110 : {Str, Int1} = CallByName List.18 Dict.185 Dict.186 Dict.187;
dec Dict.185;
ret Dict.1110;
@ -96,15 +96,15 @@ procedure Dict.159 (Dict.160, Dict.742):
procedure Dict.188 (Dict.189, Dict.1112, Dict.187):
let Dict.190 : Str = StructAtIndex 0 Dict.1112;
let Dict.191 : I64 = StructAtIndex 1 Dict.1112;
let Dict.1114 : {Str, Int1} = CallByName Inspect.191 Dict.189 Dict.190 Dict.191 Dict.187;
let Dict.1114 : {Str, Int1} = CallByName Inspect.189 Dict.189 Dict.190 Dict.191 Dict.187;
ret Dict.1114;
procedure Dict.20 (Dict.729):
let Dict.155 : U64 = StructAtIndex 2 Dict.729;
let #Derived_gen.70 : List {U32, U32} = StructAtIndex 0 Dict.729;
dec #Derived_gen.70;
let #Derived_gen.69 : List {Str, I64} = StructAtIndex 1 Dict.729;
dec #Derived_gen.69;
let #Derived_gen.64 : List {U32, U32} = StructAtIndex 0 Dict.729;
dec #Derived_gen.64;
let #Derived_gen.63 : List {Str, I64} = StructAtIndex 1 Dict.729;
dec #Derived_gen.63;
ret Dict.155;
procedure Dict.22 (#Attr.2, #Attr.3):
@ -125,8 +125,8 @@ procedure Dict.23 (#Attr.2):
procedure Dict.4 (Dict.738):
let Dict.163 : List {Str, I64} = StructAtIndex 1 Dict.738;
let #Derived_gen.66 : List {U32, U32} = StructAtIndex 0 Dict.738;
dec #Derived_gen.66;
let #Derived_gen.60 : List {U32, U32} = StructAtIndex 0 Dict.738;
dec #Derived_gen.60;
let Dict.891 : U64 = CallByName List.6 Dict.163;
dec Dict.163;
ret Dict.891;
@ -145,7 +145,7 @@ procedure Dict.43 (Dict.126):
let Dict.1102 : {List {U32, U32}, List {Str, I64}, U64, Float32, U8} = CallByName Inspect.30 Dict.126;
ret Dict.1102;
procedure Dict.45 (#Derived_gen.41, #Derived_gen.42, #Derived_gen.43, #Derived_gen.44, #Derived_gen.45, #Derived_gen.46, #Derived_gen.47, #Derived_gen.48, #Derived_gen.49):
procedure Dict.45 (#Derived_gen.35, #Derived_gen.36, #Derived_gen.37, #Derived_gen.38, #Derived_gen.39, #Derived_gen.40, #Derived_gen.41, #Derived_gen.42, #Derived_gen.43):
joinpoint Dict.745 Dict.228 Dict.229 Dict.230 Dict.231 Dict.232 Dict.233 Dict.234 Dict.235 Dict.236:
let Dict.237 : {U32, U32} = CallByName Dict.22 Dict.228 Dict.230;
let Dict.792 : U32 = StructAtIndex 1 Dict.237;
@ -188,8 +188,8 @@ procedure Dict.45 (#Derived_gen.41, #Derived_gen.42, #Derived_gen.43, #Derived_g
let Dict.246 : U32 = CallByName Dict.55 Dict.231;
jump Dict.745 Dict.228 Dict.229 Dict.245 Dict.246 Dict.232 Dict.233 Dict.234 Dict.235 Dict.236;
in
inc #Derived_gen.45;
jump Dict.745 #Derived_gen.41 #Derived_gen.42 #Derived_gen.43 #Derived_gen.44 #Derived_gen.45 #Derived_gen.46 #Derived_gen.47 #Derived_gen.48 #Derived_gen.49;
inc #Derived_gen.39;
jump Dict.745 #Derived_gen.35 #Derived_gen.36 #Derived_gen.37 #Derived_gen.38 #Derived_gen.39 #Derived_gen.40 #Derived_gen.41 #Derived_gen.42 #Derived_gen.43;
procedure Dict.48 ():
let Dict.869 : U32 = 0i64;
@ -239,8 +239,8 @@ procedure Dict.66 (Dict.728):
let Dict.386 : U64 = StructAtIndex 2 Dict.728;
let Dict.387 : Float32 = StructAtIndex 3 Dict.728;
let Dict.388 : U8 = StructAtIndex 4 Dict.728;
let #Derived_gen.68 : List {U32, U32} = StructAtIndex 0 Dict.728;
dec #Derived_gen.68;
let #Derived_gen.62 : List {U32, U32} = StructAtIndex 0 Dict.728;
dec #Derived_gen.62;
let Dict.886 : U64 = CallByName Dict.54;
let Dict.845 : Int1 = CallByName Bool.7 Dict.386 Dict.886;
if Dict.845 then
@ -304,7 +304,7 @@ procedure Dict.72 (Dict.413, Dict.414, Dict.415):
let Dict.855 : {U64, U32} = CallByName Dict.73 Dict.413 Dict.418 Dict.417;
ret Dict.855;
procedure Dict.73 (#Derived_gen.16, #Derived_gen.17, #Derived_gen.18):
procedure Dict.73 (#Derived_gen.12, #Derived_gen.13, #Derived_gen.14):
joinpoint Dict.856 Dict.419 Dict.420 Dict.421:
let Dict.422 : {U32, U32} = CallByName Dict.22 Dict.419 Dict.420;
let Dict.863 : U32 = StructAtIndex 1 Dict.422;
@ -319,10 +319,10 @@ procedure Dict.73 (#Derived_gen.16, #Derived_gen.17, #Derived_gen.18):
let Dict.857 : {U64, U32} = Struct {Dict.420, Dict.421};
ret Dict.857;
in
inc #Derived_gen.16;
jump Dict.856 #Derived_gen.16 #Derived_gen.17 #Derived_gen.18;
inc #Derived_gen.12;
jump Dict.856 #Derived_gen.12 #Derived_gen.13 #Derived_gen.14;
procedure Dict.74 (#Derived_gen.50, #Derived_gen.51, #Derived_gen.52):
procedure Dict.74 (#Derived_gen.44, #Derived_gen.45, #Derived_gen.46):
joinpoint Dict.762 Dict.423 Dict.424 Dict.425:
let Dict.426 : {U32, U32} = CallByName Dict.22 Dict.423 Dict.425;
let Dict.772 : U32 = StructAtIndex 1 Dict.426;
@ -341,7 +341,7 @@ procedure Dict.74 (#Derived_gen.50, #Derived_gen.51, #Derived_gen.52):
let Dict.763 : List {U32, U32} = CallByName List.3 Dict.423 Dict.425 Dict.424;
ret Dict.763;
in
jump Dict.762 #Derived_gen.50 #Derived_gen.51 #Derived_gen.52;
jump Dict.762 #Derived_gen.44 #Derived_gen.45 #Derived_gen.46;
procedure Dict.75 (Dict.428, Dict.429):
let Dict.758 : U64 = 1i64;
@ -586,7 +586,7 @@ procedure Dict.90 (#Derived_gen.6, #Derived_gen.7, #Derived_gen.8, #Derived_gen.
inc #Derived_gen.9;
jump Dict.929 #Derived_gen.6 #Derived_gen.7 #Derived_gen.8 #Derived_gen.9 #Derived_gen.10 #Derived_gen.11;
procedure Dict.91 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2, #Derived_gen.3):
procedure Dict.91 (#Derived_gen.2, #Derived_gen.3, #Derived_gen.4, #Derived_gen.5):
joinpoint Dict.982 Dict.508 Dict.509 Dict.510 Dict.511:
let Dict.1002 : U64 = CallByName Dict.98 Dict.509 Dict.510;
let Dict.1003 : U64 = CallByName Dict.93;
@ -617,8 +617,8 @@ procedure Dict.91 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2, #Derived_gen.
else
jump Dict.982 Dict.512 Dict.509 Dict.514 Dict.513;
in
inc #Derived_gen.1;
jump Dict.982 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3;
inc #Derived_gen.3;
jump Dict.982 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4 #Derived_gen.5;
procedure Dict.92 ():
let Dict.919 : U64 = 11562461410679940143i64;
@ -740,157 +740,141 @@ procedure Hash.19 (Hash.42, Hash.43):
dec Hash.75;
ret Hash.74;
procedure Inspect.187 (Inspect.188, #Attr.12):
let Inspect.186 : {} = StructAtIndex 3 #Attr.12;
let Inspect.185 : {} = StructAtIndex 2 #Attr.12;
let Inspect.184 : {} = StructAtIndex 1 #Attr.12;
let Inspect.183 : {List {U32, U32}, List {Str, I64}, U64, Float32, U8} = StructAtIndex 0 #Attr.12;
let Inspect.354 : Str = "{";
let Inspect.327 : Str = CallByName Inspect.63 Inspect.188 Inspect.354;
dec Inspect.354;
let Inspect.328 : {{List {U32, U32}, List {Str, I64}, U64, Float32, U8}, {}, {}, {}} = Struct {Inspect.183, Inspect.184, Inspect.185, Inspect.186};
let Inspect.323 : {Str, Int1} = CallByName Inspect.189 Inspect.327 Inspect.328;
dec Inspect.327;
let Inspect.324 : {} = Struct {};
let Inspect.319 : Str = CallByName Inspect.201 Inspect.323;
let Inspect.320 : Str = "}";
let Inspect.318 : Str = CallByName Inspect.63 Inspect.319 Inspect.320;
dec Inspect.320;
ret Inspect.318;
procedure Inspect.185 (Inspect.186, #Attr.12):
let Inspect.184 : {} = StructAtIndex 3 #Attr.12;
let Inspect.183 : {} = StructAtIndex 2 #Attr.12;
let Inspect.182 : {} = StructAtIndex 1 #Attr.12;
let Inspect.181 : {List {U32, U32}, List {Str, I64}, U64, Float32, U8} = StructAtIndex 0 #Attr.12;
let Inspect.340 : Str = "{";
let Inspect.187 : Str = CallByName Inspect.63 Inspect.186 Inspect.340;
dec Inspect.340;
let Inspect.339 : Int1 = CallByName Bool.1;
let Inspect.317 : {Str, Int1} = Struct {Inspect.187, Inspect.339};
let Inspect.318 : {{}, {}} = Struct {Inspect.183, Inspect.184};
let Inspect.316 : {Str, Int1} = CallByName Dict.10 Inspect.181 Inspect.317 Inspect.318;
let Inspect.188 : Str = StructAtIndex 0 Inspect.316;
let Inspect.313 : Str = "}";
let Inspect.312 : Str = CallByName Inspect.63 Inspect.188 Inspect.313;
dec Inspect.313;
ret Inspect.312;
procedure Inspect.189 (Inspect.190, #Attr.12):
let Inspect.186 : {} = StructAtIndex 3 #Attr.12;
let Inspect.185 : {} = StructAtIndex 2 #Attr.12;
procedure Inspect.189 (Inspect.319, Inspect.192, Inspect.193, #Attr.12):
let Inspect.184 : {} = StructAtIndex 1 #Attr.12;
let Inspect.183 : {List {U32, U32}, List {Str, I64}, U64, Float32, U8} = StructAtIndex 0 #Attr.12;
let Inspect.353 : Int1 = CallByName Bool.1;
inc Inspect.190;
let Inspect.331 : {Str, Int1} = Struct {Inspect.190, Inspect.353};
let Inspect.332 : {{}, {}} = Struct {Inspect.185, Inspect.186};
let Inspect.330 : {Str, Int1} = CallByName Dict.10 Inspect.183 Inspect.331 Inspect.332;
ret Inspect.330;
procedure Inspect.191 (Inspect.333, Inspect.194, Inspect.195, #Attr.12):
let Inspect.186 : {} = StructAtIndex 1 #Attr.12;
let Inspect.185 : {} = StructAtIndex 0 #Attr.12;
let Inspect.192 : Str = StructAtIndex 0 Inspect.333;
let Inspect.193 : Int1 = StructAtIndex 1 Inspect.333;
joinpoint Inspect.351 Inspect.196:
let Inspect.348 : Str = CallByName Inspect.47 Inspect.194;
let Inspect.346 : Str = CallByName Inspect.31 Inspect.348 Inspect.196;
dec Inspect.348;
let Inspect.347 : Str = ": ";
let Inspect.340 : Str = CallByName Inspect.63 Inspect.346 Inspect.347;
dec Inspect.347;
let Inspect.341 : {I64, {}} = Struct {Inspect.195, Inspect.186};
let Inspect.336 : Str = CallByName Inspect.197 Inspect.340 Inspect.341;
let Inspect.337 : {} = Struct {};
let Inspect.335 : {Str, Int1} = CallByName Inspect.199 Inspect.336;
dec Inspect.336;
ret Inspect.335;
let Inspect.183 : {} = StructAtIndex 0 #Attr.12;
let Inspect.190 : Str = StructAtIndex 0 Inspect.319;
let Inspect.191 : Int1 = StructAtIndex 1 Inspect.319;
joinpoint Inspect.337 Inspect.194:
let Inspect.334 : Str = CallByName Inspect.47 Inspect.192;
let Inspect.332 : Str = CallByName Inspect.31 Inspect.334 Inspect.194;
dec Inspect.334;
let Inspect.333 : Str = ": ";
let Inspect.326 : Str = CallByName Inspect.63 Inspect.332 Inspect.333;
dec Inspect.333;
let Inspect.327 : {I64, {}} = Struct {Inspect.193, Inspect.184};
let Inspect.322 : Str = CallByName Inspect.195 Inspect.326 Inspect.327;
let Inspect.323 : {} = Struct {};
let Inspect.321 : {Str, Int1} = CallByName Inspect.197 Inspect.322;
dec Inspect.322;
ret Inspect.321;
in
if Inspect.193 then
let Inspect.352 : Str = ", ";
let Inspect.350 : Str = CallByName Inspect.63 Inspect.192 Inspect.352;
dec Inspect.352;
jump Inspect.351 Inspect.350;
if Inspect.191 then
let Inspect.338 : Str = ", ";
let Inspect.336 : Str = CallByName Inspect.63 Inspect.190 Inspect.338;
dec Inspect.338;
jump Inspect.337 Inspect.336;
else
jump Inspect.351 Inspect.192;
jump Inspect.337 Inspect.190;
procedure Inspect.197 (Inspect.198, #Attr.12):
let Inspect.186 : {} = StructAtIndex 1 #Attr.12;
let Inspect.195 : I64 = StructAtIndex 0 #Attr.12;
let Inspect.344 : I64 = CallByName Inspect.57 Inspect.195;
let Inspect.343 : Str = CallByName Inspect.31 Inspect.344 Inspect.198;
ret Inspect.343;
procedure Inspect.195 (Inspect.196, #Attr.12):
let Inspect.184 : {} = StructAtIndex 1 #Attr.12;
let Inspect.193 : I64 = StructAtIndex 0 #Attr.12;
let Inspect.330 : I64 = CallByName Inspect.57 Inspect.193;
let Inspect.329 : Str = CallByName Inspect.31 Inspect.330 Inspect.196;
ret Inspect.329;
procedure Inspect.199 (Inspect.200):
let Inspect.339 : Int1 = CallByName Bool.2;
inc Inspect.200;
let Inspect.338 : {Str, Int1} = Struct {Inspect.200, Inspect.339};
ret Inspect.338;
procedure Inspect.197 (Inspect.198):
let Inspect.325 : Int1 = CallByName Bool.2;
inc Inspect.198;
let Inspect.324 : {Str, Int1} = Struct {Inspect.198, Inspect.325};
ret Inspect.324;
procedure Inspect.201 (Inspect.325):
let Inspect.326 : Str = StructAtIndex 0 Inspect.325;
ret Inspect.326;
procedure Inspect.244 (Inspect.245, Inspect.243):
let Inspect.354 : Str = "\"";
let Inspect.353 : Str = CallByName Inspect.63 Inspect.245 Inspect.354;
dec Inspect.354;
let Inspect.351 : Str = CallByName Inspect.63 Inspect.353 Inspect.243;
let Inspect.352 : Str = "\"";
let Inspect.350 : Str = CallByName Inspect.63 Inspect.351 Inspect.352;
dec Inspect.352;
ret Inspect.350;
procedure Inspect.249 (Inspect.250, Inspect.248):
let Inspect.369 : Str = "\"";
let Inspect.368 : Str = CallByName Inspect.63 Inspect.250 Inspect.369;
dec Inspect.369;
let Inspect.366 : Str = CallByName Inspect.63 Inspect.368 Inspect.248;
let Inspect.367 : Str = "\"";
let Inspect.365 : Str = CallByName Inspect.63 Inspect.366 Inspect.367;
dec Inspect.367;
ret Inspect.365;
procedure Inspect.277 (Inspect.278, Inspect.276):
let Inspect.360 : Str = CallByName Num.96 Inspect.276;
let Inspect.359 : Str = CallByName Inspect.63 Inspect.278 Inspect.360;
dec Inspect.360;
ret Inspect.359;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.31 (Inspect.302, Inspect.149):
let Inspect.313 : Str = CallByName Inspect.187 Inspect.149 Inspect.302;
ret Inspect.313;
procedure Inspect.31 (Inspect.302, Inspect.149):
let Inspect.345 : Str = CallByName Inspect.277 Inspect.149 Inspect.302;
procedure Inspect.272 (Inspect.273, Inspect.271):
let Inspect.346 : Str = CallByName Num.96 Inspect.271;
let Inspect.345 : Str = CallByName Inspect.63 Inspect.273 Inspect.346;
dec Inspect.346;
ret Inspect.345;
procedure Inspect.31 (Inspect.302, Inspect.149):
let Inspect.349 : Str = CallByName Inspect.249 Inspect.149 Inspect.302;
ret Inspect.349;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.31 (Inspect.297, Inspect.149):
let Inspect.308 : Str = CallByName Inspect.185 Inspect.149 Inspect.297;
ret Inspect.308;
procedure Inspect.31 (Inspect.297, Inspect.149):
let Inspect.331 : Str = CallByName Inspect.272 Inspect.149 Inspect.297;
ret Inspect.331;
procedure Inspect.31 (Inspect.297, Inspect.149):
let Inspect.335 : Str = CallByName Inspect.244 Inspect.149 Inspect.297;
ret Inspect.335;
procedure Inspect.33 (Inspect.152):
let Inspect.304 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.303 : Str = CallByName Inspect.64 Inspect.304;
ret Inspect.303;
let Inspect.299 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.298 : Str = CallByName Inspect.64 Inspect.299;
ret Inspect.298;
procedure Inspect.39 (Inspect.300):
let Inspect.310 : Str = "";
ret Inspect.310;
procedure Inspect.39 (Inspect.295):
let Inspect.305 : Str = "";
ret Inspect.305;
procedure Inspect.42 (Inspect.183, Inspect.184, Inspect.185, Inspect.186):
let Inspect.315 : {{List {U32, U32}, List {Str, I64}, U64, Float32, U8}, {}, {}, {}} = Struct {Inspect.183, Inspect.184, Inspect.185, Inspect.186};
let Inspect.314 : {{List {U32, U32}, List {Str, I64}, U64, Float32, U8}, {}, {}, {}} = CallByName Inspect.30 Inspect.315;
ret Inspect.314;
procedure Inspect.42 (Inspect.181, Inspect.182, Inspect.183, Inspect.184):
let Inspect.310 : {{List {U32, U32}, List {Str, I64}, U64, Float32, U8}, {}, {}, {}} = Struct {Inspect.181, Inspect.182, Inspect.183, Inspect.184};
let Inspect.309 : {{List {U32, U32}, List {Str, I64}, U64, Float32, U8}, {}, {}, {}} = CallByName Inspect.30 Inspect.310;
ret Inspect.309;
procedure Inspect.47 (Inspect.248):
let Inspect.361 : Str = CallByName Inspect.30 Inspect.248;
ret Inspect.361;
procedure Inspect.47 (Inspect.243):
let Inspect.347 : Str = CallByName Inspect.30 Inspect.243;
ret Inspect.347;
procedure Inspect.5 (Inspect.150):
let Inspect.311 : {List {U32, U32}, List {Str, I64}, U64, Float32, U8} = CallByName Dict.43 Inspect.150;
let Inspect.308 : {} = Struct {};
let Inspect.307 : Str = CallByName Inspect.39 Inspect.308;
let Inspect.306 : Str = CallByName Dict.127 Inspect.307 Inspect.311;
ret Inspect.306;
procedure Inspect.57 (Inspect.276):
let Inspect.355 : I64 = CallByName Inspect.30 Inspect.276;
ret Inspect.355;
procedure Inspect.63 (Inspect.299, Inspect.295):
let Inspect.322 : Str = CallByName Str.3 Inspect.299 Inspect.295;
ret Inspect.322;
procedure Inspect.64 (Inspect.301):
let Inspect.306 : {List {U32, U32}, List {Str, I64}, U64, Float32, U8} = CallByName Dict.43 Inspect.150;
let Inspect.303 : {} = Struct {};
let Inspect.302 : Str = CallByName Inspect.39 Inspect.303;
let Inspect.301 : Str = CallByName Dict.127 Inspect.302 Inspect.306;
ret Inspect.301;
procedure List.100 (#Derived_gen.34, #Derived_gen.35, #Derived_gen.36, #Derived_gen.37, #Derived_gen.38):
procedure Inspect.57 (Inspect.271):
let Inspect.341 : I64 = CallByName Inspect.30 Inspect.271;
ret Inspect.341;
procedure Inspect.63 (Inspect.294, Inspect.290):
let Inspect.315 : Str = CallByName Str.3 Inspect.294 Inspect.290;
ret Inspect.315;
procedure Inspect.64 (Inspect.296):
ret Inspect.296;
procedure List.100 (#Derived_gen.30, #Derived_gen.31, #Derived_gen.32, #Derived_gen.33, #Derived_gen.34):
joinpoint List.732 List.174 List.175 List.176 List.177 List.178:
let List.734 : Int1 = CallByName Num.22 List.177 List.178;
if List.734 then
@ -904,10 +888,10 @@ procedure List.100 (#Derived_gen.34, #Derived_gen.35, #Derived_gen.36, #Derived_
dec List.174;
ret List.175;
in
inc #Derived_gen.34;
jump List.732 #Derived_gen.34 #Derived_gen.35 #Derived_gen.36 #Derived_gen.37 #Derived_gen.38;
inc #Derived_gen.30;
jump List.732 #Derived_gen.30 #Derived_gen.31 #Derived_gen.32 #Derived_gen.33 #Derived_gen.34;
procedure List.100 (#Derived_gen.57, #Derived_gen.58, #Derived_gen.59, #Derived_gen.60, #Derived_gen.61):
procedure List.100 (#Derived_gen.51, #Derived_gen.52, #Derived_gen.53, #Derived_gen.54, #Derived_gen.55):
joinpoint List.668 List.174 List.175 List.176 List.177 List.178:
let List.670 : Int1 = CallByName Num.22 List.177 List.178;
if List.670 then
@ -921,10 +905,10 @@ procedure List.100 (#Derived_gen.57, #Derived_gen.58, #Derived_gen.59, #Derived_
dec List.174;
ret List.175;
in
inc #Derived_gen.57;
jump List.668 #Derived_gen.57 #Derived_gen.58 #Derived_gen.59 #Derived_gen.60 #Derived_gen.61;
inc #Derived_gen.51;
jump List.668 #Derived_gen.51 #Derived_gen.52 #Derived_gen.53 #Derived_gen.54 #Derived_gen.55;
procedure List.101 (#Derived_gen.21, #Derived_gen.22, #Derived_gen.23, #Derived_gen.24, #Derived_gen.25):
procedure List.101 (#Derived_gen.17, #Derived_gen.18, #Derived_gen.19, #Derived_gen.20, #Derived_gen.21):
joinpoint List.707 List.183 List.184 List.185 List.186 List.187:
let List.709 : Int1 = CallByName Num.22 List.186 List.187;
if List.709 then
@ -938,8 +922,8 @@ procedure List.101 (#Derived_gen.21, #Derived_gen.22, #Derived_gen.23, #Derived_
dec List.183;
ret List.184;
in
inc #Derived_gen.21;
jump List.707 #Derived_gen.21 #Derived_gen.22 #Derived_gen.23 #Derived_gen.24 #Derived_gen.25;
inc #Derived_gen.17;
jump List.707 #Derived_gen.17 #Derived_gen.18 #Derived_gen.19 #Derived_gen.20 #Derived_gen.21;
procedure List.11 (List.149, List.150):
let List.727 : List {U32, U32} = CallByName List.68 List.150;
@ -966,8 +950,8 @@ procedure List.3 (List.127, List.128, List.129):
procedure List.3 (List.127, List.128, List.129):
let List.693 : {List {Str, I64}, {Str, I64}} = CallByName List.64 List.127 List.128 List.129;
let List.692 : List {Str, I64} = StructAtIndex 0 List.693;
let #Derived_gen.71 : {Str, I64} = StructAtIndex 1 List.693;
dec #Derived_gen.71;
let #Derived_gen.65 : {Str, I64} = StructAtIndex 1 List.693;
dec #Derived_gen.65;
ret List.692;
procedure List.4 (List.135, List.136):
@ -1042,7 +1026,7 @@ procedure List.83 (List.180, List.181, List.182):
let List.704 : List {U32, U32} = CallByName List.101 List.180 List.181 List.182 List.705 List.706;
ret List.704;
procedure List.98 (#Derived_gen.26, #Derived_gen.27, #Derived_gen.28):
procedure List.98 (#Derived_gen.22, #Derived_gen.23, #Derived_gen.24):
joinpoint List.716 List.151 List.152 List.153:
let List.724 : U64 = 0i64;
let List.718 : Int1 = CallByName Num.24 List.152 List.724;
@ -1054,7 +1038,7 @@ procedure List.98 (#Derived_gen.26, #Derived_gen.27, #Derived_gen.28):
else
ret List.153;
in
jump List.716 #Derived_gen.26 #Derived_gen.27 #Derived_gen.28;
jump List.716 #Derived_gen.22 #Derived_gen.23 #Derived_gen.24;
procedure Num.131 (#Attr.2):
let Num.291 : U32 = lowlevel NumIntCast #Attr.2;

145
crates/compiler/test_mono/generated/inspect_derived_list.txt generated
View file

@ -25,64 +25,49 @@ procedure Inspect.156 (Inspect.157, #Attr.12):
let Inspect.155 : {} = StructAtIndex 2 #Attr.12;
let Inspect.154 : {} = StructAtIndex 1 #Attr.12;
let Inspect.153 : List I64 = StructAtIndex 0 #Attr.12;
let Inspect.346 : Str = "[";
let Inspect.327 : Str = CallByName Inspect.63 Inspect.157 Inspect.346;
dec Inspect.346;
let Inspect.328 : {List I64, {}, {}} = Struct {Inspect.153, Inspect.154, Inspect.155};
let Inspect.323 : {Str, Int1} = CallByName Inspect.158 Inspect.327 Inspect.328;
dec Inspect.327;
let Inspect.324 : {} = Struct {};
let Inspect.319 : Str = CallByName Inspect.167 Inspect.323;
let Inspect.320 : Str = "]";
let Inspect.318 : Str = CallByName Inspect.63 Inspect.319 Inspect.320;
dec Inspect.320;
ret Inspect.318;
procedure Inspect.158 (Inspect.159, #Attr.12):
let Inspect.155 : {} = StructAtIndex 2 #Attr.12;
let Inspect.154 : {} = StructAtIndex 1 #Attr.12;
let Inspect.153 : List I64 = StructAtIndex 0 #Attr.12;
let Inspect.345 : Int1 = CallByName Bool.1;
inc Inspect.159;
let Inspect.331 : {Str, Int1} = Struct {Inspect.159, Inspect.345};
let Inspect.330 : {Str, Int1} = CallByName List.18 Inspect.153 Inspect.331 Inspect.155;
let Inspect.332 : Str = "[";
let Inspect.158 : Str = CallByName Inspect.63 Inspect.157 Inspect.332;
dec Inspect.332;
let Inspect.331 : Int1 = CallByName Bool.1;
let Inspect.317 : {Str, Int1} = Struct {Inspect.158, Inspect.331};
let Inspect.316 : {Str, Int1} = CallByName List.18 Inspect.153 Inspect.317 Inspect.155;
dec Inspect.153;
ret Inspect.330;
let Inspect.159 : Str = StructAtIndex 0 Inspect.316;
let Inspect.313 : Str = "]";
let Inspect.312 : Str = CallByName Inspect.63 Inspect.159 Inspect.313;
dec Inspect.313;
ret Inspect.312;
procedure Inspect.160 (Inspect.333, Inspect.163, Inspect.155):
let Inspect.161 : Str = StructAtIndex 0 Inspect.333;
let Inspect.162 : Int1 = StructAtIndex 1 Inspect.333;
joinpoint Inspect.343 Inspect.164:
let Inspect.340 : I64 = CallByName #Derived.3 Inspect.163;
let Inspect.336 : Str = CallByName Inspect.31 Inspect.340 Inspect.164;
let Inspect.337 : {} = Struct {};
let Inspect.335 : {Str, Int1} = CallByName Inspect.165 Inspect.336;
dec Inspect.336;
ret Inspect.335;
procedure Inspect.160 (Inspect.319, Inspect.163, Inspect.155):
let Inspect.161 : Str = StructAtIndex 0 Inspect.319;
let Inspect.162 : Int1 = StructAtIndex 1 Inspect.319;
joinpoint Inspect.329 Inspect.164:
let Inspect.326 : I64 = CallByName #Derived.3 Inspect.163;
let Inspect.322 : Str = CallByName Inspect.31 Inspect.326 Inspect.164;
let Inspect.323 : {} = Struct {};
let Inspect.321 : {Str, Int1} = CallByName Inspect.165 Inspect.322;
dec Inspect.322;
ret Inspect.321;
in
if Inspect.162 then
let Inspect.344 : Str = ", ";
let Inspect.342 : Str = CallByName Inspect.63 Inspect.161 Inspect.344;
dec Inspect.344;
jump Inspect.343 Inspect.342;
let Inspect.330 : Str = ", ";
let Inspect.328 : Str = CallByName Inspect.63 Inspect.161 Inspect.330;
dec Inspect.330;
jump Inspect.329 Inspect.328;
else
jump Inspect.343 Inspect.161;
jump Inspect.329 Inspect.161;
procedure Inspect.165 (Inspect.166):
let Inspect.339 : Int1 = CallByName Bool.2;
let Inspect.325 : Int1 = CallByName Bool.2;
inc Inspect.166;
let Inspect.338 : {Str, Int1} = Struct {Inspect.166, Inspect.339};
ret Inspect.338;
let Inspect.324 : {Str, Int1} = Struct {Inspect.166, Inspect.325};
ret Inspect.324;
procedure Inspect.167 (Inspect.325):
let Inspect.326 : Str = StructAtIndex 0 Inspect.325;
ret Inspect.326;
procedure Inspect.277 (Inspect.278, Inspect.276):
let Inspect.352 : Str = CallByName Num.96 Inspect.276;
let Inspect.351 : Str = CallByName Inspect.63 Inspect.278 Inspect.352;
dec Inspect.352;
ret Inspect.351;
procedure Inspect.272 (Inspect.273, Inspect.271):
let Inspect.338 : Str = CallByName Num.96 Inspect.271;
let Inspect.337 : Str = CallByName Inspect.63 Inspect.273 Inspect.338;
dec Inspect.338;
ret Inspect.337;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
@ -93,48 +78,48 @@ procedure Inspect.30 (Inspect.147):
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.31 (Inspect.302, Inspect.149):
let Inspect.313 : Str = CallByName Inspect.156 Inspect.149 Inspect.302;
ret Inspect.313;
procedure Inspect.31 (Inspect.297, Inspect.149):
let Inspect.308 : Str = CallByName Inspect.156 Inspect.149 Inspect.297;
ret Inspect.308;
procedure Inspect.31 (Inspect.302, Inspect.149):
let Inspect.341 : Str = CallByName Inspect.277 Inspect.149 Inspect.302;
ret Inspect.341;
procedure Inspect.31 (Inspect.297, Inspect.149):
let Inspect.327 : Str = CallByName Inspect.272 Inspect.149 Inspect.297;
ret Inspect.327;
procedure Inspect.33 (Inspect.152):
let Inspect.304 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.303 : Str = CallByName Inspect.64 Inspect.304;
ret Inspect.303;
let Inspect.299 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.298 : Str = CallByName Inspect.64 Inspect.299;
ret Inspect.298;
procedure Inspect.39 (Inspect.300):
let Inspect.310 : Str = "";
ret Inspect.310;
procedure Inspect.39 (Inspect.295):
let Inspect.305 : Str = "";
ret Inspect.305;
procedure Inspect.40 (Inspect.153, Inspect.154, Inspect.155):
inc Inspect.153;
let Inspect.315 : {List I64, {}, {}} = Struct {Inspect.153, Inspect.154, Inspect.155};
let Inspect.314 : {List I64, {}, {}} = CallByName Inspect.30 Inspect.315;
ret Inspect.314;
let Inspect.310 : {List I64, {}, {}} = Struct {Inspect.153, Inspect.154, Inspect.155};
let Inspect.309 : {List I64, {}, {}} = CallByName Inspect.30 Inspect.310;
ret Inspect.309;
procedure Inspect.5 (Inspect.150):
let Inspect.311 : List I64 = CallByName #Derived.0 Inspect.150;
let Inspect.308 : {} = Struct {};
let Inspect.307 : Str = CallByName Inspect.39 Inspect.308;
let Inspect.306 : Str = CallByName #Derived.4 Inspect.307 Inspect.311;
dec Inspect.311;
ret Inspect.306;
procedure Inspect.57 (Inspect.276):
let Inspect.347 : I64 = CallByName Inspect.30 Inspect.276;
ret Inspect.347;
procedure Inspect.63 (Inspect.299, Inspect.295):
let Inspect.322 : Str = CallByName Str.3 Inspect.299 Inspect.295;
ret Inspect.322;
procedure Inspect.64 (Inspect.301):
let Inspect.306 : List I64 = CallByName #Derived.0 Inspect.150;
let Inspect.303 : {} = Struct {};
let Inspect.302 : Str = CallByName Inspect.39 Inspect.303;
let Inspect.301 : Str = CallByName #Derived.4 Inspect.302 Inspect.306;
dec Inspect.306;
ret Inspect.301;
procedure Inspect.57 (Inspect.271):
let Inspect.333 : I64 = CallByName Inspect.30 Inspect.271;
ret Inspect.333;
procedure Inspect.63 (Inspect.294, Inspect.290):
let Inspect.315 : Str = CallByName Str.3 Inspect.294 Inspect.290;
ret Inspect.315;
procedure Inspect.64 (Inspect.296):
ret Inspect.296;
procedure List.100 (#Derived_gen.8, #Derived_gen.9, #Derived_gen.10, #Derived_gen.11, #Derived_gen.12):
joinpoint List.668 List.174 List.175 List.176 List.177 List.178:
let List.670 : Int1 = CallByName Num.22 List.177 List.178;

326
crates/compiler/test_mono/generated/inspect_derived_nested_record_string.txt generated
View file

@ -34,126 +34,108 @@ procedure Bool.2 ():
let Bool.25 : Int1 = true;
ret Bool.25;
procedure Inspect.229 (Inspect.230, Inspect.228):
let Inspect.351 : Str = "{";
let Inspect.327 : Str = CallByName Inspect.63 Inspect.230 Inspect.351;
dec Inspect.351;
let Inspect.323 : {Str, Int1} = CallByName Inspect.231 Inspect.327 Inspect.228;
dec Inspect.327;
let Inspect.324 : {} = Struct {};
let Inspect.319 : Str = CallByName Inspect.243 Inspect.323;
let Inspect.320 : Str = "}";
let Inspect.318 : Str = CallByName Inspect.63 Inspect.319 Inspect.320;
dec Inspect.320;
ret Inspect.318;
procedure Inspect.225 (Inspect.226, Inspect.224):
let Inspect.337 : Str = "{";
let Inspect.227 : Str = CallByName Inspect.63 Inspect.226 Inspect.337;
dec Inspect.337;
let Inspect.336 : Int1 = CallByName Bool.1;
let Inspect.317 : {Str, Int1} = Struct {Inspect.227, Inspect.336};
let Inspect.318 : {} = Struct {};
let Inspect.316 : {Str, Int1} = CallByName List.18 Inspect.224 Inspect.317 Inspect.318;
let Inspect.228 : Str = StructAtIndex 0 Inspect.316;
let Inspect.313 : Str = "}";
let Inspect.312 : Str = CallByName Inspect.63 Inspect.228 Inspect.313;
dec Inspect.313;
ret Inspect.312;
procedure Inspect.229 (Inspect.230, Inspect.228):
let Inspect.391 : Str = "{";
let Inspect.367 : Str = CallByName Inspect.63 Inspect.230 Inspect.391;
dec Inspect.391;
let Inspect.363 : {Str, Int1} = CallByName Inspect.231 Inspect.367 Inspect.228;
dec Inspect.367;
let Inspect.364 : {} = Struct {};
let Inspect.359 : Str = CallByName Inspect.243 Inspect.363;
let Inspect.360 : Str = "}";
let Inspect.358 : Str = CallByName Inspect.63 Inspect.359 Inspect.360;
dec Inspect.360;
ret Inspect.358;
procedure Inspect.231 (Inspect.232, Inspect.228):
let Inspect.350 : Int1 = CallByName Bool.1;
inc Inspect.232;
let Inspect.331 : {Str, Int1} = Struct {Inspect.232, Inspect.350};
let Inspect.332 : {} = Struct {};
let Inspect.330 : {Str, Int1} = CallByName List.18 Inspect.228 Inspect.331 Inspect.332;
ret Inspect.330;
procedure Inspect.231 (Inspect.232, Inspect.228):
let Inspect.390 : Int1 = CallByName Bool.1;
inc Inspect.232;
let Inspect.371 : {Str, Int1} = Struct {Inspect.232, Inspect.390};
let Inspect.372 : {} = Struct {};
let Inspect.370 : {Str, Int1} = CallByName List.18 Inspect.228 Inspect.371 Inspect.372;
ret Inspect.370;
procedure Inspect.233 (Inspect.333, Inspect.334):
let Inspect.236 : Str = StructAtIndex 0 Inspect.334;
let Inspect.237 : Str = StructAtIndex 1 Inspect.334;
let Inspect.234 : Str = StructAtIndex 0 Inspect.333;
let Inspect.235 : Int1 = StructAtIndex 1 Inspect.333;
joinpoint Inspect.348 Inspect.238:
let Inspect.345 : Str = CallByName Inspect.63 Inspect.238 Inspect.236;
dec Inspect.236;
let Inspect.346 : Str = ": ";
let Inspect.340 : Str = CallByName Inspect.63 Inspect.345 Inspect.346;
dec Inspect.346;
let Inspect.336 : Str = CallByName Inspect.239 Inspect.340 Inspect.237;
let Inspect.337 : {} = Struct {};
let Inspect.335 : {Str, Int1} = CallByName Inspect.241 Inspect.336;
dec Inspect.336;
ret Inspect.335;
in
if Inspect.235 then
let Inspect.349 : Str = ", ";
let Inspect.347 : Str = CallByName Inspect.63 Inspect.234 Inspect.349;
dec Inspect.349;
jump Inspect.348 Inspect.347;
else
jump Inspect.348 Inspect.234;
procedure Inspect.233 (Inspect.333, Inspect.334):
let Inspect.236 : Str = StructAtIndex 0 Inspect.334;
let Inspect.237 : Str = StructAtIndex 1 Inspect.334;
let Inspect.234 : Str = StructAtIndex 0 Inspect.333;
let Inspect.235 : Int1 = StructAtIndex 1 Inspect.333;
joinpoint Inspect.388 Inspect.238:
let Inspect.385 : Str = CallByName Inspect.63 Inspect.238 Inspect.236;
dec Inspect.236;
let Inspect.386 : Str = ": ";
let Inspect.380 : Str = CallByName Inspect.63 Inspect.385 Inspect.386;
dec Inspect.386;
let Inspect.376 : Str = CallByName Inspect.239 Inspect.380 Inspect.237;
dec Inspect.237;
let Inspect.377 : {} = Struct {};
let Inspect.375 : {Str, Int1} = CallByName Inspect.241 Inspect.376;
dec Inspect.376;
ret Inspect.375;
in
if Inspect.235 then
let Inspect.389 : Str = ", ";
let Inspect.387 : Str = CallByName Inspect.63 Inspect.234 Inspect.389;
dec Inspect.389;
jump Inspect.388 Inspect.387;
else
jump Inspect.388 Inspect.234;
procedure Inspect.239 (Inspect.240, Inspect.237):
let Inspect.343 : Str = CallByName Inspect.31 Inspect.237 Inspect.240;
procedure Inspect.225 (Inspect.226, Inspect.224):
let Inspect.368 : Str = "{";
let Inspect.227 : Str = CallByName Inspect.63 Inspect.226 Inspect.368;
dec Inspect.368;
let Inspect.367 : Int1 = CallByName Bool.1;
let Inspect.348 : {Str, Int1} = Struct {Inspect.227, Inspect.367};
let Inspect.349 : {} = Struct {};
let Inspect.347 : {Str, Int1} = CallByName List.18 Inspect.224 Inspect.348 Inspect.349;
let Inspect.228 : Str = StructAtIndex 0 Inspect.347;
let Inspect.344 : Str = "}";
let Inspect.343 : Str = CallByName Inspect.63 Inspect.228 Inspect.344;
dec Inspect.344;
ret Inspect.343;
procedure Inspect.239 (Inspect.240, Inspect.237):
let Inspect.383 : Str = CallByName Inspect.31 Inspect.237 Inspect.240;
ret Inspect.383;
procedure Inspect.229 (Inspect.319, Inspect.320):
let Inspect.232 : Str = StructAtIndex 0 Inspect.320;
let Inspect.233 : Str = StructAtIndex 1 Inspect.320;
let Inspect.230 : Str = StructAtIndex 0 Inspect.319;
let Inspect.231 : Int1 = StructAtIndex 1 Inspect.319;
joinpoint Inspect.334 Inspect.234:
let Inspect.331 : Str = CallByName Inspect.63 Inspect.234 Inspect.232;
dec Inspect.232;
let Inspect.332 : Str = ": ";
let Inspect.326 : Str = CallByName Inspect.63 Inspect.331 Inspect.332;
dec Inspect.332;
let Inspect.322 : Str = CallByName Inspect.235 Inspect.326 Inspect.233;
let Inspect.323 : {} = Struct {};
let Inspect.321 : {Str, Int1} = CallByName Inspect.237 Inspect.322;
dec Inspect.322;
ret Inspect.321;
in
if Inspect.231 then
let Inspect.335 : Str = ", ";
let Inspect.333 : Str = CallByName Inspect.63 Inspect.230 Inspect.335;
dec Inspect.335;
jump Inspect.334 Inspect.333;
else
jump Inspect.334 Inspect.230;
procedure Inspect.241 (Inspect.242):
let Inspect.379 : Int1 = CallByName Bool.2;
inc Inspect.242;
let Inspect.378 : {Str, Int1} = Struct {Inspect.242, Inspect.379};
ret Inspect.378;
procedure Inspect.229 (Inspect.319, Inspect.320):
let Inspect.232 : Str = StructAtIndex 0 Inspect.320;
let Inspect.233 : Str = StructAtIndex 1 Inspect.320;
let Inspect.230 : Str = StructAtIndex 0 Inspect.319;
let Inspect.231 : Int1 = StructAtIndex 1 Inspect.319;
joinpoint Inspect.365 Inspect.234:
let Inspect.362 : Str = CallByName Inspect.63 Inspect.234 Inspect.232;
dec Inspect.232;
let Inspect.363 : Str = ": ";
let Inspect.357 : Str = CallByName Inspect.63 Inspect.362 Inspect.363;
dec Inspect.363;
let Inspect.353 : Str = CallByName Inspect.235 Inspect.357 Inspect.233;
dec Inspect.233;
let Inspect.354 : {} = Struct {};
let Inspect.352 : {Str, Int1} = CallByName Inspect.237 Inspect.353;
dec Inspect.353;
ret Inspect.352;
in
if Inspect.231 then
let Inspect.366 : Str = ", ";
let Inspect.364 : Str = CallByName Inspect.63 Inspect.230 Inspect.366;
dec Inspect.366;
jump Inspect.365 Inspect.364;
else
jump Inspect.365 Inspect.230;
procedure Inspect.243 (Inspect.325):
let Inspect.366 : Str = StructAtIndex 0 Inspect.325;
ret Inspect.366;
procedure Inspect.235 (Inspect.236, Inspect.233):
let Inspect.329 : Str = CallByName Inspect.31 Inspect.233 Inspect.236;
ret Inspect.329;
procedure Inspect.249 (Inspect.250, Inspect.248):
let Inspect.400 : Str = "\"";
let Inspect.399 : Str = CallByName Inspect.63 Inspect.250 Inspect.400;
dec Inspect.400;
let Inspect.397 : Str = CallByName Inspect.63 Inspect.399 Inspect.248;
let Inspect.398 : Str = "\"";
let Inspect.396 : Str = CallByName Inspect.63 Inspect.397 Inspect.398;
dec Inspect.398;
ret Inspect.396;
procedure Inspect.235 (Inspect.236, Inspect.233):
let Inspect.360 : Str = CallByName Inspect.31 Inspect.233 Inspect.236;
ret Inspect.360;
procedure Inspect.237 (Inspect.238):
let Inspect.356 : Int1 = CallByName Bool.2;
inc Inspect.238;
let Inspect.355 : {Str, Int1} = Struct {Inspect.238, Inspect.356};
ret Inspect.355;
procedure Inspect.244 (Inspect.245, Inspect.243):
let Inspect.376 : Str = "\"";
let Inspect.375 : Str = CallByName Inspect.63 Inspect.245 Inspect.376;
dec Inspect.376;
let Inspect.373 : Str = CallByName Inspect.63 Inspect.375 Inspect.243;
let Inspect.374 : Str = "\"";
let Inspect.372 : Str = CallByName Inspect.63 Inspect.373 Inspect.374;
dec Inspect.374;
ret Inspect.372;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
@ -170,81 +152,64 @@ procedure Inspect.30 (Inspect.147):
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.31 (Inspect.302, Inspect.149):
let Inspect.313 : Str = CallByName Inspect.229 Inspect.149 Inspect.302;
ret Inspect.313;
procedure Inspect.31 (Inspect.297, Inspect.149):
let Inspect.308 : Str = CallByName Inspect.225 Inspect.149 Inspect.297;
ret Inspect.308;
procedure Inspect.31 (Inspect.302, Inspect.149):
let Inspect.344 : Str = CallByName #Derived.6 Inspect.149 Inspect.302;
ret Inspect.344;
procedure Inspect.31 (Inspect.297, Inspect.149):
let Inspect.330 : Str = CallByName #Derived.6 Inspect.149 Inspect.297;
ret Inspect.330;
procedure Inspect.31 (Inspect.302, Inspect.149):
let Inspect.353 : Str = CallByName Inspect.229 Inspect.149 Inspect.302;
ret Inspect.353;
procedure Inspect.31 (Inspect.297, Inspect.149):
let Inspect.339 : Str = CallByName Inspect.225 Inspect.149 Inspect.297;
ret Inspect.339;
procedure Inspect.31 (Inspect.302, Inspect.149):
let Inspect.384 : Str = CallByName Inspect.249 Inspect.149 Inspect.302;
ret Inspect.384;
procedure Inspect.31 (Inspect.297, Inspect.149):
let Inspect.361 : Str = CallByName Inspect.244 Inspect.149 Inspect.297;
ret Inspect.361;
procedure Inspect.33 (Inspect.152):
let Inspect.304 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.303 : Str = CallByName Inspect.64 Inspect.304;
ret Inspect.303;
let Inspect.299 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.298 : Str = CallByName Inspect.64 Inspect.299;
ret Inspect.298;
procedure Inspect.39 (Inspect.300):
let Inspect.310 : Str = "";
ret Inspect.310;
procedure Inspect.39 (Inspect.295):
let Inspect.305 : Str = "";
ret Inspect.305;
procedure Inspect.45 (Inspect.228):
let Inspect.314 : List {Str, Str} = CallByName Inspect.30 Inspect.228;
ret Inspect.314;
procedure Inspect.45 (Inspect.224):
let Inspect.309 : List {Str, Str} = CallByName Inspect.30 Inspect.224;
ret Inspect.309;
procedure Inspect.45 (Inspect.228):
let Inspect.354 : List {Str, Str} = CallByName Inspect.30 Inspect.228;
ret Inspect.354;
procedure Inspect.45 (Inspect.224):
let Inspect.340 : List {Str, Str} = CallByName Inspect.30 Inspect.224;
ret Inspect.340;
procedure Inspect.47 (Inspect.248):
let Inspect.392 : Str = CallByName Inspect.30 Inspect.248;
ret Inspect.392;
procedure Inspect.47 (Inspect.243):
let Inspect.369 : Str = CallByName Inspect.30 Inspect.243;
ret Inspect.369;
procedure Inspect.5 (Inspect.150):
let Inspect.311 : Str = CallByName #Derived.0 Inspect.150;
let Inspect.308 : {} = Struct {};
let Inspect.307 : Str = CallByName Inspect.39 Inspect.308;
let Inspect.306 : Str = CallByName #Derived.2 Inspect.307 Inspect.311;
ret Inspect.306;
procedure Inspect.63 (Inspect.299, Inspect.295):
let Inspect.362 : Str = CallByName Str.3 Inspect.299 Inspect.295;
ret Inspect.362;
procedure Inspect.64 (Inspect.301):
let Inspect.306 : Str = CallByName #Derived.0 Inspect.150;
let Inspect.303 : {} = Struct {};
let Inspect.302 : Str = CallByName Inspect.39 Inspect.303;
let Inspect.301 : Str = CallByName #Derived.2 Inspect.302 Inspect.306;
ret Inspect.301;
procedure List.100 (#Derived_gen.32, #Derived_gen.33, #Derived_gen.34, #Derived_gen.35, #Derived_gen.36):
joinpoint List.668 List.174 List.175 List.176 List.177 List.178:
let List.670 : Int1 = CallByName Num.22 List.177 List.178;
if List.670 then
let List.674 : {Str, Str} = CallByName List.66 List.174 List.177;
inc List.674;
let List.179 : {Str, Int1} = CallByName Inspect.233 List.175 List.674;
let List.673 : U64 = 1i64;
let List.672 : U64 = CallByName Num.51 List.177 List.673;
jump List.668 List.174 List.179 List.176 List.672 List.178;
else
dec List.174;
ret List.175;
in
inc #Derived_gen.32;
jump List.668 #Derived_gen.32 #Derived_gen.33 #Derived_gen.34 #Derived_gen.35 #Derived_gen.36;
procedure Inspect.63 (Inspect.294, Inspect.290):
let Inspect.346 : Str = CallByName Str.3 Inspect.294 Inspect.290;
ret Inspect.346;
procedure List.100 (#Derived_gen.43, #Derived_gen.44, #Derived_gen.45, #Derived_gen.46, #Derived_gen.47):
procedure Inspect.64 (Inspect.296):
ret Inspect.296;
procedure List.100 (#Derived_gen.20, #Derived_gen.21, #Derived_gen.22, #Derived_gen.23, #Derived_gen.24):
joinpoint List.680 List.174 List.175 List.176 List.177 List.178:
let List.682 : Int1 = CallByName Num.22 List.177 List.178;
if List.682 then
let List.686 : {Str, Str} = CallByName List.66 List.174 List.177;
inc List.686;
let List.179 : {Str, Int1} = CallByName Inspect.233 List.175 List.686;
let List.179 : {Str, Int1} = CallByName Inspect.229 List.175 List.686;
let List.685 : U64 = 1i64;
let List.684 : U64 = CallByName Num.51 List.177 List.685;
jump List.680 List.174 List.179 List.176 List.684 List.178;
@ -252,8 +217,25 @@ procedure List.100 (#Derived_gen.43, #Derived_gen.44, #Derived_gen.45, #Derived_
dec List.174;
ret List.175;
in
inc #Derived_gen.43;
jump List.680 #Derived_gen.43 #Derived_gen.44 #Derived_gen.45 #Derived_gen.46 #Derived_gen.47;
inc #Derived_gen.20;
jump List.680 #Derived_gen.20 #Derived_gen.21 #Derived_gen.22 #Derived_gen.23 #Derived_gen.24;
procedure List.100 (#Derived_gen.25, #Derived_gen.26, #Derived_gen.27, #Derived_gen.28, #Derived_gen.29):
joinpoint List.668 List.174 List.175 List.176 List.177 List.178:
let List.670 : Int1 = CallByName Num.22 List.177 List.178;
if List.670 then
let List.674 : {Str, Str} = CallByName List.66 List.174 List.177;
inc List.674;
let List.179 : {Str, Int1} = CallByName Inspect.229 List.175 List.674;
let List.673 : U64 = 1i64;
let List.672 : U64 = CallByName Num.51 List.177 List.673;
jump List.668 List.174 List.179 List.176 List.672 List.178;
else
dec List.174;
ret List.175;
in
inc #Derived_gen.25;
jump List.668 #Derived_gen.25 #Derived_gen.26 #Derived_gen.27 #Derived_gen.28 #Derived_gen.29;
procedure List.18 (List.171, List.172, List.173):
let List.666 : U64 = 0i64;

207
crates/compiler/test_mono/generated/inspect_derived_record.txt generated
View file

@ -25,80 +25,69 @@ procedure Bool.2 ():
let Bool.23 : Int1 = true;
ret Bool.23;
procedure Inspect.229 (Inspect.230, Inspect.228):
let Inspect.352 : Str = "{";
let Inspect.327 : Str = CallByName Inspect.63 Inspect.230 Inspect.352;
dec Inspect.352;
let Inspect.323 : {Str, Int1} = CallByName Inspect.231 Inspect.327 Inspect.228;
dec Inspect.327;
let Inspect.324 : {} = Struct {};
let Inspect.319 : Str = CallByName Inspect.243 Inspect.323;
let Inspect.320 : Str = "}";
let Inspect.318 : Str = CallByName Inspect.63 Inspect.319 Inspect.320;
dec Inspect.320;
ret Inspect.318;
procedure Inspect.225 (Inspect.226, Inspect.224):
let Inspect.338 : Str = "{";
let Inspect.227 : Str = CallByName Inspect.63 Inspect.226 Inspect.338;
dec Inspect.338;
let Inspect.337 : Int1 = CallByName Bool.1;
let Inspect.317 : {Str, Int1} = Struct {Inspect.227, Inspect.337};
let Inspect.318 : {} = Struct {};
let Inspect.316 : {Str, Int1} = CallByName List.18 Inspect.224 Inspect.317 Inspect.318;
let Inspect.228 : Str = StructAtIndex 0 Inspect.316;
let Inspect.313 : Str = "}";
let Inspect.312 : Str = CallByName Inspect.63 Inspect.228 Inspect.313;
dec Inspect.313;
ret Inspect.312;
procedure Inspect.231 (Inspect.232, Inspect.228):
let Inspect.351 : Int1 = CallByName Bool.1;
inc Inspect.232;
let Inspect.331 : {Str, Int1} = Struct {Inspect.232, Inspect.351};
let Inspect.332 : {} = Struct {};
let Inspect.330 : {Str, Int1} = CallByName List.18 Inspect.228 Inspect.331 Inspect.332;
ret Inspect.330;
procedure Inspect.233 (Inspect.333, Inspect.334):
let Inspect.237 : [C I64, C Decimal] = StructAtIndex 0 Inspect.334;
let Inspect.236 : Str = StructAtIndex 1 Inspect.334;
let Inspect.234 : Str = StructAtIndex 0 Inspect.333;
let Inspect.235 : Int1 = StructAtIndex 1 Inspect.333;
joinpoint Inspect.349 Inspect.238:
let Inspect.346 : Str = CallByName Inspect.63 Inspect.238 Inspect.236;
dec Inspect.236;
let Inspect.347 : Str = ": ";
let Inspect.340 : Str = CallByName Inspect.63 Inspect.346 Inspect.347;
dec Inspect.347;
let Inspect.336 : Str = CallByName Inspect.239 Inspect.340 Inspect.237;
let Inspect.337 : {} = Struct {};
let Inspect.335 : {Str, Int1} = CallByName Inspect.241 Inspect.336;
dec Inspect.336;
ret Inspect.335;
procedure Inspect.229 (Inspect.319, Inspect.320):
let Inspect.233 : [C I64, C Decimal] = StructAtIndex 0 Inspect.320;
let Inspect.232 : Str = StructAtIndex 1 Inspect.320;
let Inspect.230 : Str = StructAtIndex 0 Inspect.319;
let Inspect.231 : Int1 = StructAtIndex 1 Inspect.319;
joinpoint Inspect.335 Inspect.234:
let Inspect.332 : Str = CallByName Inspect.63 Inspect.234 Inspect.232;
dec Inspect.232;
let Inspect.333 : Str = ": ";
let Inspect.326 : Str = CallByName Inspect.63 Inspect.332 Inspect.333;
dec Inspect.333;
let Inspect.322 : Str = CallByName Inspect.235 Inspect.326 Inspect.233;
let Inspect.323 : {} = Struct {};
let Inspect.321 : {Str, Int1} = CallByName Inspect.237 Inspect.322;
dec Inspect.322;
ret Inspect.321;
in
if Inspect.235 then
let Inspect.350 : Str = ", ";
let Inspect.348 : Str = CallByName Inspect.63 Inspect.234 Inspect.350;
dec Inspect.350;
jump Inspect.349 Inspect.348;
if Inspect.231 then
let Inspect.336 : Str = ", ";
let Inspect.334 : Str = CallByName Inspect.63 Inspect.230 Inspect.336;
dec Inspect.336;
jump Inspect.335 Inspect.334;
else
jump Inspect.349 Inspect.234;
jump Inspect.335 Inspect.230;
procedure Inspect.239 (Inspect.240, Inspect.237):
let Inspect.343 : Str = CallByName Inspect.31 Inspect.237 Inspect.240;
procedure Inspect.235 (Inspect.236, Inspect.233):
let Inspect.329 : Str = CallByName Inspect.31 Inspect.233 Inspect.236;
ret Inspect.329;
procedure Inspect.237 (Inspect.238):
let Inspect.325 : Int1 = CallByName Bool.2;
inc Inspect.238;
let Inspect.324 : {Str, Int1} = Struct {Inspect.238, Inspect.325};
ret Inspect.324;
procedure Inspect.272 (Inspect.273, #Attr.12):
let Inspect.351 : I64 = UnionAtIndex (Id 0) (Index 0) #Attr.12;
let Inspect.350 : Str = CallByName Num.96 Inspect.351;
let Inspect.349 : Str = CallByName Inspect.63 Inspect.273 Inspect.350;
dec Inspect.350;
ret Inspect.349;
procedure Inspect.287 (Inspect.288, #Attr.12):
let Inspect.345 : Decimal = UnionAtIndex (Id 1) (Index 0) #Attr.12;
let Inspect.344 : Str = CallByName Num.96 Inspect.345;
let Inspect.343 : Str = CallByName Inspect.63 Inspect.288 Inspect.344;
dec Inspect.344;
ret Inspect.343;
procedure Inspect.241 (Inspect.242):
let Inspect.339 : Int1 = CallByName Bool.2;
inc Inspect.242;
let Inspect.338 : {Str, Int1} = Struct {Inspect.242, Inspect.339};
ret Inspect.338;
procedure Inspect.243 (Inspect.325):
let Inspect.326 : Str = StructAtIndex 0 Inspect.325;
ret Inspect.326;
procedure Inspect.277 (Inspect.278, #Attr.12):
let Inspect.365 : I64 = UnionAtIndex (Id 0) (Index 0) #Attr.12;
let Inspect.364 : Str = CallByName Num.96 Inspect.365;
let Inspect.363 : Str = CallByName Inspect.63 Inspect.278 Inspect.364;
dec Inspect.364;
ret Inspect.363;
procedure Inspect.292 (Inspect.293, #Attr.12):
let Inspect.359 : Decimal = UnionAtIndex (Id 1) (Index 0) #Attr.12;
let Inspect.358 : Str = CallByName Num.96 Inspect.359;
let Inspect.357 : Str = CallByName Inspect.63 Inspect.293 Inspect.358;
dec Inspect.358;
ret Inspect.357;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
@ -108,66 +97,66 @@ procedure Inspect.30 (Inspect.147):
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.31 (Inspect.302, Inspect.149):
let Inspect.313 : Str = CallByName Inspect.229 Inspect.149 Inspect.302;
ret Inspect.313;
procedure Inspect.31 (Inspect.297, Inspect.149):
let Inspect.308 : Str = CallByName Inspect.225 Inspect.149 Inspect.297;
ret Inspect.308;
procedure Inspect.31 (Inspect.302, Inspect.149):
let Inspect.345 : U8 = GetTagId Inspect.302;
switch Inspect.345:
procedure Inspect.31 (Inspect.297, Inspect.149):
let Inspect.331 : U8 = GetTagId Inspect.297;
switch Inspect.331:
case 0:
let Inspect.344 : Str = CallByName Inspect.277 Inspect.149 Inspect.302;
ret Inspect.344;
let Inspect.330 : Str = CallByName Inspect.272 Inspect.149 Inspect.297;
ret Inspect.330;
default:
let Inspect.344 : Str = CallByName Inspect.292 Inspect.149 Inspect.302;
ret Inspect.344;
let Inspect.330 : Str = CallByName Inspect.287 Inspect.149 Inspect.297;
ret Inspect.330;
procedure Inspect.33 (Inspect.152):
let Inspect.304 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.303 : Str = CallByName Inspect.64 Inspect.304;
ret Inspect.303;
let Inspect.299 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.298 : Str = CallByName Inspect.64 Inspect.299;
ret Inspect.298;
procedure Inspect.39 (Inspect.300):
let Inspect.310 : Str = "";
ret Inspect.310;
procedure Inspect.39 (Inspect.295):
let Inspect.305 : Str = "";
ret Inspect.305;
procedure Inspect.45 (Inspect.228):
let Inspect.314 : List {[C I64, C Decimal], Str} = CallByName Inspect.30 Inspect.228;
ret Inspect.314;
procedure Inspect.45 (Inspect.224):
let Inspect.309 : List {[C I64, C Decimal], Str} = CallByName Inspect.30 Inspect.224;
ret Inspect.309;
procedure Inspect.5 (Inspect.150):
let Inspect.311 : {Decimal, I64} = CallByName #Derived.0 Inspect.150;
let Inspect.308 : {} = Struct {};
let Inspect.307 : Str = CallByName Inspect.39 Inspect.308;
let Inspect.306 : Str = CallByName #Derived.2 Inspect.307 Inspect.311;
ret Inspect.306;
procedure Inspect.57 (Inspect.276):
let Inspect.361 : [C I64, C Decimal] = TagId(0) Inspect.276;
let Inspect.360 : [C I64, C Decimal] = CallByName Inspect.30 Inspect.361;
ret Inspect.360;
procedure Inspect.62 (Inspect.291):
let Inspect.354 : [C I64, C Decimal] = TagId(1) Inspect.291;
let Inspect.353 : [C I64, C Decimal] = CallByName Inspect.30 Inspect.354;
ret Inspect.353;
procedure Inspect.63 (Inspect.299, Inspect.295):
let Inspect.322 : Str = CallByName Str.3 Inspect.299 Inspect.295;
ret Inspect.322;
procedure Inspect.64 (Inspect.301):
let Inspect.306 : {Decimal, I64} = CallByName #Derived.0 Inspect.150;
let Inspect.303 : {} = Struct {};
let Inspect.302 : Str = CallByName Inspect.39 Inspect.303;
let Inspect.301 : Str = CallByName #Derived.2 Inspect.302 Inspect.306;
ret Inspect.301;
procedure Inspect.57 (Inspect.271):
let Inspect.347 : [C I64, C Decimal] = TagId(0) Inspect.271;
let Inspect.346 : [C I64, C Decimal] = CallByName Inspect.30 Inspect.347;
ret Inspect.346;
procedure Inspect.62 (Inspect.286):
let Inspect.340 : [C I64, C Decimal] = TagId(1) Inspect.286;
let Inspect.339 : [C I64, C Decimal] = CallByName Inspect.30 Inspect.340;
ret Inspect.339;
procedure Inspect.63 (Inspect.294, Inspect.290):
let Inspect.315 : Str = CallByName Str.3 Inspect.294 Inspect.290;
ret Inspect.315;
procedure Inspect.64 (Inspect.296):
ret Inspect.296;
procedure List.100 (#Derived_gen.20, #Derived_gen.21, #Derived_gen.22, #Derived_gen.23, #Derived_gen.24):
joinpoint List.668 List.174 List.175 List.176 List.177 List.178:
let List.670 : Int1 = CallByName Num.22 List.177 List.178;
if List.670 then
let List.674 : {[C I64, C Decimal], Str} = CallByName List.66 List.174 List.177;
inc List.674;
let List.179 : {Str, Int1} = CallByName Inspect.233 List.175 List.674;
let List.179 : {Str, Int1} = CallByName Inspect.229 List.175 List.674;
let List.673 : U64 = 1i64;
let List.672 : U64 = CallByName Num.51 List.177 List.673;
jump List.668 List.174 List.179 List.176 List.672 List.178;

209
crates/compiler/test_mono/generated/inspect_derived_record_one_field_string.txt generated
View file

@ -20,132 +20,121 @@ procedure Bool.2 ():
let Bool.23 : Int1 = true;
ret Bool.23;
procedure Inspect.229 (Inspect.230, Inspect.228):
let Inspect.351 : Str = "{";
let Inspect.327 : Str = CallByName Inspect.63 Inspect.230 Inspect.351;
dec Inspect.351;
let Inspect.323 : {Str, Int1} = CallByName Inspect.231 Inspect.327 Inspect.228;
dec Inspect.327;
let Inspect.324 : {} = Struct {};
let Inspect.319 : Str = CallByName Inspect.243 Inspect.323;
let Inspect.320 : Str = "}";
let Inspect.318 : Str = CallByName Inspect.63 Inspect.319 Inspect.320;
dec Inspect.320;
ret Inspect.318;
procedure Inspect.225 (Inspect.226, Inspect.224):
let Inspect.337 : Str = "{";
let Inspect.227 : Str = CallByName Inspect.63 Inspect.226 Inspect.337;
dec Inspect.337;
let Inspect.336 : Int1 = CallByName Bool.1;
let Inspect.317 : {Str, Int1} = Struct {Inspect.227, Inspect.336};
let Inspect.318 : {} = Struct {};
let Inspect.316 : {Str, Int1} = CallByName List.18 Inspect.224 Inspect.317 Inspect.318;
let Inspect.228 : Str = StructAtIndex 0 Inspect.316;
let Inspect.313 : Str = "}";
let Inspect.312 : Str = CallByName Inspect.63 Inspect.228 Inspect.313;
dec Inspect.313;
ret Inspect.312;
procedure Inspect.231 (Inspect.232, Inspect.228):
let Inspect.350 : Int1 = CallByName Bool.1;
inc Inspect.232;
let Inspect.331 : {Str, Int1} = Struct {Inspect.232, Inspect.350};
let Inspect.332 : {} = Struct {};
let Inspect.330 : {Str, Int1} = CallByName List.18 Inspect.228 Inspect.331 Inspect.332;
procedure Inspect.229 (Inspect.319, Inspect.320):
let Inspect.232 : Str = StructAtIndex 0 Inspect.320;
let Inspect.233 : Str = StructAtIndex 1 Inspect.320;
let Inspect.230 : Str = StructAtIndex 0 Inspect.319;
let Inspect.231 : Int1 = StructAtIndex 1 Inspect.319;
joinpoint Inspect.334 Inspect.234:
let Inspect.331 : Str = CallByName Inspect.63 Inspect.234 Inspect.232;
dec Inspect.232;
let Inspect.332 : Str = ": ";
let Inspect.326 : Str = CallByName Inspect.63 Inspect.331 Inspect.332;
dec Inspect.332;
let Inspect.322 : Str = CallByName Inspect.235 Inspect.326 Inspect.233;
dec Inspect.233;
let Inspect.323 : {} = Struct {};
let Inspect.321 : {Str, Int1} = CallByName Inspect.237 Inspect.322;
dec Inspect.322;
ret Inspect.321;
in
if Inspect.231 then
let Inspect.335 : Str = ", ";
let Inspect.333 : Str = CallByName Inspect.63 Inspect.230 Inspect.335;
dec Inspect.335;
jump Inspect.334 Inspect.333;
else
jump Inspect.334 Inspect.230;
procedure Inspect.235 (Inspect.236, Inspect.233):
let Inspect.329 : Str = CallByName Inspect.31 Inspect.233 Inspect.236;
ret Inspect.329;
procedure Inspect.237 (Inspect.238):
let Inspect.325 : Int1 = CallByName Bool.2;
inc Inspect.238;
let Inspect.324 : {Str, Int1} = Struct {Inspect.238, Inspect.325};
ret Inspect.324;
procedure Inspect.244 (Inspect.245, Inspect.243):
let Inspect.345 : Str = "\"";
let Inspect.344 : Str = CallByName Inspect.63 Inspect.245 Inspect.345;
dec Inspect.345;
let Inspect.342 : Str = CallByName Inspect.63 Inspect.344 Inspect.243;
let Inspect.343 : Str = "\"";
let Inspect.341 : Str = CallByName Inspect.63 Inspect.342 Inspect.343;
dec Inspect.343;
ret Inspect.341;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.31 (Inspect.297, Inspect.149):
let Inspect.308 : Str = CallByName Inspect.225 Inspect.149 Inspect.297;
ret Inspect.308;
procedure Inspect.31 (Inspect.297, Inspect.149):
let Inspect.330 : Str = CallByName Inspect.244 Inspect.149 Inspect.297;
ret Inspect.330;
procedure Inspect.233 (Inspect.333, Inspect.334):
let Inspect.236 : Str = StructAtIndex 0 Inspect.334;
let Inspect.237 : Str = StructAtIndex 1 Inspect.334;
let Inspect.234 : Str = StructAtIndex 0 Inspect.333;
let Inspect.235 : Int1 = StructAtIndex 1 Inspect.333;
joinpoint Inspect.348 Inspect.238:
let Inspect.345 : Str = CallByName Inspect.63 Inspect.238 Inspect.236;
dec Inspect.236;
let Inspect.346 : Str = ": ";
let Inspect.340 : Str = CallByName Inspect.63 Inspect.345 Inspect.346;
dec Inspect.346;
let Inspect.336 : Str = CallByName Inspect.239 Inspect.340 Inspect.237;
dec Inspect.237;
let Inspect.337 : {} = Struct {};
let Inspect.335 : {Str, Int1} = CallByName Inspect.241 Inspect.336;
dec Inspect.336;
ret Inspect.335;
in
if Inspect.235 then
let Inspect.349 : Str = ", ";
let Inspect.347 : Str = CallByName Inspect.63 Inspect.234 Inspect.349;
dec Inspect.349;
jump Inspect.348 Inspect.347;
else
jump Inspect.348 Inspect.234;
procedure Inspect.33 (Inspect.152):
let Inspect.299 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.298 : Str = CallByName Inspect.64 Inspect.299;
ret Inspect.298;
procedure Inspect.239 (Inspect.240, Inspect.237):
let Inspect.343 : Str = CallByName Inspect.31 Inspect.237 Inspect.240;
ret Inspect.343;
procedure Inspect.39 (Inspect.295):
let Inspect.305 : Str = "";
ret Inspect.305;
procedure Inspect.241 (Inspect.242):
let Inspect.339 : Int1 = CallByName Bool.2;
inc Inspect.242;
let Inspect.338 : {Str, Int1} = Struct {Inspect.242, Inspect.339};
procedure Inspect.45 (Inspect.224):
let Inspect.309 : List {Str, Str} = CallByName Inspect.30 Inspect.224;
ret Inspect.309;
procedure Inspect.47 (Inspect.243):
let Inspect.338 : Str = CallByName Inspect.30 Inspect.243;
ret Inspect.338;
procedure Inspect.243 (Inspect.325):
let Inspect.326 : Str = StructAtIndex 0 Inspect.325;
ret Inspect.326;
procedure Inspect.249 (Inspect.250, Inspect.248):
let Inspect.360 : Str = "\"";
let Inspect.359 : Str = CallByName Inspect.63 Inspect.250 Inspect.360;
dec Inspect.360;
let Inspect.357 : Str = CallByName Inspect.63 Inspect.359 Inspect.248;
let Inspect.358 : Str = "\"";
let Inspect.356 : Str = CallByName Inspect.63 Inspect.357 Inspect.358;
dec Inspect.358;
ret Inspect.356;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.31 (Inspect.302, Inspect.149):
let Inspect.313 : Str = CallByName Inspect.229 Inspect.149 Inspect.302;
ret Inspect.313;
procedure Inspect.31 (Inspect.302, Inspect.149):
let Inspect.344 : Str = CallByName Inspect.249 Inspect.149 Inspect.302;
ret Inspect.344;
procedure Inspect.33 (Inspect.152):
let Inspect.304 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.303 : Str = CallByName Inspect.64 Inspect.304;
ret Inspect.303;
procedure Inspect.39 (Inspect.300):
let Inspect.310 : Str = "";
ret Inspect.310;
procedure Inspect.45 (Inspect.228):
let Inspect.314 : List {Str, Str} = CallByName Inspect.30 Inspect.228;
ret Inspect.314;
procedure Inspect.47 (Inspect.248):
let Inspect.352 : Str = CallByName Inspect.30 Inspect.248;
ret Inspect.352;
procedure Inspect.5 (Inspect.150):
let Inspect.311 : Str = CallByName #Derived.0 Inspect.150;
let Inspect.308 : {} = Struct {};
let Inspect.307 : Str = CallByName Inspect.39 Inspect.308;
let Inspect.306 : Str = CallByName #Derived.2 Inspect.307 Inspect.311;
ret Inspect.306;
procedure Inspect.63 (Inspect.299, Inspect.295):
let Inspect.322 : Str = CallByName Str.3 Inspect.299 Inspect.295;
ret Inspect.322;
procedure Inspect.64 (Inspect.301):
let Inspect.306 : Str = CallByName #Derived.0 Inspect.150;
let Inspect.303 : {} = Struct {};
let Inspect.302 : Str = CallByName Inspect.39 Inspect.303;
let Inspect.301 : Str = CallByName #Derived.2 Inspect.302 Inspect.306;
ret Inspect.301;
procedure Inspect.63 (Inspect.294, Inspect.290):
let Inspect.315 : Str = CallByName Str.3 Inspect.294 Inspect.290;
ret Inspect.315;
procedure Inspect.64 (Inspect.296):
ret Inspect.296;
procedure List.100 (#Derived_gen.12, #Derived_gen.13, #Derived_gen.14, #Derived_gen.15, #Derived_gen.16):
joinpoint List.668 List.174 List.175 List.176 List.177 List.178:
let List.670 : Int1 = CallByName Num.22 List.177 List.178;
if List.670 then
let List.674 : {Str, Str} = CallByName List.66 List.174 List.177;
inc List.674;
let List.179 : {Str, Int1} = CallByName Inspect.233 List.175 List.674;
let List.179 : {Str, Int1} = CallByName Inspect.229 List.175 List.674;
let List.673 : U64 = 1i64;
let List.672 : U64 = CallByName Num.51 List.177 List.673;
jump List.668 List.174 List.179 List.176 List.672 List.178;

207
crates/compiler/test_mono/generated/inspect_derived_record_two_field_strings.txt generated
View file

@ -27,132 +27,121 @@ procedure Bool.2 ():
let Bool.23 : Int1 = true;
ret Bool.23;
procedure Inspect.229 (Inspect.230, Inspect.228):
let Inspect.351 : Str = "{";
let Inspect.327 : Str = CallByName Inspect.63 Inspect.230 Inspect.351;
dec Inspect.351;
let Inspect.323 : {Str, Int1} = CallByName Inspect.231 Inspect.327 Inspect.228;
dec Inspect.327;
let Inspect.324 : {} = Struct {};
let Inspect.319 : Str = CallByName Inspect.243 Inspect.323;
let Inspect.320 : Str = "}";
let Inspect.318 : Str = CallByName Inspect.63 Inspect.319 Inspect.320;
dec Inspect.320;
ret Inspect.318;
procedure Inspect.225 (Inspect.226, Inspect.224):
let Inspect.337 : Str = "{";
let Inspect.227 : Str = CallByName Inspect.63 Inspect.226 Inspect.337;
dec Inspect.337;
let Inspect.336 : Int1 = CallByName Bool.1;
let Inspect.317 : {Str, Int1} = Struct {Inspect.227, Inspect.336};
let Inspect.318 : {} = Struct {};
let Inspect.316 : {Str, Int1} = CallByName List.18 Inspect.224 Inspect.317 Inspect.318;
let Inspect.228 : Str = StructAtIndex 0 Inspect.316;
let Inspect.313 : Str = "}";
let Inspect.312 : Str = CallByName Inspect.63 Inspect.228 Inspect.313;
dec Inspect.313;
ret Inspect.312;
procedure Inspect.231 (Inspect.232, Inspect.228):
let Inspect.350 : Int1 = CallByName Bool.1;
inc Inspect.232;
let Inspect.331 : {Str, Int1} = Struct {Inspect.232, Inspect.350};
let Inspect.332 : {} = Struct {};
let Inspect.330 : {Str, Int1} = CallByName List.18 Inspect.228 Inspect.331 Inspect.332;
procedure Inspect.229 (Inspect.319, Inspect.320):
let Inspect.232 : Str = StructAtIndex 0 Inspect.320;
let Inspect.233 : Str = StructAtIndex 1 Inspect.320;
let Inspect.230 : Str = StructAtIndex 0 Inspect.319;
let Inspect.231 : Int1 = StructAtIndex 1 Inspect.319;
joinpoint Inspect.334 Inspect.234:
let Inspect.331 : Str = CallByName Inspect.63 Inspect.234 Inspect.232;
dec Inspect.232;
let Inspect.332 : Str = ": ";
let Inspect.326 : Str = CallByName Inspect.63 Inspect.331 Inspect.332;
dec Inspect.332;
let Inspect.322 : Str = CallByName Inspect.235 Inspect.326 Inspect.233;
dec Inspect.233;
let Inspect.323 : {} = Struct {};
let Inspect.321 : {Str, Int1} = CallByName Inspect.237 Inspect.322;
dec Inspect.322;
ret Inspect.321;
in
if Inspect.231 then
let Inspect.335 : Str = ", ";
let Inspect.333 : Str = CallByName Inspect.63 Inspect.230 Inspect.335;
dec Inspect.335;
jump Inspect.334 Inspect.333;
else
jump Inspect.334 Inspect.230;
procedure Inspect.235 (Inspect.236, Inspect.233):
let Inspect.329 : Str = CallByName Inspect.31 Inspect.233 Inspect.236;
ret Inspect.329;
procedure Inspect.237 (Inspect.238):
let Inspect.325 : Int1 = CallByName Bool.2;
inc Inspect.238;
let Inspect.324 : {Str, Int1} = Struct {Inspect.238, Inspect.325};
ret Inspect.324;
procedure Inspect.244 (Inspect.245, Inspect.243):
let Inspect.345 : Str = "\"";
let Inspect.344 : Str = CallByName Inspect.63 Inspect.245 Inspect.345;
dec Inspect.345;
let Inspect.342 : Str = CallByName Inspect.63 Inspect.344 Inspect.243;
let Inspect.343 : Str = "\"";
let Inspect.341 : Str = CallByName Inspect.63 Inspect.342 Inspect.343;
dec Inspect.343;
ret Inspect.341;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.31 (Inspect.297, Inspect.149):
let Inspect.308 : Str = CallByName Inspect.225 Inspect.149 Inspect.297;
ret Inspect.308;
procedure Inspect.31 (Inspect.297, Inspect.149):
let Inspect.330 : Str = CallByName Inspect.244 Inspect.149 Inspect.297;
ret Inspect.330;
procedure Inspect.233 (Inspect.333, Inspect.334):
let Inspect.236 : Str = StructAtIndex 0 Inspect.334;
let Inspect.237 : Str = StructAtIndex 1 Inspect.334;
let Inspect.234 : Str = StructAtIndex 0 Inspect.333;
let Inspect.235 : Int1 = StructAtIndex 1 Inspect.333;
joinpoint Inspect.348 Inspect.238:
let Inspect.345 : Str = CallByName Inspect.63 Inspect.238 Inspect.236;
dec Inspect.236;
let Inspect.346 : Str = ": ";
let Inspect.340 : Str = CallByName Inspect.63 Inspect.345 Inspect.346;
dec Inspect.346;
let Inspect.336 : Str = CallByName Inspect.239 Inspect.340 Inspect.237;
dec Inspect.237;
let Inspect.337 : {} = Struct {};
let Inspect.335 : {Str, Int1} = CallByName Inspect.241 Inspect.336;
dec Inspect.336;
ret Inspect.335;
in
if Inspect.235 then
let Inspect.349 : Str = ", ";
let Inspect.347 : Str = CallByName Inspect.63 Inspect.234 Inspect.349;
dec Inspect.349;
jump Inspect.348 Inspect.347;
else
jump Inspect.348 Inspect.234;
procedure Inspect.239 (Inspect.240, Inspect.237):
let Inspect.343 : Str = CallByName Inspect.31 Inspect.237 Inspect.240;
ret Inspect.343;
procedure Inspect.241 (Inspect.242):
let Inspect.339 : Int1 = CallByName Bool.2;
inc Inspect.242;
let Inspect.338 : {Str, Int1} = Struct {Inspect.242, Inspect.339};
ret Inspect.338;
procedure Inspect.243 (Inspect.325):
let Inspect.326 : Str = StructAtIndex 0 Inspect.325;
ret Inspect.326;
procedure Inspect.249 (Inspect.250, Inspect.248):
let Inspect.360 : Str = "\"";
let Inspect.359 : Str = CallByName Inspect.63 Inspect.250 Inspect.360;
dec Inspect.360;
let Inspect.357 : Str = CallByName Inspect.63 Inspect.359 Inspect.248;
let Inspect.358 : Str = "\"";
let Inspect.356 : Str = CallByName Inspect.63 Inspect.357 Inspect.358;
dec Inspect.358;
ret Inspect.356;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.31 (Inspect.302, Inspect.149):
let Inspect.313 : Str = CallByName Inspect.229 Inspect.149 Inspect.302;
ret Inspect.313;
procedure Inspect.31 (Inspect.302, Inspect.149):
let Inspect.344 : Str = CallByName Inspect.249 Inspect.149 Inspect.302;
ret Inspect.344;
procedure Inspect.33 (Inspect.152):
let Inspect.304 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.303 : Str = CallByName Inspect.64 Inspect.304;
ret Inspect.303;
let Inspect.299 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.298 : Str = CallByName Inspect.64 Inspect.299;
ret Inspect.298;
procedure Inspect.39 (Inspect.300):
let Inspect.310 : Str = "";
ret Inspect.310;
procedure Inspect.39 (Inspect.295):
let Inspect.305 : Str = "";
ret Inspect.305;
procedure Inspect.45 (Inspect.228):
let Inspect.314 : List {Str, Str} = CallByName Inspect.30 Inspect.228;
ret Inspect.314;
procedure Inspect.45 (Inspect.224):
let Inspect.309 : List {Str, Str} = CallByName Inspect.30 Inspect.224;
ret Inspect.309;
procedure Inspect.47 (Inspect.248):
let Inspect.361 : Str = CallByName Inspect.30 Inspect.248;
ret Inspect.361;
procedure Inspect.47 (Inspect.243):
let Inspect.346 : Str = CallByName Inspect.30 Inspect.243;
ret Inspect.346;
procedure Inspect.5 (Inspect.150):
let Inspect.311 : {Str, Str} = CallByName #Derived.0 Inspect.150;
let Inspect.308 : {} = Struct {};
let Inspect.307 : Str = CallByName Inspect.39 Inspect.308;
let Inspect.306 : Str = CallByName #Derived.2 Inspect.307 Inspect.311;
ret Inspect.306;
procedure Inspect.63 (Inspect.299, Inspect.295):
let Inspect.322 : Str = CallByName Str.3 Inspect.299 Inspect.295;
ret Inspect.322;
procedure Inspect.64 (Inspect.301):
let Inspect.306 : {Str, Str} = CallByName #Derived.0 Inspect.150;
let Inspect.303 : {} = Struct {};
let Inspect.302 : Str = CallByName Inspect.39 Inspect.303;
let Inspect.301 : Str = CallByName #Derived.2 Inspect.302 Inspect.306;
ret Inspect.301;
procedure Inspect.63 (Inspect.294, Inspect.290):
let Inspect.315 : Str = CallByName Str.3 Inspect.294 Inspect.290;
ret Inspect.315;
procedure Inspect.64 (Inspect.296):
ret Inspect.296;
procedure List.100 (#Derived_gen.16, #Derived_gen.17, #Derived_gen.18, #Derived_gen.19, #Derived_gen.20):
joinpoint List.668 List.174 List.175 List.176 List.177 List.178:
let List.670 : Int1 = CallByName Num.22 List.177 List.178;
if List.670 then
let List.674 : {Str, Str} = CallByName List.66 List.174 List.177;
inc List.674;
let List.179 : {Str, Int1} = CallByName Inspect.233 List.175 List.674;
let List.179 : {Str, Int1} = CallByName Inspect.229 List.175 List.674;
let List.673 : U64 = 1i64;
let List.672 : U64 = CallByName Num.51 List.177 List.673;
jump List.668 List.174 List.179 List.176 List.672 List.178;

60
crates/compiler/test_mono/generated/inspect_derived_string.txt generated
View file

@ -1,44 +1,44 @@
procedure Inspect.249 (Inspect.250, Inspect.248):
let Inspect.322 : Str = "\"";
let Inspect.321 : Str = CallByName Inspect.63 Inspect.250 Inspect.322;
dec Inspect.322;
let Inspect.317 : Str = CallByName Inspect.63 Inspect.321 Inspect.248;
let Inspect.318 : Str = "\"";
let Inspect.316 : Str = CallByName Inspect.63 Inspect.317 Inspect.318;
dec Inspect.318;
ret Inspect.316;
procedure Inspect.244 (Inspect.245, Inspect.243):
let Inspect.316 : Str = "\"";
let Inspect.315 : Str = CallByName Inspect.63 Inspect.245 Inspect.316;
dec Inspect.316;
let Inspect.311 : Str = CallByName Inspect.63 Inspect.315 Inspect.243;
let Inspect.312 : Str = "\"";
let Inspect.310 : Str = CallByName Inspect.63 Inspect.311 Inspect.312;
dec Inspect.312;
ret Inspect.310;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.33 (Inspect.152):
let Inspect.304 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.303 : Str = CallByName Inspect.64 Inspect.304;
ret Inspect.303;
let Inspect.299 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.298 : Str = CallByName Inspect.64 Inspect.299;
ret Inspect.298;
procedure Inspect.39 (Inspect.300):
let Inspect.310 : Str = "";
ret Inspect.310;
procedure Inspect.39 (Inspect.295):
let Inspect.305 : Str = "";
ret Inspect.305;
procedure Inspect.47 (Inspect.248):
let Inspect.312 : Str = CallByName Inspect.30 Inspect.248;
ret Inspect.312;
procedure Inspect.47 (Inspect.243):
let Inspect.307 : Str = CallByName Inspect.30 Inspect.243;
ret Inspect.307;
procedure Inspect.5 (Inspect.150):
let Inspect.311 : Str = CallByName Inspect.47 Inspect.150;
let Inspect.308 : {} = Struct {};
let Inspect.307 : Str = CallByName Inspect.39 Inspect.308;
let Inspect.306 : Str = CallByName Inspect.249 Inspect.307 Inspect.311;
dec Inspect.311;
ret Inspect.306;
procedure Inspect.63 (Inspect.299, Inspect.295):
let Inspect.320 : Str = CallByName Str.3 Inspect.299 Inspect.295;
ret Inspect.320;
procedure Inspect.64 (Inspect.301):
let Inspect.306 : Str = CallByName Inspect.47 Inspect.150;
let Inspect.303 : {} = Struct {};
let Inspect.302 : Str = CallByName Inspect.39 Inspect.303;
let Inspect.301 : Str = CallByName Inspect.244 Inspect.302 Inspect.306;
dec Inspect.306;
ret Inspect.301;
procedure Inspect.63 (Inspect.294, Inspect.290):
let Inspect.314 : Str = CallByName Str.3 Inspect.294 Inspect.290;
ret Inspect.314;
procedure Inspect.64 (Inspect.296):
ret Inspect.296;
procedure Str.3 (#Attr.2, #Attr.3):
let Str.246 : Str = lowlevel StrConcat #Attr.2 #Attr.3;
ret Str.246;

188
crates/compiler/test_mono/generated/inspect_derived_tag_one_field_string.txt generated
View file

@ -19,52 +19,48 @@ procedure Bool.11 (#Attr.2, #Attr.3):
let Bool.23 : Int1 = lowlevel Eq #Attr.2 #Attr.3;
ret Bool.23;
procedure Inspect.204 (Inspect.205, #Attr.12):
let Inspect.345 : Str = UnionAtIndex (Id 0) (Index 0) #Attr.12;
let Inspect.344 : Str = CallByName Inspect.63 Inspect.205 Inspect.345;
dec Inspect.345;
ret Inspect.344;
procedure Inspect.206 (Inspect.207, #Attr.12):
let Inspect.339 : List Str = UnionAtIndex (Id 1) (Index 1) #Attr.12;
let Inspect.338 : Str = UnionAtIndex (Id 1) (Index 0) #Attr.12;
let Inspect.337 : Str = "(";
let Inspect.336 : Str = CallByName Inspect.63 Inspect.207 Inspect.337;
dec Inspect.337;
let Inspect.324 : Str = CallByName Inspect.63 Inspect.336 Inspect.338;
dec Inspect.338;
let Inspect.320 : Str = CallByName Inspect.208 Inspect.324 Inspect.339;
dec Inspect.339;
let Inspect.321 : Str = ")";
let Inspect.319 : Str = CallByName Inspect.63 Inspect.320 Inspect.321;
dec Inspect.321;
ret Inspect.319;
procedure Inspect.208 (Inspect.209, Inspect.203):
let Inspect.328 : {} = Struct {};
let Inspect.327 : Str = CallByName List.18 Inspect.203 Inspect.209 Inspect.328;
ret Inspect.327;
procedure Inspect.210 (Inspect.211, Inspect.212):
let Inspect.335 : Str = " ";
let Inspect.330 : Str = CallByName Inspect.63 Inspect.211 Inspect.335;
dec Inspect.335;
let Inspect.329 : Str = CallByName Inspect.213 Inspect.330 Inspect.212;
ret Inspect.329;
procedure Inspect.213 (Inspect.214, Inspect.212):
let Inspect.333 : Str = CallByName Inspect.31 Inspect.212 Inspect.214;
procedure Inspect.201 (Inspect.202, #Attr.12):
let Inspect.334 : Str = UnionAtIndex (Id 0) (Index 0) #Attr.12;
let Inspect.333 : Str = CallByName Inspect.63 Inspect.202 Inspect.334;
dec Inspect.334;
ret Inspect.333;
procedure Inspect.249 (Inspect.250, Inspect.248):
let Inspect.354 : Str = "\"";
let Inspect.353 : Str = CallByName Inspect.63 Inspect.250 Inspect.354;
dec Inspect.354;
let Inspect.351 : Str = CallByName Inspect.63 Inspect.353 Inspect.248;
let Inspect.352 : Str = "\"";
let Inspect.350 : Str = CallByName Inspect.63 Inspect.351 Inspect.352;
dec Inspect.352;
ret Inspect.350;
procedure Inspect.203 (Inspect.204, #Attr.12):
let Inspect.328 : List Str = UnionAtIndex (Id 1) (Index 1) #Attr.12;
let Inspect.327 : Str = UnionAtIndex (Id 1) (Index 0) #Attr.12;
let Inspect.326 : Str = "(";
let Inspect.325 : Str = CallByName Inspect.63 Inspect.204 Inspect.326;
dec Inspect.326;
let Inspect.205 : Str = CallByName Inspect.63 Inspect.325 Inspect.327;
dec Inspect.327;
let Inspect.317 : {} = Struct {};
let Inspect.206 : Str = CallByName List.18 Inspect.328 Inspect.205 Inspect.317;
dec Inspect.328;
let Inspect.314 : Str = ")";
let Inspect.313 : Str = CallByName Inspect.63 Inspect.206 Inspect.314;
dec Inspect.314;
ret Inspect.313;
procedure Inspect.207 (Inspect.208, Inspect.209):
let Inspect.324 : Str = " ";
let Inspect.319 : Str = CallByName Inspect.63 Inspect.208 Inspect.324;
dec Inspect.324;
let Inspect.318 : Str = CallByName Inspect.210 Inspect.319 Inspect.209;
ret Inspect.318;
procedure Inspect.210 (Inspect.211, Inspect.209):
let Inspect.322 : Str = CallByName Inspect.31 Inspect.209 Inspect.211;
ret Inspect.322;
procedure Inspect.244 (Inspect.245, Inspect.243):
let Inspect.342 : Str = "\"";
let Inspect.341 : Str = CallByName Inspect.63 Inspect.245 Inspect.342;
dec Inspect.342;
let Inspect.339 : Str = CallByName Inspect.63 Inspect.341 Inspect.243;
let Inspect.340 : Str = "\"";
let Inspect.338 : Str = CallByName Inspect.63 Inspect.339 Inspect.340;
dec Inspect.340;
ret Inspect.338;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
@ -75,76 +71,76 @@ procedure Inspect.30 (Inspect.147):
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.31 (Inspect.302, Inspect.149):
let Inspect.314 : U8 = GetTagId Inspect.302;
switch Inspect.314:
procedure Inspect.31 (Inspect.297, Inspect.149):
let Inspect.309 : U8 = GetTagId Inspect.297;
switch Inspect.309:
case 0:
let Inspect.313 : Str = CallByName Inspect.204 Inspect.149 Inspect.302;
ret Inspect.313;
let Inspect.308 : Str = CallByName Inspect.201 Inspect.149 Inspect.297;
ret Inspect.308;
default:
let Inspect.313 : Str = CallByName Inspect.206 Inspect.149 Inspect.302;
ret Inspect.313;
let Inspect.308 : Str = CallByName Inspect.203 Inspect.149 Inspect.297;
ret Inspect.308;
procedure Inspect.31 (Inspect.302, Inspect.149):
let Inspect.334 : Str = CallByName Inspect.249 Inspect.149 Inspect.302;
ret Inspect.334;
procedure Inspect.33 (Inspect.152):
let Inspect.304 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.303 : Str = CallByName Inspect.64 Inspect.304;
ret Inspect.303;
procedure Inspect.39 (Inspect.300):
let Inspect.310 : Str = "";
ret Inspect.310;
procedure Inspect.43 (Inspect.202, Inspect.203):
let Inspect.340 : Int1 = CallByName List.1 Inspect.203;
if Inspect.340 then
inc Inspect.202;
let Inspect.342 : [C Str, C Str List Str] = TagId(0) Inspect.202;
let Inspect.341 : [C Str, C Str List Str] = CallByName Inspect.30 Inspect.342;
ret Inspect.341;
else
inc Inspect.203;
inc Inspect.202;
let Inspect.316 : [C Str, C Str List Str] = TagId(1) Inspect.202 Inspect.203;
let Inspect.315 : [C Str, C Str List Str] = CallByName Inspect.30 Inspect.316;
ret Inspect.315;
procedure Inspect.47 (Inspect.248):
let Inspect.346 : Str = CallByName Inspect.30 Inspect.248;
ret Inspect.346;
procedure Inspect.5 (Inspect.150):
let Inspect.311 : Str = CallByName #Derived.0 Inspect.150;
let Inspect.308 : {} = Struct {};
let Inspect.307 : Str = CallByName Inspect.39 Inspect.308;
let Inspect.306 : Str = CallByName #Derived.3 Inspect.307 Inspect.311;
ret Inspect.306;
procedure Inspect.63 (Inspect.299, Inspect.295):
let Inspect.323 : Str = CallByName Str.3 Inspect.299 Inspect.295;
procedure Inspect.31 (Inspect.297, Inspect.149):
let Inspect.323 : Str = CallByName Inspect.244 Inspect.149 Inspect.297;
ret Inspect.323;
procedure Inspect.64 (Inspect.301):
procedure Inspect.33 (Inspect.152):
let Inspect.299 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.298 : Str = CallByName Inspect.64 Inspect.299;
ret Inspect.298;
procedure Inspect.39 (Inspect.295):
let Inspect.305 : Str = "";
ret Inspect.305;
procedure Inspect.43 (Inspect.199, Inspect.200):
let Inspect.329 : Int1 = CallByName List.1 Inspect.200;
if Inspect.329 then
inc Inspect.199;
let Inspect.331 : [C Str, C Str List Str] = TagId(0) Inspect.199;
let Inspect.330 : [C Str, C Str List Str] = CallByName Inspect.30 Inspect.331;
ret Inspect.330;
else
inc Inspect.200;
inc Inspect.199;
let Inspect.311 : [C Str, C Str List Str] = TagId(1) Inspect.199 Inspect.200;
let Inspect.310 : [C Str, C Str List Str] = CallByName Inspect.30 Inspect.311;
ret Inspect.310;
procedure Inspect.47 (Inspect.243):
let Inspect.335 : Str = CallByName Inspect.30 Inspect.243;
ret Inspect.335;
procedure Inspect.5 (Inspect.150):
let Inspect.306 : Str = CallByName #Derived.0 Inspect.150;
let Inspect.303 : {} = Struct {};
let Inspect.302 : Str = CallByName Inspect.39 Inspect.303;
let Inspect.301 : Str = CallByName #Derived.3 Inspect.302 Inspect.306;
ret Inspect.301;
procedure Inspect.63 (Inspect.294, Inspect.290):
let Inspect.316 : Str = CallByName Str.3 Inspect.294 Inspect.290;
ret Inspect.316;
procedure Inspect.64 (Inspect.296):
ret Inspect.296;
procedure List.1 (List.118):
let List.678 : U64 = CallByName List.6 List.118;
let List.679 : U64 = 0i64;
let List.677 : Int1 = CallByName Bool.11 List.678 List.679;
ret List.677;
procedure List.100 (#Derived_gen.12, #Derived_gen.13, #Derived_gen.14, #Derived_gen.15, #Derived_gen.16):
procedure List.100 (#Derived_gen.14, #Derived_gen.15, #Derived_gen.16, #Derived_gen.17, #Derived_gen.18):
joinpoint List.668 List.174 List.175 List.176 List.177 List.178:
let List.670 : Int1 = CallByName Num.22 List.177 List.178;
if List.670 then
let List.674 : Str = CallByName List.66 List.174 List.177;
inc List.674;
let List.179 : Str = CallByName Inspect.210 List.175 List.674;
let List.179 : Str = CallByName Inspect.207 List.175 List.674;
dec List.674;
let List.673 : U64 = 1i64;
let List.672 : U64 = CallByName Num.51 List.177 List.673;
@ -153,8 +149,8 @@ procedure List.100 (#Derived_gen.12, #Derived_gen.13, #Derived_gen.14, #Derived_
dec List.174;
ret List.175;
in
inc #Derived_gen.12;
jump List.668 #Derived_gen.12 #Derived_gen.13 #Derived_gen.14 #Derived_gen.15 #Derived_gen.16;
inc #Derived_gen.14;
jump List.668 #Derived_gen.14 #Derived_gen.15 #Derived_gen.16 #Derived_gen.17 #Derived_gen.18;
procedure List.18 (List.171, List.172, List.173):
let List.666 : U64 = 0i64;

182
crates/compiler/test_mono/generated/inspect_derived_tag_two_payloads_string.txt generated
View file

@ -22,52 +22,48 @@ procedure Bool.11 (#Attr.2, #Attr.3):
let Bool.23 : Int1 = lowlevel Eq #Attr.2 #Attr.3;
ret Bool.23;
procedure Inspect.204 (Inspect.205, #Attr.12):
let Inspect.345 : Str = UnionAtIndex (Id 0) (Index 0) #Attr.12;
let Inspect.344 : Str = CallByName Inspect.63 Inspect.205 Inspect.345;
dec Inspect.345;
ret Inspect.344;
procedure Inspect.206 (Inspect.207, #Attr.12):
let Inspect.339 : List Str = UnionAtIndex (Id 1) (Index 1) #Attr.12;
let Inspect.338 : Str = UnionAtIndex (Id 1) (Index 0) #Attr.12;
let Inspect.337 : Str = "(";
let Inspect.336 : Str = CallByName Inspect.63 Inspect.207 Inspect.337;
dec Inspect.337;
let Inspect.324 : Str = CallByName Inspect.63 Inspect.336 Inspect.338;
dec Inspect.338;
let Inspect.320 : Str = CallByName Inspect.208 Inspect.324 Inspect.339;
dec Inspect.339;
let Inspect.321 : Str = ")";
let Inspect.319 : Str = CallByName Inspect.63 Inspect.320 Inspect.321;
dec Inspect.321;
ret Inspect.319;
procedure Inspect.208 (Inspect.209, Inspect.203):
let Inspect.328 : {} = Struct {};
let Inspect.327 : Str = CallByName List.18 Inspect.203 Inspect.209 Inspect.328;
ret Inspect.327;
procedure Inspect.210 (Inspect.211, Inspect.212):
let Inspect.335 : Str = " ";
let Inspect.330 : Str = CallByName Inspect.63 Inspect.211 Inspect.335;
dec Inspect.335;
let Inspect.329 : Str = CallByName Inspect.213 Inspect.330 Inspect.212;
ret Inspect.329;
procedure Inspect.213 (Inspect.214, Inspect.212):
let Inspect.333 : Str = CallByName Inspect.31 Inspect.212 Inspect.214;
procedure Inspect.201 (Inspect.202, #Attr.12):
let Inspect.334 : Str = UnionAtIndex (Id 0) (Index 0) #Attr.12;
let Inspect.333 : Str = CallByName Inspect.63 Inspect.202 Inspect.334;
dec Inspect.334;
ret Inspect.333;
procedure Inspect.249 (Inspect.250, Inspect.248):
let Inspect.354 : Str = "\"";
let Inspect.353 : Str = CallByName Inspect.63 Inspect.250 Inspect.354;
dec Inspect.354;
let Inspect.351 : Str = CallByName Inspect.63 Inspect.353 Inspect.248;
let Inspect.352 : Str = "\"";
let Inspect.350 : Str = CallByName Inspect.63 Inspect.351 Inspect.352;
dec Inspect.352;
ret Inspect.350;
procedure Inspect.203 (Inspect.204, #Attr.12):
let Inspect.328 : List Str = UnionAtIndex (Id 1) (Index 1) #Attr.12;
let Inspect.327 : Str = UnionAtIndex (Id 1) (Index 0) #Attr.12;
let Inspect.326 : Str = "(";
let Inspect.325 : Str = CallByName Inspect.63 Inspect.204 Inspect.326;
dec Inspect.326;
let Inspect.205 : Str = CallByName Inspect.63 Inspect.325 Inspect.327;
dec Inspect.327;
let Inspect.317 : {} = Struct {};
let Inspect.206 : Str = CallByName List.18 Inspect.328 Inspect.205 Inspect.317;
dec Inspect.328;
let Inspect.314 : Str = ")";
let Inspect.313 : Str = CallByName Inspect.63 Inspect.206 Inspect.314;
dec Inspect.314;
ret Inspect.313;
procedure Inspect.207 (Inspect.208, Inspect.209):
let Inspect.324 : Str = " ";
let Inspect.319 : Str = CallByName Inspect.63 Inspect.208 Inspect.324;
dec Inspect.324;
let Inspect.318 : Str = CallByName Inspect.210 Inspect.319 Inspect.209;
ret Inspect.318;
procedure Inspect.210 (Inspect.211, Inspect.209):
let Inspect.322 : Str = CallByName Inspect.31 Inspect.209 Inspect.211;
ret Inspect.322;
procedure Inspect.244 (Inspect.245, Inspect.243):
let Inspect.342 : Str = "\"";
let Inspect.341 : Str = CallByName Inspect.63 Inspect.245 Inspect.342;
dec Inspect.342;
let Inspect.339 : Str = CallByName Inspect.63 Inspect.341 Inspect.243;
let Inspect.340 : Str = "\"";
let Inspect.338 : Str = CallByName Inspect.63 Inspect.339 Inspect.340;
dec Inspect.340;
ret Inspect.338;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
@ -78,63 +74,63 @@ procedure Inspect.30 (Inspect.147):
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.31 (Inspect.302, Inspect.149):
let Inspect.314 : U8 = GetTagId Inspect.302;
switch Inspect.314:
procedure Inspect.31 (Inspect.297, Inspect.149):
let Inspect.309 : U8 = GetTagId Inspect.297;
switch Inspect.309:
case 0:
let Inspect.313 : Str = CallByName Inspect.204 Inspect.149 Inspect.302;
ret Inspect.313;
let Inspect.308 : Str = CallByName Inspect.201 Inspect.149 Inspect.297;
ret Inspect.308;
default:
let Inspect.313 : Str = CallByName Inspect.206 Inspect.149 Inspect.302;
ret Inspect.313;
let Inspect.308 : Str = CallByName Inspect.203 Inspect.149 Inspect.297;
ret Inspect.308;
procedure Inspect.31 (Inspect.302, Inspect.149):
let Inspect.334 : Str = CallByName Inspect.249 Inspect.149 Inspect.302;
ret Inspect.334;
procedure Inspect.33 (Inspect.152):
let Inspect.304 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.303 : Str = CallByName Inspect.64 Inspect.304;
ret Inspect.303;
procedure Inspect.39 (Inspect.300):
let Inspect.310 : Str = "";
ret Inspect.310;
procedure Inspect.43 (Inspect.202, Inspect.203):
let Inspect.340 : Int1 = CallByName List.1 Inspect.203;
if Inspect.340 then
inc Inspect.202;
let Inspect.342 : [C Str, C Str List Str] = TagId(0) Inspect.202;
let Inspect.341 : [C Str, C Str List Str] = CallByName Inspect.30 Inspect.342;
ret Inspect.341;
else
inc Inspect.203;
inc Inspect.202;
let Inspect.316 : [C Str, C Str List Str] = TagId(1) Inspect.202 Inspect.203;
let Inspect.315 : [C Str, C Str List Str] = CallByName Inspect.30 Inspect.316;
ret Inspect.315;
procedure Inspect.47 (Inspect.248):
let Inspect.355 : Str = CallByName Inspect.30 Inspect.248;
ret Inspect.355;
procedure Inspect.5 (Inspect.150):
let Inspect.311 : {Str, Str} = CallByName #Derived.0 Inspect.150;
let Inspect.308 : {} = Struct {};
let Inspect.307 : Str = CallByName Inspect.39 Inspect.308;
let Inspect.306 : Str = CallByName #Derived.4 Inspect.307 Inspect.311;
ret Inspect.306;
procedure Inspect.63 (Inspect.299, Inspect.295):
let Inspect.323 : Str = CallByName Str.3 Inspect.299 Inspect.295;
procedure Inspect.31 (Inspect.297, Inspect.149):
let Inspect.323 : Str = CallByName Inspect.244 Inspect.149 Inspect.297;
ret Inspect.323;
procedure Inspect.64 (Inspect.301):
procedure Inspect.33 (Inspect.152):
let Inspect.299 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.298 : Str = CallByName Inspect.64 Inspect.299;
ret Inspect.298;
procedure Inspect.39 (Inspect.295):
let Inspect.305 : Str = "";
ret Inspect.305;
procedure Inspect.43 (Inspect.199, Inspect.200):
let Inspect.329 : Int1 = CallByName List.1 Inspect.200;
if Inspect.329 then
inc Inspect.199;
let Inspect.331 : [C Str, C Str List Str] = TagId(0) Inspect.199;
let Inspect.330 : [C Str, C Str List Str] = CallByName Inspect.30 Inspect.331;
ret Inspect.330;
else
inc Inspect.200;
inc Inspect.199;
let Inspect.311 : [C Str, C Str List Str] = TagId(1) Inspect.199 Inspect.200;
let Inspect.310 : [C Str, C Str List Str] = CallByName Inspect.30 Inspect.311;
ret Inspect.310;
procedure Inspect.47 (Inspect.243):
let Inspect.343 : Str = CallByName Inspect.30 Inspect.243;
ret Inspect.343;
procedure Inspect.5 (Inspect.150):
let Inspect.306 : {Str, Str} = CallByName #Derived.0 Inspect.150;
let Inspect.303 : {} = Struct {};
let Inspect.302 : Str = CallByName Inspect.39 Inspect.303;
let Inspect.301 : Str = CallByName #Derived.4 Inspect.302 Inspect.306;
ret Inspect.301;
procedure Inspect.63 (Inspect.294, Inspect.290):
let Inspect.316 : Str = CallByName Str.3 Inspect.294 Inspect.290;
ret Inspect.316;
procedure Inspect.64 (Inspect.296):
ret Inspect.296;
procedure List.1 (List.118):
let List.678 : U64 = CallByName List.6 List.118;
let List.679 : U64 = 0i64;
@ -147,7 +143,7 @@ procedure List.100 (#Derived_gen.13, #Derived_gen.14, #Derived_gen.15, #Derived_
if List.670 then
let List.674 : Str = CallByName List.66 List.174 List.177;
inc List.674;
let List.179 : Str = CallByName Inspect.210 List.175 List.674;
let List.179 : Str = CallByName Inspect.207 List.175 List.674;
dec List.674;
let List.673 : U64 = 1i64;
let List.672 : U64 = CallByName Num.51 List.177 List.673;

52
crates/compiler/test_mono/generated/pizza_dbg.txt generated
View file

@ -1,39 +1,39 @@
procedure Inspect.277 (Inspect.278, Inspect.276):
let Inspect.317 : Str = CallByName Num.96 Inspect.276;
let Inspect.316 : Str = CallByName Inspect.63 Inspect.278 Inspect.317;
dec Inspect.317;
ret Inspect.316;
procedure Inspect.272 (Inspect.273, Inspect.271):
let Inspect.312 : Str = CallByName Num.96 Inspect.271;
let Inspect.311 : Str = CallByName Inspect.63 Inspect.273 Inspect.312;
dec Inspect.312;
ret Inspect.311;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.33 (Inspect.152):
let Inspect.321 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.320 : Str = CallByName Inspect.64 Inspect.321;
ret Inspect.320;
let Inspect.316 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.315 : Str = CallByName Inspect.64 Inspect.316;
ret Inspect.315;
procedure Inspect.39 (Inspect.300):
let Inspect.310 : Str = "";
ret Inspect.310;
procedure Inspect.39 (Inspect.295):
let Inspect.305 : Str = "";
ret Inspect.305;
procedure Inspect.5 (Inspect.150):
let Inspect.311 : I64 = CallByName Inspect.57 Inspect.150;
let Inspect.308 : {} = Struct {};
let Inspect.307 : Str = CallByName Inspect.39 Inspect.308;
let Inspect.306 : Str = CallByName Inspect.277 Inspect.307 Inspect.311;
ret Inspect.306;
procedure Inspect.57 (Inspect.276):
let Inspect.312 : I64 = CallByName Inspect.30 Inspect.276;
ret Inspect.312;
procedure Inspect.63 (Inspect.299, Inspect.295):
let Inspect.319 : Str = CallByName Str.3 Inspect.299 Inspect.295;
ret Inspect.319;
procedure Inspect.64 (Inspect.301):
let Inspect.306 : I64 = CallByName Inspect.57 Inspect.150;
let Inspect.303 : {} = Struct {};
let Inspect.302 : Str = CallByName Inspect.39 Inspect.303;
let Inspect.301 : Str = CallByName Inspect.272 Inspect.302 Inspect.306;
ret Inspect.301;
procedure Inspect.57 (Inspect.271):
let Inspect.307 : I64 = CallByName Inspect.30 Inspect.271;
ret Inspect.307;
procedure Inspect.63 (Inspect.294, Inspect.290):
let Inspect.314 : Str = CallByName Str.3 Inspect.294 Inspect.290;
ret Inspect.314;
procedure Inspect.64 (Inspect.296):
ret Inspect.296;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.283 : I64 = lowlevel NumAdd #Attr.2 #Attr.3;
ret Num.283;

52
crates/compiler/uitest/tests/ability/specialize/inspect/opaque_automatic.txt
View file

@ -8,43 +8,43 @@ main =
1
# -emit:mono
procedure Inspect.251 (Inspect.252):
let Inspect.316 : Str = "<opaque>";
let Inspect.315 : Str = CallByName Inspect.63 Inspect.252 Inspect.316;
dec Inspect.316;
ret Inspect.315;
procedure Inspect.246 (Inspect.247):
let Inspect.311 : Str = "<opaque>";
let Inspect.310 : Str = CallByName Inspect.63 Inspect.247 Inspect.311;
dec Inspect.311;
ret Inspect.310;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.33 (Inspect.152):
let Inspect.304 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.303 : Str = CallByName Inspect.64 Inspect.304;
ret Inspect.303;
let Inspect.299 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.298 : Str = CallByName Inspect.64 Inspect.299;
ret Inspect.298;
procedure Inspect.39 (Inspect.300):
let Inspect.310 : Str = "";
ret Inspect.310;
procedure Inspect.39 (Inspect.295):
let Inspect.305 : Str = "";
ret Inspect.305;
procedure Inspect.48 (Inspect.298):
let Inspect.313 : {} = Struct {};
let Inspect.312 : {} = CallByName Inspect.30 Inspect.313;
ret Inspect.312;
procedure Inspect.48 (Inspect.293):
let Inspect.308 : {} = Struct {};
let Inspect.307 : {} = CallByName Inspect.30 Inspect.308;
ret Inspect.307;
procedure Inspect.5 (Inspect.150):
let Inspect.311 : {} = CallByName Inspect.48 Inspect.150;
let Inspect.308 : {} = Struct {};
let Inspect.307 : Str = CallByName Inspect.39 Inspect.308;
let Inspect.306 : Str = CallByName Inspect.251 Inspect.307;
ret Inspect.306;
procedure Inspect.63 (Inspect.299, Inspect.295):
let Inspect.318 : Str = CallByName Str.3 Inspect.299 Inspect.295;
ret Inspect.318;
procedure Inspect.64 (Inspect.301):
let Inspect.306 : {} = CallByName Inspect.48 Inspect.150;
let Inspect.303 : {} = Struct {};
let Inspect.302 : Str = CallByName Inspect.39 Inspect.303;
let Inspect.301 : Str = CallByName Inspect.246 Inspect.302;
ret Inspect.301;
procedure Inspect.63 (Inspect.294, Inspect.290):
let Inspect.313 : Str = CallByName Str.3 Inspect.294 Inspect.290;
ret Inspect.313;
procedure Inspect.64 (Inspect.296):
ret Inspect.296;
procedure Str.3 (#Attr.2, #Attr.3):
let Str.246 : Str = lowlevel StrConcat #Attr.2 #Attr.3;
ret Str.246;

52
crates/compiler/uitest/tests/ability/specialize/inspect/opaque_automatic_late.txt
View file

@ -11,43 +11,43 @@ main =
late (@Op {})
# -emit:mono
procedure Inspect.251 (Inspect.252):
let Inspect.316 : Str = "<opaque>";
let Inspect.315 : Str = CallByName Inspect.63 Inspect.252 Inspect.316;
dec Inspect.316;
ret Inspect.315;
procedure Inspect.246 (Inspect.247):
let Inspect.311 : Str = "<opaque>";
let Inspect.310 : Str = CallByName Inspect.63 Inspect.247 Inspect.311;
dec Inspect.311;
ret Inspect.310;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.33 (Inspect.152):
let Inspect.304 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.303 : Str = CallByName Inspect.64 Inspect.304;
ret Inspect.303;
let Inspect.299 : Str = CallByName Inspect.5 Inspect.152;
let Inspect.298 : Str = CallByName Inspect.64 Inspect.299;
ret Inspect.298;
procedure Inspect.39 (Inspect.300):
let Inspect.310 : Str = "";
ret Inspect.310;
procedure Inspect.39 (Inspect.295):
let Inspect.305 : Str = "";
ret Inspect.305;
procedure Inspect.48 (Inspect.298):
let Inspect.313 : {} = Struct {};
let Inspect.312 : {} = CallByName Inspect.30 Inspect.313;
ret Inspect.312;
procedure Inspect.48 (Inspect.293):
let Inspect.308 : {} = Struct {};
let Inspect.307 : {} = CallByName Inspect.30 Inspect.308;
ret Inspect.307;
procedure Inspect.5 (Inspect.150):
let Inspect.311 : {} = CallByName Inspect.48 Inspect.150;
let Inspect.308 : {} = Struct {};
let Inspect.307 : Str = CallByName Inspect.39 Inspect.308;
let Inspect.306 : Str = CallByName Inspect.251 Inspect.307;
ret Inspect.306;
procedure Inspect.63 (Inspect.299, Inspect.295):
let Inspect.318 : Str = CallByName Str.3 Inspect.299 Inspect.295;
ret Inspect.318;
procedure Inspect.64 (Inspect.301):
let Inspect.306 : {} = CallByName Inspect.48 Inspect.150;
let Inspect.303 : {} = Struct {};
let Inspect.302 : Str = CallByName Inspect.39 Inspect.303;
let Inspect.301 : Str = CallByName Inspect.246 Inspect.302;
ret Inspect.301;
procedure Inspect.63 (Inspect.294, Inspect.290):
let Inspect.313 : Str = CallByName Str.3 Inspect.294 Inspect.290;
ret Inspect.313;
procedure Inspect.64 (Inspect.296):
ret Inspect.296;
procedure Str.3 (#Attr.2, #Attr.3):
let Str.246 : Str = lowlevel StrConcat #Attr.2 #Attr.3;
ret Str.246;