roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-09-22 08:17:40 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fix mono tests

Browse Source
This commit is contained in:
Richard Feldman 2023-11-29 21:02:37 -05:00
parent ead90313d8
commit 10470f33cc
No known key found for this signature in database
GPG Key ID: F1F21AA5B1D9E43B
6 changed files with 210 additions and 210 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

72
crates/compiler/test_mono/generated/inspect_derived_dict.txt
View File

@ -746,8 +746,8 @@ procedure Inspect.186 (Inspect.187, #Attr.12):
let Inspect.184 : {} = StructAtIndex 2 #Attr.12;
let Inspect.183 : {} = StructAtIndex 1 #Attr.12;
let Inspect.182 : {List {Str, I64}, List U64, List I8, U64} = StructAtIndex 0 #Attr.12;
let Inspect.353 : Str = "{";
let Inspect.328 : Str = CallByName Inspect.61 Inspect.187 Inspect.353;
let Inspect.355 : Str = "{";
let Inspect.328 : Str = CallByName Inspect.61 Inspect.187 Inspect.355;
let Inspect.329 : {{List {Str, I64}, List U64, List I8, U64}, {}, {}, {}} = Struct {Inspect.182, Inspect.183, Inspect.184, Inspect.185};
let Inspect.324 : {Str, Int1} = CallByName Inspect.188 Inspect.328 Inspect.329;
let Inspect.325 : {} = Struct {};
@ -761,8 +761,8 @@ procedure Inspect.188 (Inspect.189, #Attr.12):
let Inspect.184 : {} = StructAtIndex 2 #Attr.12;
let Inspect.183 : {} = StructAtIndex 1 #Attr.12;
let Inspect.182 : {List {Str, I64}, List U64, List I8, U64} = StructAtIndex 0 #Attr.12;
let Bool.1 : Int1 = CallByName Bool.1;
let Inspect.332 : {Str, Int1} = Struct {Inspect.189, Bool.1};
let Inspect.354 : Int1 = CallByName Bool.1;
let Inspect.332 : {Str, Int1} = Struct {Inspect.189, Inspect.354};
let Inspect.333 : {{}, {}} = Struct {Inspect.184, Inspect.185};
let Inspect.331 : {Str, Int1} = CallByName Dict.10 Inspect.182 Inspect.332 Inspect.333;
ret Inspect.331;
@ -772,34 +772,34 @@ procedure Inspect.190 (Inspect.334, Inspect.193, Inspect.194, #Attr.12):
let Inspect.184 : {} = StructAtIndex 0 #Attr.12;
let Inspect.191 : Str = StructAtIndex 0 Inspect.334;
let Inspect.192 : Int1 = StructAtIndex 1 Inspect.334;
joinpoint Inspect.351 Inspect.195:
let Inspect.348 : Str = CallByName Inspect.44 Inspect.193;
let Inspect.346 : Str = CallByName Inspect.31 Inspect.348 Inspect.195;
let Inspect.347 : Str = ": ";
let Inspect.340 : Str = CallByName Inspect.61 Inspect.346 Inspect.347;
let Inspect.341 : {I64, {}} = Struct {Inspect.194, Inspect.185};
let Inspect.337 : Str = CallByName Inspect.196 Inspect.340 Inspect.341;
joinpoint Inspect.352 Inspect.195:
let Inspect.349 : Str = CallByName Inspect.44 Inspect.193;
let Inspect.347 : Str = CallByName Inspect.31 Inspect.349 Inspect.195;
let Inspect.348 : Str = ": ";
let Inspect.341 : Str = CallByName Inspect.61 Inspect.347 Inspect.348;
let Inspect.342 : {I64, {}} = Struct {Inspect.194, Inspect.185};
let Inspect.337 : Str = CallByName Inspect.196 Inspect.341 Inspect.342;
let Inspect.338 : {} = Struct {};
let Inspect.336 : {Str, Int1} = CallByName Inspect.198 Inspect.337;
ret Inspect.336;
in
if Inspect.192 then
let Inspect.352 : Str = ", ";
let Inspect.350 : Str = CallByName Inspect.61 Inspect.191 Inspect.352;
jump Inspect.351 Inspect.350;
let Inspect.353 : Str = ", ";
let Inspect.351 : Str = CallByName Inspect.61 Inspect.191 Inspect.353;
jump Inspect.352 Inspect.351;
else
jump Inspect.351 Inspect.191;
jump Inspect.352 Inspect.191;
procedure Inspect.196 (Inspect.197, #Attr.12):
let Inspect.185 : {} = StructAtIndex 1 #Attr.12;
let Inspect.194 : I64 = StructAtIndex 0 #Attr.12;
let Inspect.344 : I64 = CallByName Inspect.54 Inspect.194;
let Inspect.343 : Str = CallByName Inspect.31 Inspect.344 Inspect.197;
ret Inspect.343;
let Inspect.345 : I64 = CallByName Inspect.54 Inspect.194;
let Inspect.344 : Str = CallByName Inspect.31 Inspect.345 Inspect.197;
ret Inspect.344;
procedure Inspect.198 (Inspect.199):
let Bool.2 : Int1 = CallByName Bool.2;
let Inspect.339 : {Str, Int1} = Struct {Inspect.199, Bool.2};
let Inspect.340 : Int1 = CallByName Bool.2;
let Inspect.339 : {Str, Int1} = Struct {Inspect.199, Inspect.340};
ret Inspect.339;
procedure Inspect.200 (Inspect.326):
@ -807,17 +807,17 @@ procedure Inspect.200 (Inspect.326):
ret Inspect.327;
procedure Inspect.249 (Inspect.250, Inspect.248):
let Inspect.370 : Str = "\"";
let Inspect.369 : Str = CallByName Inspect.61 Inspect.250 Inspect.370;
let Inspect.367 : Str = CallByName Inspect.61 Inspect.369 Inspect.248;
let Inspect.368 : Str = "\"";
let Inspect.367 : Str = CallByName Inspect.61 Inspect.250 Inspect.368;
let Inspect.365 : Str = CallByName Inspect.61 Inspect.367 Inspect.248;
let Inspect.366 : Str = "\"";
let Inspect.364 : Str = CallByName Inspect.61 Inspect.365 Inspect.366;
ret Inspect.364;
let Inspect.366 : Str = CallByName Inspect.61 Inspect.367 Inspect.368;
ret Inspect.366;
procedure Inspect.277 (Inspect.278, Inspect.276):
let Inspect.359 : Str = CallByName Num.96 Inspect.276;
let Inspect.358 : Str = CallByName Inspect.61 Inspect.278 Inspect.359;
ret Inspect.358;
let Inspect.361 : Str = CallByName Num.96 Inspect.276;
let Inspect.360 : Str = CallByName Inspect.61 Inspect.278 Inspect.361;
ret Inspect.360;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
@ -836,12 +836,12 @@ procedure Inspect.31 (Inspect.305, Inspect.149):
ret Inspect.314;
procedure Inspect.31 (Inspect.305, Inspect.149):
let Inspect.345 : Str = CallByName Inspect.277 Inspect.149 Inspect.305;
ret Inspect.345;
let Inspect.346 : Str = CallByName Inspect.277 Inspect.149 Inspect.305;
ret Inspect.346;
procedure Inspect.31 (Inspect.305, Inspect.149):
let Inspect.349 : Str = CallByName Inspect.249 Inspect.149 Inspect.305;
ret Inspect.349;
let Inspect.350 : Str = CallByName Inspect.249 Inspect.149 Inspect.305;
ret Inspect.350;
procedure Inspect.35 (Inspect.300):
ret Inspect.300;
@ -856,8 +856,8 @@ procedure Inspect.39 (Inspect.182, Inspect.183, Inspect.184, Inspect.185):
ret Inspect.315;
procedure Inspect.44 (Inspect.248):
let Inspect.360 : Str = CallByName Inspect.30 Inspect.248;
ret Inspect.360;
let Inspect.362 : Str = CallByName Inspect.30 Inspect.248;
ret Inspect.362;
procedure Inspect.5 (Inspect.150):
let Inspect.312 : {List {Str, I64}, List U64, List I8, U64} = CallByName Dict.31 Inspect.150;
@ -867,8 +867,8 @@ procedure Inspect.5 (Inspect.150):
ret Inspect.307;
procedure Inspect.54 (Inspect.276):
let Inspect.354 : I64 = CallByName Inspect.30 Inspect.276;
ret Inspect.354;
let Inspect.356 : I64 = CallByName Inspect.30 Inspect.276;
ret Inspect.356;
procedure Inspect.61 (Inspect.303, Inspect.298):
let Inspect.323 : Str = CallByName Str.3 Inspect.303 Inspect.298;

40
crates/compiler/test_mono/generated/inspect_derived_list.txt
View File

@ -25,8 +25,8 @@ procedure Inspect.155 (Inspect.156, #Attr.12):
let Inspect.154 : {} = StructAtIndex 2 #Attr.12;
let Inspect.153 : {} = StructAtIndex 1 #Attr.12;
let Inspect.152 : List I64 = StructAtIndex 0 #Attr.12;
let Inspect.345 : Str = "[";
let Inspect.328 : Str = CallByName Inspect.61 Inspect.156 Inspect.345;
let Inspect.347 : Str = "[";
let Inspect.328 : Str = CallByName Inspect.61 Inspect.156 Inspect.347;
let Inspect.329 : {List I64, {}, {}} = Struct {Inspect.152, Inspect.153, Inspect.154};
let Inspect.324 : {Str, Int1} = CallByName Inspect.157 Inspect.328 Inspect.329;
let Inspect.325 : {} = Struct {};
@ -39,31 +39,31 @@ procedure Inspect.157 (Inspect.158, #Attr.12):
let Inspect.154 : {} = StructAtIndex 2 #Attr.12;
let Inspect.153 : {} = StructAtIndex 1 #Attr.12;
let Inspect.152 : List I64 = StructAtIndex 0 #Attr.12;
let Bool.1 : Int1 = CallByName Bool.1;
let Inspect.332 : {Str, Int1} = Struct {Inspect.158, Bool.1};
let Inspect.346 : Int1 = CallByName Bool.1;
let Inspect.332 : {Str, Int1} = Struct {Inspect.158, Inspect.346};
let Inspect.331 : {Str, Int1} = CallByName List.18 Inspect.152 Inspect.332 Inspect.154;
ret Inspect.331;
procedure Inspect.159 (Inspect.334, Inspect.162, Inspect.154):
let Inspect.160 : Str = StructAtIndex 0 Inspect.334;
let Inspect.161 : Int1 = StructAtIndex 1 Inspect.334;
joinpoint Inspect.343 Inspect.163:
let Inspect.340 : I64 = CallByName #Derived.3 Inspect.162;
let Inspect.337 : Str = CallByName Inspect.31 Inspect.340 Inspect.163;
joinpoint Inspect.344 Inspect.163:
let Inspect.341 : I64 = CallByName #Derived.3 Inspect.162;
let Inspect.337 : Str = CallByName Inspect.31 Inspect.341 Inspect.163;
let Inspect.338 : {} = Struct {};
let Inspect.336 : {Str, Int1} = CallByName Inspect.164 Inspect.337;
ret Inspect.336;
in
if Inspect.161 then
let Inspect.344 : Str = ", ";
let Inspect.342 : Str = CallByName Inspect.61 Inspect.160 Inspect.344;
jump Inspect.343 Inspect.342;
let Inspect.345 : Str = ", ";
let Inspect.343 : Str = CallByName Inspect.61 Inspect.160 Inspect.345;
jump Inspect.344 Inspect.343;
else
jump Inspect.343 Inspect.160;
jump Inspect.344 Inspect.160;
procedure Inspect.164 (Inspect.165):
let Bool.2 : Int1 = CallByName Bool.2;
let Inspect.339 : {Str, Int1} = Struct {Inspect.165, Bool.2};
let Inspect.340 : Int1 = CallByName Bool.2;
let Inspect.339 : {Str, Int1} = Struct {Inspect.165, Inspect.340};
ret Inspect.339;
procedure Inspect.166 (Inspect.326):
@ -71,9 +71,9 @@ procedure Inspect.166 (Inspect.326):
ret Inspect.327;
procedure Inspect.277 (Inspect.278, Inspect.276):
let Inspect.351 : Str = CallByName Num.96 Inspect.276;
let Inspect.350 : Str = CallByName Inspect.61 Inspect.278 Inspect.351;
ret Inspect.350;
let Inspect.353 : Str = CallByName Num.96 Inspect.276;
let Inspect.352 : Str = CallByName Inspect.61 Inspect.278 Inspect.353;
ret Inspect.352;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
@ -89,8 +89,8 @@ procedure Inspect.31 (Inspect.305, Inspect.149):
ret Inspect.314;
procedure Inspect.31 (Inspect.305, Inspect.149):
let Inspect.341 : Str = CallByName Inspect.277 Inspect.149 Inspect.305;
ret Inspect.341;
let Inspect.342 : Str = CallByName Inspect.277 Inspect.149 Inspect.305;
ret Inspect.342;
procedure Inspect.35 (Inspect.300):
ret Inspect.300;
@ -112,8 +112,8 @@ procedure Inspect.5 (Inspect.150):
ret Inspect.307;
procedure Inspect.54 (Inspect.276):
let Inspect.346 : I64 = CallByName Inspect.30 Inspect.276;
ret Inspect.346;
let Inspect.348 : I64 = CallByName Inspect.30 Inspect.276;
ret Inspect.348;
procedure Inspect.61 (Inspect.303, Inspect.298):
let Inspect.323 : Str = CallByName Str.3 Inspect.303 Inspect.298;

130
crates/compiler/test_mono/generated/inspect_derived_nested_record_string.txt
View File

@ -33,8 +33,8 @@ procedure Bool.2 ():
ret Bool.25;
procedure Inspect.228 (Inspect.229, Inspect.227):
let Inspect.350 : Str = "{";
let Inspect.328 : Str = CallByName Inspect.61 Inspect.229 Inspect.350;
let Inspect.352 : Str = "{";
let Inspect.328 : Str = CallByName Inspect.61 Inspect.229 Inspect.352;
let Inspect.324 : {Str, Int1} = CallByName Inspect.230 Inspect.328 Inspect.227;
let Inspect.325 : {} = Struct {};
let Inspect.320 : Str = CallByName Inspect.242 Inspect.324;
@ -43,95 +43,95 @@ procedure Inspect.228 (Inspect.229, Inspect.227):
ret Inspect.319;
procedure Inspect.228 (Inspect.229, Inspect.227):
let Inspect.388 : Str = "{";
let Inspect.366 : Str = CallByName Inspect.61 Inspect.229 Inspect.388;
let Inspect.362 : {Str, Int1} = CallByName Inspect.230 Inspect.366 Inspect.227;
let Inspect.363 : {} = Struct {};
let Inspect.358 : Str = CallByName Inspect.242 Inspect.362;
let Inspect.359 : Str = "}";
let Inspect.357 : Str = CallByName Inspect.61 Inspect.358 Inspect.359;
ret Inspect.357;
let Inspect.392 : Str = "{";
let Inspect.368 : Str = CallByName Inspect.61 Inspect.229 Inspect.392;
let Inspect.364 : {Str, Int1} = CallByName Inspect.230 Inspect.368 Inspect.227;
let Inspect.365 : {} = Struct {};
let Inspect.360 : Str = CallByName Inspect.242 Inspect.364;
let Inspect.361 : Str = "}";
let Inspect.359 : Str = CallByName Inspect.61 Inspect.360 Inspect.361;
ret Inspect.359;
procedure Inspect.230 (Inspect.231, Inspect.227):
let Bool.1 : Int1 = CallByName Bool.1;
let Inspect.332 : {Str, Int1} = Struct {Inspect.231, Bool.1};
let Inspect.351 : Int1 = CallByName Bool.1;
let Inspect.332 : {Str, Int1} = Struct {Inspect.231, Inspect.351};
let Inspect.333 : {} = Struct {};
let Inspect.331 : {Str, Int1} = CallByName List.18 Inspect.227 Inspect.332 Inspect.333;
ret Inspect.331;
procedure Inspect.230 (Inspect.231, Inspect.227):
let Bool.1 : Int1 = CallByName Bool.1;
let Inspect.370 : {Str, Int1} = Struct {Inspect.231, Bool.1};
let Inspect.371 : {} = Struct {};
let Inspect.369 : {Str, Int1} = CallByName List.18 Inspect.227 Inspect.370 Inspect.371;
ret Inspect.369;
let Inspect.391 : Int1 = CallByName Bool.1;
let Inspect.372 : {Str, Int1} = Struct {Inspect.231, Inspect.391};
let Inspect.373 : {} = Struct {};
let Inspect.371 : {Str, Int1} = CallByName List.18 Inspect.227 Inspect.372 Inspect.373;
ret Inspect.371;
procedure Inspect.232 (Inspect.334, Inspect.335):
let Inspect.235 : Str = StructAtIndex 0 Inspect.335;
let Inspect.236 : Str = StructAtIndex 1 Inspect.335;
let Inspect.233 : Str = StructAtIndex 0 Inspect.334;
let Inspect.234 : Int1 = StructAtIndex 1 Inspect.334;
joinpoint Inspect.348 Inspect.237:
let Inspect.345 : Str = CallByName Inspect.61 Inspect.237 Inspect.235;
let Inspect.346 : Str = ": ";
let Inspect.340 : Str = CallByName Inspect.61 Inspect.345 Inspect.346;
let Inspect.337 : Str = CallByName Inspect.238 Inspect.340 Inspect.236;
joinpoint Inspect.349 Inspect.237:
let Inspect.346 : Str = CallByName Inspect.61 Inspect.237 Inspect.235;
let Inspect.347 : Str = ": ";
let Inspect.341 : Str = CallByName Inspect.61 Inspect.346 Inspect.347;
let Inspect.337 : Str = CallByName Inspect.238 Inspect.341 Inspect.236;
let Inspect.338 : {} = Struct {};
let Inspect.336 : {Str, Int1} = CallByName Inspect.240 Inspect.337;
ret Inspect.336;
in
if Inspect.234 then
let Inspect.349 : Str = ", ";
let Inspect.347 : Str = CallByName Inspect.61 Inspect.233 Inspect.349;
jump Inspect.348 Inspect.347;
let Inspect.350 : Str = ", ";
let Inspect.348 : Str = CallByName Inspect.61 Inspect.233 Inspect.350;
jump Inspect.349 Inspect.348;
else
jump Inspect.348 Inspect.233;
jump Inspect.349 Inspect.233;
procedure Inspect.232 (Inspect.334, Inspect.335):
let Inspect.235 : Str = StructAtIndex 0 Inspect.335;
let Inspect.236 : Str = StructAtIndex 1 Inspect.335;
let Inspect.233 : Str = StructAtIndex 0 Inspect.334;
let Inspect.234 : Int1 = StructAtIndex 1 Inspect.334;
joinpoint Inspect.386 Inspect.237:
let Inspect.383 : Str = CallByName Inspect.61 Inspect.237 Inspect.235;
let Inspect.384 : Str = ": ";
let Inspect.378 : Str = CallByName Inspect.61 Inspect.383 Inspect.384;
let Inspect.375 : Str = CallByName Inspect.238 Inspect.378 Inspect.236;
let Inspect.376 : {} = Struct {};
let Inspect.374 : {Str, Int1} = CallByName Inspect.240 Inspect.375;
ret Inspect.374;
joinpoint Inspect.389 Inspect.237:
let Inspect.386 : Str = CallByName Inspect.61 Inspect.237 Inspect.235;
let Inspect.387 : Str = ": ";
let Inspect.381 : Str = CallByName Inspect.61 Inspect.386 Inspect.387;
let Inspect.377 : Str = CallByName Inspect.238 Inspect.381 Inspect.236;
let Inspect.378 : {} = Struct {};
let Inspect.376 : {Str, Int1} = CallByName Inspect.240 Inspect.377;
ret Inspect.376;
in
if Inspect.234 then
let Inspect.387 : Str = ", ";
let Inspect.385 : Str = CallByName Inspect.61 Inspect.233 Inspect.387;
jump Inspect.386 Inspect.385;
let Inspect.390 : Str = ", ";
let Inspect.388 : Str = CallByName Inspect.61 Inspect.233 Inspect.390;
jump Inspect.389 Inspect.388;
else
jump Inspect.386 Inspect.233;
jump Inspect.389 Inspect.233;
procedure Inspect.238 (Inspect.239, Inspect.236):
let Inspect.343 : Str = CallByName Inspect.31 Inspect.236 Inspect.239;
ret Inspect.343;
let Inspect.344 : Str = CallByName Inspect.31 Inspect.236 Inspect.239;
ret Inspect.344;
procedure Inspect.238 (Inspect.239, Inspect.236):
let Inspect.381 : Str = CallByName Inspect.31 Inspect.236 Inspect.239;
ret Inspect.381;
let Inspect.384 : Str = CallByName Inspect.31 Inspect.236 Inspect.239;
ret Inspect.384;
procedure Inspect.240 (Inspect.241):
let Bool.2 : Int1 = CallByName Bool.2;
let Inspect.377 : {Str, Int1} = Struct {Inspect.241, Bool.2};
ret Inspect.377;
let Inspect.380 : Int1 = CallByName Bool.2;
let Inspect.379 : {Str, Int1} = Struct {Inspect.241, Inspect.380};
ret Inspect.379;
procedure Inspect.242 (Inspect.326):
let Inspect.365 : Str = StructAtIndex 0 Inspect.326;
ret Inspect.365;
let Inspect.367 : Str = StructAtIndex 0 Inspect.326;
ret Inspect.367;
procedure Inspect.249 (Inspect.250, Inspect.248):
let Inspect.397 : Str = "\"";
let Inspect.396 : Str = CallByName Inspect.61 Inspect.250 Inspect.397;
let Inspect.394 : Str = CallByName Inspect.61 Inspect.396 Inspect.248;
let Inspect.395 : Str = "\"";
let Inspect.393 : Str = CallByName Inspect.61 Inspect.394 Inspect.395;
ret Inspect.393;
let Inspect.401 : Str = "\"";
let Inspect.400 : Str = CallByName Inspect.61 Inspect.250 Inspect.401;
let Inspect.398 : Str = CallByName Inspect.61 Inspect.400 Inspect.248;
let Inspect.399 : Str = "\"";
let Inspect.397 : Str = CallByName Inspect.61 Inspect.398 Inspect.399;
ret Inspect.397;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
@ -153,16 +153,16 @@ procedure Inspect.31 (Inspect.305, Inspect.149):
ret Inspect.314;
procedure Inspect.31 (Inspect.305, Inspect.149):
let Inspect.344 : Str = CallByName #Derived.6 Inspect.149 Inspect.305;
ret Inspect.344;
let Inspect.345 : Str = CallByName #Derived.6 Inspect.149 Inspect.305;
ret Inspect.345;
procedure Inspect.31 (Inspect.305, Inspect.149):
let Inspect.352 : Str = CallByName Inspect.228 Inspect.149 Inspect.305;
ret Inspect.352;
let Inspect.354 : Str = CallByName Inspect.228 Inspect.149 Inspect.305;
ret Inspect.354;
procedure Inspect.31 (Inspect.305, Inspect.149):
let Inspect.382 : Str = CallByName Inspect.249 Inspect.149 Inspect.305;
ret Inspect.382;
let Inspect.385 : Str = CallByName Inspect.249 Inspect.149 Inspect.305;
ret Inspect.385;
procedure Inspect.35 (Inspect.300):
ret Inspect.300;
@ -176,12 +176,12 @@ procedure Inspect.42 (Inspect.227):
ret Inspect.315;
procedure Inspect.42 (Inspect.227):
let Inspect.353 : List {Str, Str} = CallByName Inspect.30 Inspect.227;
ret Inspect.353;
let Inspect.355 : List {Str, Str} = CallByName Inspect.30 Inspect.227;
ret Inspect.355;
procedure Inspect.44 (Inspect.248):
let Inspect.389 : Str = CallByName Inspect.30 Inspect.248;
ret Inspect.389;
let Inspect.393 : Str = CallByName Inspect.30 Inspect.248;
ret Inspect.393;
procedure Inspect.5 (Inspect.150):
let Inspect.312 : Str = CallByName #Derived.0 Inspect.150;
@ -191,9 +191,9 @@ procedure Inspect.5 (Inspect.150):
ret Inspect.307;
procedure Inspect.61 (Inspect.303, Inspect.298):
let Inspect.361 : Str = CallByName Str.3 Inspect.303 Inspect.298;
let Inspect.363 : Str = CallByName Str.3 Inspect.303 Inspect.298;
dec Inspect.298;
ret Inspect.361;
ret Inspect.363;
procedure List.18 (List.154, List.155, List.156):
let List.554 : U64 = 0i64;

74
crates/compiler/test_mono/generated/inspect_derived_record.txt
View File

@ -25,8 +25,8 @@ procedure Bool.2 ():
ret Bool.23;
procedure Inspect.228 (Inspect.229, Inspect.227):
let Inspect.351 : Str = "{";
let Inspect.328 : Str = CallByName Inspect.61 Inspect.229 Inspect.351;
let Inspect.353 : Str = "{";
let Inspect.328 : Str = CallByName Inspect.61 Inspect.229 Inspect.353;
let Inspect.324 : {Str, Int1} = CallByName Inspect.230 Inspect.328 Inspect.227;
let Inspect.325 : {} = Struct {};
let Inspect.320 : Str = CallByName Inspect.242 Inspect.324;
@ -35,8 +35,8 @@ procedure Inspect.228 (Inspect.229, Inspect.227):
ret Inspect.319;
procedure Inspect.230 (Inspect.231, Inspect.227):
let Bool.1 : Int1 = CallByName Bool.1;
let Inspect.332 : {Str, Int1} = Struct {Inspect.231, Bool.1};
let Inspect.352 : Int1 = CallByName Bool.1;
let Inspect.332 : {Str, Int1} = Struct {Inspect.231, Inspect.352};
let Inspect.333 : {} = Struct {};
let Inspect.331 : {Str, Int1} = CallByName List.18 Inspect.227 Inspect.332 Inspect.333;
ret Inspect.331;
@ -46,29 +46,29 @@ procedure Inspect.232 (Inspect.334, Inspect.335):
let Inspect.235 : Str = StructAtIndex 1 Inspect.335;
let Inspect.233 : Str = StructAtIndex 0 Inspect.334;
let Inspect.234 : Int1 = StructAtIndex 1 Inspect.334;
joinpoint Inspect.349 Inspect.237:
let Inspect.346 : Str = CallByName Inspect.61 Inspect.237 Inspect.235;
let Inspect.347 : Str = ": ";
let Inspect.340 : Str = CallByName Inspect.61 Inspect.346 Inspect.347;
let Inspect.337 : Str = CallByName Inspect.238 Inspect.340 Inspect.236;
joinpoint Inspect.350 Inspect.237:
let Inspect.347 : Str = CallByName Inspect.61 Inspect.237 Inspect.235;
let Inspect.348 : Str = ": ";
let Inspect.341 : Str = CallByName Inspect.61 Inspect.347 Inspect.348;
let Inspect.337 : Str = CallByName Inspect.238 Inspect.341 Inspect.236;
let Inspect.338 : {} = Struct {};
let Inspect.336 : {Str, Int1} = CallByName Inspect.240 Inspect.337;
ret Inspect.336;
in
if Inspect.234 then
let Inspect.350 : Str = ", ";
let Inspect.348 : Str = CallByName Inspect.61 Inspect.233 Inspect.350;
jump Inspect.349 Inspect.348;
let Inspect.351 : Str = ", ";
let Inspect.349 : Str = CallByName Inspect.61 Inspect.233 Inspect.351;
jump Inspect.350 Inspect.349;
else
jump Inspect.349 Inspect.233;
jump Inspect.350 Inspect.233;
procedure Inspect.238 (Inspect.239, Inspect.236):
let Inspect.343 : Str = CallByName Inspect.31 Inspect.236 Inspect.239;
ret Inspect.343;
let Inspect.344 : Str = CallByName Inspect.31 Inspect.236 Inspect.239;
ret Inspect.344;
procedure Inspect.240 (Inspect.241):
let Bool.2 : Int1 = CallByName Bool.2;
let Inspect.339 : {Str, Int1} = Struct {Inspect.241, Bool.2};
let Inspect.340 : Int1 = CallByName Bool.2;
let Inspect.339 : {Str, Int1} = Struct {Inspect.241, Inspect.340};
ret Inspect.339;
procedure Inspect.242 (Inspect.326):
@ -76,16 +76,16 @@ procedure Inspect.242 (Inspect.326):
ret Inspect.327;
procedure Inspect.277 (Inspect.278, #Attr.12):
let Inspect.364 : I64 = UnionAtIndex (Id 0) (Index 0) #Attr.12;
let Inspect.363 : Str = CallByName Num.96 Inspect.364;
let Inspect.362 : Str = CallByName Inspect.61 Inspect.278 Inspect.363;
ret Inspect.362;
let Inspect.366 : I64 = UnionAtIndex (Id 0) (Index 0) #Attr.12;
let Inspect.365 : Str = CallByName Num.96 Inspect.366;
let Inspect.364 : Str = CallByName Inspect.61 Inspect.278 Inspect.365;
ret Inspect.364;
procedure Inspect.295 (Inspect.296, #Attr.12):
let Inspect.358 : Decimal = UnionAtIndex (Id 1) (Index 0) #Attr.12;
let Inspect.357 : Str = CallByName Num.96 Inspect.358;
let Inspect.356 : Str = CallByName Inspect.61 Inspect.296 Inspect.357;
ret Inspect.356;
let Inspect.360 : Decimal = UnionAtIndex (Id 1) (Index 0) #Attr.12;
let Inspect.359 : Str = CallByName Num.96 Inspect.360;
let Inspect.358 : Str = CallByName Inspect.61 Inspect.296 Inspect.359;
ret Inspect.358;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
@ -101,15 +101,15 @@ procedure Inspect.31 (Inspect.305, Inspect.149):
ret Inspect.314;
procedure Inspect.31 (Inspect.305, Inspect.149):
let Inspect.345 : U8 = GetTagId Inspect.305;
switch Inspect.345:
let Inspect.346 : U8 = GetTagId Inspect.305;
switch Inspect.346:
case 0:
let Inspect.344 : Str = CallByName Inspect.277 Inspect.149 Inspect.305;
ret Inspect.344;
let Inspect.345 : Str = CallByName Inspect.277 Inspect.149 Inspect.305;
ret Inspect.345;
default:
let Inspect.344 : Str = CallByName Inspect.295 Inspect.149 Inspect.305;
ret Inspect.344;
let Inspect.345 : Str = CallByName Inspect.295 Inspect.149 Inspect.305;
ret Inspect.345;
procedure Inspect.35 (Inspect.300):
@ -131,14 +131,14 @@ procedure Inspect.5 (Inspect.150):
ret Inspect.307;
procedure Inspect.54 (Inspect.276):
let Inspect.360 : [C I64, C Decimal] = TagId(0) Inspect.276;
let Inspect.359 : [C I64, C Decimal] = CallByName Inspect.30 Inspect.360;
ret Inspect.359;
let Inspect.362 : [C I64, C Decimal] = TagId(0) Inspect.276;
let Inspect.361 : [C I64, C Decimal] = CallByName Inspect.30 Inspect.362;
ret Inspect.361;
procedure Inspect.60 (Inspect.294):
let Inspect.353 : [C I64, C Decimal] = TagId(1) Inspect.294;
let Inspect.352 : [C I64, C Decimal] = CallByName Inspect.30 Inspect.353;
ret Inspect.352;
let Inspect.355 : [C I64, C Decimal] = TagId(1) Inspect.294;
let Inspect.354 : [C I64, C Decimal] = CallByName Inspect.30 Inspect.355;
ret Inspect.354;
procedure Inspect.61 (Inspect.303, Inspect.298):
let Inspect.323 : Str = CallByName Str.3 Inspect.303 Inspect.298;

52
crates/compiler/test_mono/generated/inspect_derived_record_one_field_string.txt
View File

@ -20,8 +20,8 @@ procedure Bool.2 ():
ret Bool.23;
procedure Inspect.228 (Inspect.229, Inspect.227):
let Inspect.350 : Str = "{";
let Inspect.328 : Str = CallByName Inspect.61 Inspect.229 Inspect.350;
let Inspect.352 : Str = "{";
let Inspect.328 : Str = CallByName Inspect.61 Inspect.229 Inspect.352;
let Inspect.324 : {Str, Int1} = CallByName Inspect.230 Inspect.328 Inspect.227;
let Inspect.325 : {} = Struct {};
let Inspect.320 : Str = CallByName Inspect.242 Inspect.324;
@ -30,8 +30,8 @@ procedure Inspect.228 (Inspect.229, Inspect.227):
ret Inspect.319;
procedure Inspect.230 (Inspect.231, Inspect.227):
let Bool.1 : Int1 = CallByName Bool.1;
let Inspect.332 : {Str, Int1} = Struct {Inspect.231, Bool.1};
let Inspect.351 : Int1 = CallByName Bool.1;
let Inspect.332 : {Str, Int1} = Struct {Inspect.231, Inspect.351};
let Inspect.333 : {} = Struct {};
let Inspect.331 : {Str, Int1} = CallByName List.18 Inspect.227 Inspect.332 Inspect.333;
ret Inspect.331;
@ -41,29 +41,29 @@ procedure Inspect.232 (Inspect.334, Inspect.335):
let Inspect.236 : Str = StructAtIndex 1 Inspect.335;
let Inspect.233 : Str = StructAtIndex 0 Inspect.334;
let Inspect.234 : Int1 = StructAtIndex 1 Inspect.334;
joinpoint Inspect.348 Inspect.237:
let Inspect.345 : Str = CallByName Inspect.61 Inspect.237 Inspect.235;
let Inspect.346 : Str = ": ";
let Inspect.340 : Str = CallByName Inspect.61 Inspect.345 Inspect.346;
let Inspect.337 : Str = CallByName Inspect.238 Inspect.340 Inspect.236;
joinpoint Inspect.349 Inspect.237:
let Inspect.346 : Str = CallByName Inspect.61 Inspect.237 Inspect.235;
let Inspect.347 : Str = ": ";
let Inspect.341 : Str = CallByName Inspect.61 Inspect.346 Inspect.347;
let Inspect.337 : Str = CallByName Inspect.238 Inspect.341 Inspect.236;
let Inspect.338 : {} = Struct {};
let Inspect.336 : {Str, Int1} = CallByName Inspect.240 Inspect.337;
ret Inspect.336;
in
if Inspect.234 then
let Inspect.349 : Str = ", ";
let Inspect.347 : Str = CallByName Inspect.61 Inspect.233 Inspect.349;
jump Inspect.348 Inspect.347;
let Inspect.350 : Str = ", ";
let Inspect.348 : Str = CallByName Inspect.61 Inspect.233 Inspect.350;
jump Inspect.349 Inspect.348;
else
jump Inspect.348 Inspect.233;
jump Inspect.349 Inspect.233;
procedure Inspect.238 (Inspect.239, Inspect.236):
let Inspect.343 : Str = CallByName Inspect.31 Inspect.236 Inspect.239;
ret Inspect.343;
let Inspect.344 : Str = CallByName Inspect.31 Inspect.236 Inspect.239;
ret Inspect.344;
procedure Inspect.240 (Inspect.241):
let Bool.2 : Int1 = CallByName Bool.2;
let Inspect.339 : {Str, Int1} = Struct {Inspect.241, Bool.2};
let Inspect.340 : Int1 = CallByName Bool.2;
let Inspect.339 : {Str, Int1} = Struct {Inspect.241, Inspect.340};
ret Inspect.339;
procedure Inspect.242 (Inspect.326):
@ -71,12 +71,12 @@ procedure Inspect.242 (Inspect.326):
ret Inspect.327;
procedure Inspect.249 (Inspect.250, Inspect.248):
let Inspect.361 : Str = "\"";
let Inspect.360 : Str = CallByName Inspect.61 Inspect.250 Inspect.361;
let Inspect.358 : Str = CallByName Inspect.61 Inspect.360 Inspect.248;
let Inspect.359 : Str = "\"";
let Inspect.358 : Str = CallByName Inspect.61 Inspect.250 Inspect.359;
let Inspect.356 : Str = CallByName Inspect.61 Inspect.358 Inspect.248;
let Inspect.357 : Str = "\"";
let Inspect.355 : Str = CallByName Inspect.61 Inspect.356 Inspect.357;
ret Inspect.355;
let Inspect.357 : Str = CallByName Inspect.61 Inspect.358 Inspect.359;
ret Inspect.357;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
@ -92,8 +92,8 @@ procedure Inspect.31 (Inspect.305, Inspect.149):
ret Inspect.314;
procedure Inspect.31 (Inspect.305, Inspect.149):
let Inspect.344 : Str = CallByName Inspect.249 Inspect.149 Inspect.305;
ret Inspect.344;
let Inspect.345 : Str = CallByName Inspect.249 Inspect.149 Inspect.305;
ret Inspect.345;
procedure Inspect.35 (Inspect.300):
ret Inspect.300;
@ -107,8 +107,8 @@ procedure Inspect.42 (Inspect.227):
ret Inspect.315;
procedure Inspect.44 (Inspect.248):
let Inspect.351 : Str = CallByName Inspect.30 Inspect.248;
ret Inspect.351;
let Inspect.353 : Str = CallByName Inspect.30 Inspect.248;
ret Inspect.353;
procedure Inspect.5 (Inspect.150):
let Inspect.312 : Str = CallByName #Derived.0 Inspect.150;

52
crates/compiler/test_mono/generated/inspect_derived_record_two_field_strings.txt
View File

@ -27,8 +27,8 @@ procedure Bool.2 ():
ret Bool.23;
procedure Inspect.228 (Inspect.229, Inspect.227):
let Inspect.350 : Str = "{";
let Inspect.328 : Str = CallByName Inspect.61 Inspect.229 Inspect.350;
let Inspect.352 : Str = "{";
let Inspect.328 : Str = CallByName Inspect.61 Inspect.229 Inspect.352;
let Inspect.324 : {Str, Int1} = CallByName Inspect.230 Inspect.328 Inspect.227;
let Inspect.325 : {} = Struct {};
let Inspect.320 : Str = CallByName Inspect.242 Inspect.324;
@ -37,8 +37,8 @@ procedure Inspect.228 (Inspect.229, Inspect.227):
ret Inspect.319;
procedure Inspect.230 (Inspect.231, Inspect.227):
let Bool.1 : Int1 = CallByName Bool.1;
let Inspect.332 : {Str, Int1} = Struct {Inspect.231, Bool.1};
let Inspect.351 : Int1 = CallByName Bool.1;
let Inspect.332 : {Str, Int1} = Struct {Inspect.231, Inspect.351};
let Inspect.333 : {} = Struct {};
let Inspect.331 : {Str, Int1} = CallByName List.18 Inspect.227 Inspect.332 Inspect.333;
ret Inspect.331;
@ -48,29 +48,29 @@ procedure Inspect.232 (Inspect.334, Inspect.335):
let Inspect.236 : Str = StructAtIndex 1 Inspect.335;
let Inspect.233 : Str = StructAtIndex 0 Inspect.334;
let Inspect.234 : Int1 = StructAtIndex 1 Inspect.334;
joinpoint Inspect.348 Inspect.237:
let Inspect.345 : Str = CallByName Inspect.61 Inspect.237 Inspect.235;
let Inspect.346 : Str = ": ";
let Inspect.340 : Str = CallByName Inspect.61 Inspect.345 Inspect.346;
let Inspect.337 : Str = CallByName Inspect.238 Inspect.340 Inspect.236;
joinpoint Inspect.349 Inspect.237:
let Inspect.346 : Str = CallByName Inspect.61 Inspect.237 Inspect.235;
let Inspect.347 : Str = ": ";
let Inspect.341 : Str = CallByName Inspect.61 Inspect.346 Inspect.347;
let Inspect.337 : Str = CallByName Inspect.238 Inspect.341 Inspect.236;
let Inspect.338 : {} = Struct {};
let Inspect.336 : {Str, Int1} = CallByName Inspect.240 Inspect.337;
ret Inspect.336;
in
if Inspect.234 then
let Inspect.349 : Str = ", ";
let Inspect.347 : Str = CallByName Inspect.61 Inspect.233 Inspect.349;
jump Inspect.348 Inspect.347;
let Inspect.350 : Str = ", ";
let Inspect.348 : Str = CallByName Inspect.61 Inspect.233 Inspect.350;
jump Inspect.349 Inspect.348;
else
jump Inspect.348 Inspect.233;
jump Inspect.349 Inspect.233;
procedure Inspect.238 (Inspect.239, Inspect.236):
let Inspect.343 : Str = CallByName Inspect.31 Inspect.236 Inspect.239;
ret Inspect.343;
let Inspect.344 : Str = CallByName Inspect.31 Inspect.236 Inspect.239;
ret Inspect.344;
procedure Inspect.240 (Inspect.241):
let Bool.2 : Int1 = CallByName Bool.2;
let Inspect.339 : {Str, Int1} = Struct {Inspect.241, Bool.2};
let Inspect.340 : Int1 = CallByName Bool.2;
let Inspect.339 : {Str, Int1} = Struct {Inspect.241, Inspect.340};
ret Inspect.339;
procedure Inspect.242 (Inspect.326):
@ -78,12 +78,12 @@ procedure Inspect.242 (Inspect.326):
ret Inspect.327;
procedure Inspect.249 (Inspect.250, Inspect.248):
let Inspect.361 : Str = "\"";
let Inspect.360 : Str = CallByName Inspect.61 Inspect.250 Inspect.361;
let Inspect.358 : Str = CallByName Inspect.61 Inspect.360 Inspect.248;
let Inspect.359 : Str = "\"";
let Inspect.358 : Str = CallByName Inspect.61 Inspect.250 Inspect.359;
let Inspect.356 : Str = CallByName Inspect.61 Inspect.358 Inspect.248;
let Inspect.357 : Str = "\"";
let Inspect.355 : Str = CallByName Inspect.61 Inspect.356 Inspect.357;
ret Inspect.355;
let Inspect.357 : Str = CallByName Inspect.61 Inspect.358 Inspect.359;
ret Inspect.357;
procedure Inspect.30 (Inspect.147):
ret Inspect.147;
@ -99,8 +99,8 @@ procedure Inspect.31 (Inspect.305, Inspect.149):
ret Inspect.314;
procedure Inspect.31 (Inspect.305, Inspect.149):
let Inspect.344 : Str = CallByName Inspect.249 Inspect.149 Inspect.305;
ret Inspect.344;
let Inspect.345 : Str = CallByName Inspect.249 Inspect.149 Inspect.305;
ret Inspect.345;
procedure Inspect.35 (Inspect.300):
ret Inspect.300;
@ -114,8 +114,8 @@ procedure Inspect.42 (Inspect.227):
ret Inspect.315;
procedure Inspect.44 (Inspect.248):
let Inspect.360 : Str = CallByName Inspect.30 Inspect.248;
ret Inspect.360;
let Inspect.362 : Str = CallByName Inspect.30 Inspect.248;
ret Inspect.362;
procedure Inspect.5 (Inspect.150):
let Inspect.312 : {Str, Str} = CallByName #Derived.0 Inspect.150;