language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-03 11:52:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Update mono tests

Browse source
This commit is contained in:
Richard Feldman 2022-08-03 22:45:38 -04:00
parent 7186c07151
commit b0f7737227
No known key found for this signature in database
GPG key ID: 7E4127D1E4241798
6 changed files with 515 additions and 515 deletions
Download patch file Download diff file Expand all files Collapse all files

294
crates/compiler/test_mono/generated/encode_derived_nested_record_string.txt
View file

@ -11,7 +11,7 @@ procedure #Derived.2 (#Derived.3, #Derived.4, #Attr.12):
let #Derived_gen.8 : {Str} = CallByName #Derived.5 #Derived.1;
let #Derived_gen.6 : {Str, {Str}} = Struct {#Derived_gen.7, #Derived_gen.8};
let #Derived_gen.5 : List {Str, {Str}} = Array [#Derived_gen.6];
let #Derived_gen.4 : {List {Str, {Str}}} = CallByName Json.19 #Derived_gen.5;
let #Derived_gen.4 : {List {Str, {Str}}} = CallByName Json.20 #Derived_gen.5;
let #Derived_gen.3 : List U8 = CallByName Encode.23 #Derived.3 #Derived_gen.4 #Derived.4;
ret #Derived_gen.3;
@ -25,10 +25,10 @@ procedure #Derived.7 (#Derived.8, #Derived.9, #Attr.12):
inc #Derived.6;
dec #Attr.12;
let #Derived_gen.21 : Str = "b";
let #Derived_gen.22 : {Str} = CallByName Json.17 #Derived.6;
let #Derived_gen.22 : {Str} = CallByName Json.18 #Derived.6;
let #Derived_gen.20 : {Str, {Str}} = Struct {#Derived_gen.21, #Derived_gen.22};
let #Derived_gen.19 : List {Str, {Str}} = Array [#Derived_gen.20];
let #Derived_gen.18 : {List {Str, {Str}}} = CallByName Json.19 #Derived_gen.19;
let #Derived_gen.18 : {List {Str, {Str}}} = CallByName Json.20 #Derived_gen.19;
let #Derived_gen.17 : List U8 = CallByName Encode.23 #Derived.8 #Derived_gen.18 #Derived.9;
ret #Derived_gen.17;
@ -52,7 +52,7 @@ procedure Encode.23 (Encode.94, Encode.102, Encode.96):
ret Encode.106;
procedure Encode.23 (Encode.94, Encode.102, Encode.96):
let Encode.113 : List U8 = CallByName Json.81 Encode.94 Encode.96 Encode.102;
let Encode.113 : List U8 = CallByName Json.103 Encode.94 Encode.96 Encode.102;
ret Encode.113;
procedure Encode.23 (Encode.94, Encode.102, Encode.96):
@ -60,11 +60,11 @@ procedure Encode.23 (Encode.94, Encode.102, Encode.96):
ret Encode.115;
procedure Encode.23 (Encode.94, Encode.102, Encode.96):
let Encode.125 : List U8 = CallByName Json.81 Encode.94 Encode.96 Encode.102;
let Encode.125 : List U8 = CallByName Json.103 Encode.94 Encode.96 Encode.102;
ret Encode.125;
procedure Encode.23 (Encode.94, Encode.102, Encode.96):
let Encode.128 : List U8 = CallByName Json.65 Encode.94 Encode.96 Encode.102;
let Encode.128 : List U8 = CallByName Json.87 Encode.94 Encode.96 Encode.102;
ret Encode.128;
procedure Encode.25 (Encode.100, Encode.101):
@ -74,165 +74,165 @@ procedure Encode.25 (Encode.100, Encode.101):
ret Encode.103;
procedure Json.1 ():
let Json.106 : {} = Struct {};
ret Json.106;
let Json.318 : {} = Struct {};
ret Json.318;
procedure Json.17 (Json.64):
let Json.153 : {Str} = Struct {Json.64};
let Json.152 : {Str} = CallByName Encode.22 Json.153;
ret Json.152;
procedure Json.19 (Json.80):
let Json.108 : {List {Str, {Str}}} = Struct {Json.80};
let Json.107 : {List {Str, {Str}}} = CallByName Encode.22 Json.108;
ret Json.107;
procedure Json.19 (Json.80):
let Json.150 : {List {Str, {Str}}} = Struct {Json.80};
let Json.149 : {List {Str, {Str}}} = CallByName Encode.22 Json.150;
ret Json.149;
procedure Json.65 (Json.66, Json.154, #Attr.12):
let Json.64 : Str = StructAtIndex 0 #Attr.12;
inc Json.64;
procedure Json.103 (Json.104, Json.321, #Attr.12):
let Json.102 : List {Str, {Str}} = StructAtIndex 0 #Attr.12;
inc Json.102;
dec #Attr.12;
let Json.194 : I32 = 34i64;
let Json.193 : U8 = CallByName Num.123 Json.194;
let Json.191 : List U8 = CallByName List.4 Json.66 Json.193;
let Json.192 : List U8 = CallByName Str.12 Json.64;
let Json.188 : List U8 = CallByName List.8 Json.191 Json.192;
let Json.190 : I32 = 34i64;
let Json.189 : U8 = CallByName Num.123 Json.190;
let Json.187 : List U8 = CallByName List.4 Json.188 Json.189;
ret Json.187;
let Json.354 : I32 = 123i64;
let Json.353 : U8 = CallByName Num.123 Json.354;
let Json.106 : List U8 = CallByName List.4 Json.104 Json.353;
let Json.352 : U64 = CallByName List.6 Json.102;
let Json.329 : {List U8, U64} = Struct {Json.106, Json.352};
let Json.330 : {} = Struct {};
let Json.328 : {List U8, U64} = CallByName List.18 Json.102 Json.329 Json.330;
dec Json.102;
let Json.108 : List U8 = StructAtIndex 0 Json.328;
inc Json.108;
dec Json.328;
let Json.327 : I32 = 125i64;
let Json.326 : U8 = CallByName Num.123 Json.327;
let Json.325 : List U8 = CallByName List.4 Json.108 Json.326;
ret Json.325;
procedure Json.81 (Json.82, Json.109, #Attr.12):
let Json.80 : List {Str, {Str}} = StructAtIndex 0 #Attr.12;
inc Json.80;
procedure Json.103 (Json.104, Json.321, #Attr.12):
let Json.102 : List {Str, {Str}} = StructAtIndex 0 #Attr.12;
inc Json.102;
dec #Attr.12;
let Json.142 : I32 = 123i64;
let Json.141 : U8 = CallByName Num.123 Json.142;
let Json.84 : List U8 = CallByName List.4 Json.82 Json.141;
let Json.140 : U64 = CallByName List.6 Json.80;
let Json.117 : {List U8, U64} = Struct {Json.84, Json.140};
let Json.118 : {} = Struct {};
let Json.116 : {List U8, U64} = CallByName List.18 Json.80 Json.117 Json.118;
dec Json.80;
let Json.86 : List U8 = StructAtIndex 0 Json.116;
inc Json.86;
dec Json.116;
let Json.115 : I32 = 125i64;
let Json.114 : U8 = CallByName Num.123 Json.115;
let Json.113 : List U8 = CallByName List.4 Json.86 Json.114;
ret Json.113;
let Json.397 : I32 = 123i64;
let Json.396 : U8 = CallByName Num.123 Json.397;
let Json.106 : List U8 = CallByName List.4 Json.104 Json.396;
let Json.395 : U64 = CallByName List.6 Json.102;
let Json.372 : {List U8, U64} = Struct {Json.106, Json.395};
let Json.373 : {} = Struct {};
let Json.371 : {List U8, U64} = CallByName List.18 Json.102 Json.372 Json.373;
dec Json.102;
let Json.108 : List U8 = StructAtIndex 0 Json.371;
inc Json.108;
dec Json.371;
let Json.370 : I32 = 125i64;
let Json.369 : U8 = CallByName Num.123 Json.370;
let Json.368 : List U8 = CallByName List.4 Json.108 Json.369;
ret Json.368;
procedure Json.81 (Json.82, Json.109, #Attr.12):
let Json.80 : List {Str, {Str}} = StructAtIndex 0 #Attr.12;
inc Json.80;
dec #Attr.12;
let Json.185 : I32 = 123i64;
let Json.184 : U8 = CallByName Num.123 Json.185;
let Json.84 : List U8 = CallByName List.4 Json.82 Json.184;
let Json.183 : U64 = CallByName List.6 Json.80;
let Json.160 : {List U8, U64} = Struct {Json.84, Json.183};
let Json.161 : {} = Struct {};
let Json.159 : {List U8, U64} = CallByName List.18 Json.80 Json.160 Json.161;
dec Json.80;
let Json.86 : List U8 = StructAtIndex 0 Json.159;
inc Json.86;
dec Json.159;
let Json.158 : I32 = 125i64;
let Json.157 : U8 = CallByName Num.123 Json.158;
let Json.156 : List U8 = CallByName List.4 Json.86 Json.157;
ret Json.156;
procedure Json.83 (Json.111, Json.112):
let Json.89 : Str = StructAtIndex 0 Json.112;
inc Json.89;
let Json.90 : {Str} = StructAtIndex 1 Json.112;
inc Json.90;
dec Json.112;
let Json.87 : List U8 = StructAtIndex 0 Json.111;
inc Json.87;
let Json.88 : U64 = StructAtIndex 1 Json.111;
dec Json.111;
let Json.139 : I32 = 34i64;
let Json.138 : U8 = CallByName Num.123 Json.139;
let Json.136 : List U8 = CallByName List.4 Json.87 Json.138;
let Json.137 : List U8 = CallByName Str.12 Json.89;
let Json.133 : List U8 = CallByName List.8 Json.136 Json.137;
let Json.135 : I32 = 34i64;
let Json.134 : U8 = CallByName Num.123 Json.135;
let Json.130 : List U8 = CallByName List.4 Json.133 Json.134;
let Json.132 : I32 = 58i64;
let Json.131 : U8 = CallByName Num.123 Json.132;
let Json.128 : List U8 = CallByName List.4 Json.130 Json.131;
let Json.129 : {} = Struct {};
let Json.91 : List U8 = CallByName Encode.23 Json.128 Json.90 Json.129;
joinpoint Json.123 Json.92:
let Json.121 : U64 = 1i64;
let Json.120 : U64 = CallByName Num.20 Json.88 Json.121;
let Json.119 : {List U8, U64} = Struct {Json.92, Json.120};
ret Json.119;
procedure Json.105 (Json.323, Json.324):
let Json.111 : Str = StructAtIndex 0 Json.324;
inc Json.111;
let Json.112 : {Str} = StructAtIndex 1 Json.324;
inc Json.112;
dec Json.324;
let Json.109 : List U8 = StructAtIndex 0 Json.323;
inc Json.109;
let Json.110 : U64 = StructAtIndex 1 Json.323;
dec Json.323;
let Json.351 : I32 = 34i64;
let Json.350 : U8 = CallByName Num.123 Json.351;
let Json.348 : List U8 = CallByName List.4 Json.109 Json.350;
let Json.349 : List U8 = CallByName Str.12 Json.111;
let Json.345 : List U8 = CallByName List.8 Json.348 Json.349;
let Json.347 : I32 = 34i64;
let Json.346 : U8 = CallByName Num.123 Json.347;
let Json.342 : List U8 = CallByName List.4 Json.345 Json.346;
let Json.344 : I32 = 58i64;
let Json.343 : U8 = CallByName Num.123 Json.344;
let Json.340 : List U8 = CallByName List.4 Json.342 Json.343;
let Json.341 : {} = Struct {};
let Json.113 : List U8 = CallByName Encode.23 Json.340 Json.112 Json.341;
joinpoint Json.335 Json.114:
let Json.333 : U64 = 1i64;
let Json.332 : U64 = CallByName Num.20 Json.110 Json.333;
let Json.331 : {List U8, U64} = Struct {Json.114, Json.332};
ret Json.331;
in
let Json.127 : U64 = 1i64;
let Json.124 : Int1 = CallByName Num.24 Json.88 Json.127;
if Json.124 then
let Json.126 : I32 = 44i64;
let Json.125 : U8 = CallByName Num.123 Json.126;
let Json.122 : List U8 = CallByName List.4 Json.91 Json.125;
jump Json.123 Json.122;
let Json.339 : U64 = 1i64;
let Json.336 : Int1 = CallByName Num.24 Json.110 Json.339;
if Json.336 then
let Json.338 : I32 = 44i64;
let Json.337 : U8 = CallByName Num.123 Json.338;
let Json.334 : List U8 = CallByName List.4 Json.113 Json.337;
jump Json.335 Json.334;
else
jump Json.123 Json.91;
jump Json.335 Json.113;
procedure Json.83 (Json.111, Json.112):
let Json.89 : Str = StructAtIndex 0 Json.112;
inc Json.89;
let Json.90 : {Str} = StructAtIndex 1 Json.112;
inc Json.90;
dec Json.112;
let Json.87 : List U8 = StructAtIndex 0 Json.111;
inc Json.87;
let Json.88 : U64 = StructAtIndex 1 Json.111;
dec Json.111;
let Json.182 : I32 = 34i64;
let Json.181 : U8 = CallByName Num.123 Json.182;
let Json.179 : List U8 = CallByName List.4 Json.87 Json.181;
let Json.180 : List U8 = CallByName Str.12 Json.89;
let Json.176 : List U8 = CallByName List.8 Json.179 Json.180;
let Json.178 : I32 = 34i64;
let Json.177 : U8 = CallByName Num.123 Json.178;
let Json.173 : List U8 = CallByName List.4 Json.176 Json.177;
let Json.175 : I32 = 58i64;
let Json.174 : U8 = CallByName Num.123 Json.175;
let Json.171 : List U8 = CallByName List.4 Json.173 Json.174;
let Json.172 : {} = Struct {};
let Json.91 : List U8 = CallByName Encode.23 Json.171 Json.90 Json.172;
joinpoint Json.166 Json.92:
let Json.164 : U64 = 1i64;
let Json.163 : U64 = CallByName Num.20 Json.88 Json.164;
let Json.162 : {List U8, U64} = Struct {Json.92, Json.163};
ret Json.162;
procedure Json.105 (Json.323, Json.324):
let Json.111 : Str = StructAtIndex 0 Json.324;
inc Json.111;
let Json.112 : {Str} = StructAtIndex 1 Json.324;
inc Json.112;
dec Json.324;
let Json.109 : List U8 = StructAtIndex 0 Json.323;
inc Json.109;
let Json.110 : U64 = StructAtIndex 1 Json.323;
dec Json.323;
let Json.394 : I32 = 34i64;
let Json.393 : U8 = CallByName Num.123 Json.394;
let Json.391 : List U8 = CallByName List.4 Json.109 Json.393;
let Json.392 : List U8 = CallByName Str.12 Json.111;
let Json.388 : List U8 = CallByName List.8 Json.391 Json.392;
let Json.390 : I32 = 34i64;
let Json.389 : U8 = CallByName Num.123 Json.390;
let Json.385 : List U8 = CallByName List.4 Json.388 Json.389;
let Json.387 : I32 = 58i64;
let Json.386 : U8 = CallByName Num.123 Json.387;
let Json.383 : List U8 = CallByName List.4 Json.385 Json.386;
let Json.384 : {} = Struct {};
let Json.113 : List U8 = CallByName Encode.23 Json.383 Json.112 Json.384;
joinpoint Json.378 Json.114:
let Json.376 : U64 = 1i64;
let Json.375 : U64 = CallByName Num.20 Json.110 Json.376;
let Json.374 : {List U8, U64} = Struct {Json.114, Json.375};
ret Json.374;
in
let Json.170 : U64 = 1i64;
let Json.167 : Int1 = CallByName Num.24 Json.88 Json.170;
if Json.167 then
let Json.169 : I32 = 44i64;
let Json.168 : U8 = CallByName Num.123 Json.169;
let Json.165 : List U8 = CallByName List.4 Json.91 Json.168;
jump Json.166 Json.165;
let Json.382 : U64 = 1i64;
let Json.379 : Int1 = CallByName Num.24 Json.110 Json.382;
if Json.379 then
let Json.381 : I32 = 44i64;
let Json.380 : U8 = CallByName Num.123 Json.381;
let Json.377 : List U8 = CallByName List.4 Json.113 Json.380;
jump Json.378 Json.377;
else
jump Json.166 Json.91;
jump Json.378 Json.113;
procedure Json.18 (Json.86):
let Json.365 : {Str} = Struct {Json.86};
let Json.364 : {Str} = CallByName Encode.22 Json.365;
ret Json.364;
procedure Json.20 (Json.102):
let Json.320 : {List {Str, {Str}}} = Struct {Json.102};
let Json.319 : {List {Str, {Str}}} = CallByName Encode.22 Json.320;
ret Json.319;
procedure Json.20 (Json.102):
let Json.362 : {List {Str, {Str}}} = Struct {Json.102};
let Json.361 : {List {Str, {Str}}} = CallByName Encode.22 Json.362;
ret Json.361;
procedure Json.87 (Json.88, Json.366, #Attr.12):
let Json.86 : Str = StructAtIndex 0 #Attr.12;
inc Json.86;
dec #Attr.12;
let Json.406 : I32 = 34i64;
let Json.405 : U8 = CallByName Num.123 Json.406;
let Json.403 : List U8 = CallByName List.4 Json.88 Json.405;
let Json.404 : List U8 = CallByName Str.12 Json.86;
let Json.400 : List U8 = CallByName List.8 Json.403 Json.404;
let Json.402 : I32 = 34i64;
let Json.401 : U8 = CallByName Num.123 Json.402;
let Json.399 : List U8 = CallByName List.4 Json.400 Json.401;
ret Json.399;
procedure List.133 (List.134, List.135, #Attr.12):
let List.132 : {} = StructAtIndex 0 #Attr.12;
let List.434 : {List U8, U64} = CallByName Json.83 List.134 List.135;
let List.434 : {List U8, U64} = CallByName Json.105 List.134 List.135;
let List.433 : [C [], C {List U8, U64}] = TagId(1) List.434;
ret List.433;
procedure List.133 (List.134, List.135, #Attr.12):
let List.132 : {} = StructAtIndex 0 #Attr.12;
let List.515 : {List U8, U64} = CallByName Json.83 List.134 List.135;
let List.515 : {List U8, U64} = CallByName Json.105 List.134 List.135;
let List.514 : [C [], C {List U8, U64}] = TagId(1) List.515;
ret List.514;

170
crates/compiler/test_mono/generated/encode_derived_record_one_field_string.txt
View file

@ -8,10 +8,10 @@ procedure #Derived.2 (#Derived.3, #Derived.4, #Attr.12):
inc #Derived.1;
dec #Attr.12;
let #Derived_gen.7 : Str = "a";
let #Derived_gen.8 : {Str} = CallByName Json.17 #Derived.1;
let #Derived_gen.8 : {Str} = CallByName Json.18 #Derived.1;
let #Derived_gen.6 : {Str, {Str}} = Struct {#Derived_gen.7, #Derived_gen.8};
let #Derived_gen.5 : List {Str, {Str}} = Array [#Derived_gen.6];
let #Derived_gen.4 : {List {Str, {Str}}} = CallByName Json.19 #Derived_gen.5;
let #Derived_gen.4 : {List {Str, {Str}}} = CallByName Json.20 #Derived_gen.5;
let #Derived_gen.3 : List U8 = CallByName Encode.23 #Derived.3 #Derived_gen.4 #Derived.4;
ret #Derived_gen.3;
@ -29,11 +29,11 @@ procedure Encode.23 (Encode.94, Encode.102, Encode.96):
ret Encode.106;
procedure Encode.23 (Encode.94, Encode.102, Encode.96):
let Encode.113 : List U8 = CallByName Json.81 Encode.94 Encode.96 Encode.102;
let Encode.113 : List U8 = CallByName Json.103 Encode.94 Encode.96 Encode.102;
ret Encode.113;
procedure Encode.23 (Encode.94, Encode.102, Encode.96):
let Encode.116 : List U8 = CallByName Json.65 Encode.94 Encode.96 Encode.102;
let Encode.116 : List U8 = CallByName Json.87 Encode.94 Encode.96 Encode.102;
ret Encode.116;
procedure Encode.25 (Encode.100, Encode.101):
@ -43,95 +43,95 @@ procedure Encode.25 (Encode.100, Encode.101):
ret Encode.103;
procedure Json.1 ():
let Json.106 : {} = Struct {};
ret Json.106;
let Json.318 : {} = Struct {};
ret Json.318;
procedure Json.17 (Json.64):
let Json.111 : {Str} = Struct {Json.64};
let Json.110 : {Str} = CallByName Encode.22 Json.111;
ret Json.110;
procedure Json.19 (Json.80):
let Json.108 : {List {Str, {Str}}} = Struct {Json.80};
let Json.107 : {List {Str, {Str}}} = CallByName Encode.22 Json.108;
ret Json.107;
procedure Json.65 (Json.66, Json.112, #Attr.12):
let Json.64 : Str = StructAtIndex 0 #Attr.12;
inc Json.64;
procedure Json.103 (Json.104, Json.321, #Attr.12):
let Json.102 : List {Str, {Str}} = StructAtIndex 0 #Attr.12;
inc Json.102;
dec #Attr.12;
let Json.154 : I32 = 34i64;
let Json.153 : U8 = CallByName Num.123 Json.154;
let Json.151 : List U8 = CallByName List.4 Json.66 Json.153;
let Json.152 : List U8 = CallByName Str.12 Json.64;
let Json.148 : List U8 = CallByName List.8 Json.151 Json.152;
let Json.150 : I32 = 34i64;
let Json.149 : U8 = CallByName Num.123 Json.150;
let Json.147 : List U8 = CallByName List.4 Json.148 Json.149;
ret Json.147;
let Json.357 : I32 = 123i64;
let Json.356 : U8 = CallByName Num.123 Json.357;
let Json.106 : List U8 = CallByName List.4 Json.104 Json.356;
let Json.355 : U64 = CallByName List.6 Json.102;
let Json.332 : {List U8, U64} = Struct {Json.106, Json.355};
let Json.333 : {} = Struct {};
let Json.331 : {List U8, U64} = CallByName List.18 Json.102 Json.332 Json.333;
dec Json.102;
let Json.108 : List U8 = StructAtIndex 0 Json.331;
inc Json.108;
dec Json.331;
let Json.330 : I32 = 125i64;
let Json.329 : U8 = CallByName Num.123 Json.330;
let Json.328 : List U8 = CallByName List.4 Json.108 Json.329;
ret Json.328;
procedure Json.81 (Json.82, Json.109, #Attr.12):
let Json.80 : List {Str, {Str}} = StructAtIndex 0 #Attr.12;
inc Json.80;
dec #Attr.12;
let Json.145 : I32 = 123i64;
let Json.144 : U8 = CallByName Num.123 Json.145;
let Json.84 : List U8 = CallByName List.4 Json.82 Json.144;
let Json.143 : U64 = CallByName List.6 Json.80;
let Json.120 : {List U8, U64} = Struct {Json.84, Json.143};
let Json.121 : {} = Struct {};
let Json.119 : {List U8, U64} = CallByName List.18 Json.80 Json.120 Json.121;
dec Json.80;
let Json.86 : List U8 = StructAtIndex 0 Json.119;
inc Json.86;
dec Json.119;
let Json.118 : I32 = 125i64;
let Json.117 : U8 = CallByName Num.123 Json.118;
let Json.116 : List U8 = CallByName List.4 Json.86 Json.117;
ret Json.116;
procedure Json.83 (Json.114, Json.115):
let Json.89 : Str = StructAtIndex 0 Json.115;
inc Json.89;
let Json.90 : {Str} = StructAtIndex 1 Json.115;
inc Json.90;
dec Json.115;
let Json.87 : List U8 = StructAtIndex 0 Json.114;
inc Json.87;
let Json.88 : U64 = StructAtIndex 1 Json.114;
dec Json.114;
let Json.142 : I32 = 34i64;
let Json.141 : U8 = CallByName Num.123 Json.142;
let Json.139 : List U8 = CallByName List.4 Json.87 Json.141;
let Json.140 : List U8 = CallByName Str.12 Json.89;
let Json.136 : List U8 = CallByName List.8 Json.139 Json.140;
let Json.138 : I32 = 34i64;
let Json.137 : U8 = CallByName Num.123 Json.138;
let Json.133 : List U8 = CallByName List.4 Json.136 Json.137;
let Json.135 : I32 = 58i64;
let Json.134 : U8 = CallByName Num.123 Json.135;
let Json.131 : List U8 = CallByName List.4 Json.133 Json.134;
let Json.132 : {} = Struct {};
let Json.91 : List U8 = CallByName Encode.23 Json.131 Json.90 Json.132;
joinpoint Json.126 Json.92:
let Json.124 : U64 = 1i64;
let Json.123 : U64 = CallByName Num.20 Json.88 Json.124;
let Json.122 : {List U8, U64} = Struct {Json.92, Json.123};
ret Json.122;
procedure Json.105 (Json.326, Json.327):
let Json.111 : Str = StructAtIndex 0 Json.327;
inc Json.111;
let Json.112 : {Str} = StructAtIndex 1 Json.327;
inc Json.112;
dec Json.327;
let Json.109 : List U8 = StructAtIndex 0 Json.326;
inc Json.109;
let Json.110 : U64 = StructAtIndex 1 Json.326;
dec Json.326;
let Json.354 : I32 = 34i64;
let Json.353 : U8 = CallByName Num.123 Json.354;
let Json.351 : List U8 = CallByName List.4 Json.109 Json.353;
let Json.352 : List U8 = CallByName Str.12 Json.111;
let Json.348 : List U8 = CallByName List.8 Json.351 Json.352;
let Json.350 : I32 = 34i64;
let Json.349 : U8 = CallByName Num.123 Json.350;
let Json.345 : List U8 = CallByName List.4 Json.348 Json.349;
let Json.347 : I32 = 58i64;
let Json.346 : U8 = CallByName Num.123 Json.347;
let Json.343 : List U8 = CallByName List.4 Json.345 Json.346;
let Json.344 : {} = Struct {};
let Json.113 : List U8 = CallByName Encode.23 Json.343 Json.112 Json.344;
joinpoint Json.338 Json.114:
let Json.336 : U64 = 1i64;
let Json.335 : U64 = CallByName Num.20 Json.110 Json.336;
let Json.334 : {List U8, U64} = Struct {Json.114, Json.335};
ret Json.334;
in
let Json.130 : U64 = 1i64;
let Json.127 : Int1 = CallByName Num.24 Json.88 Json.130;
if Json.127 then
let Json.129 : I32 = 44i64;
let Json.128 : U8 = CallByName Num.123 Json.129;
let Json.125 : List U8 = CallByName List.4 Json.91 Json.128;
jump Json.126 Json.125;
let Json.342 : U64 = 1i64;
let Json.339 : Int1 = CallByName Num.24 Json.110 Json.342;
if Json.339 then
let Json.341 : I32 = 44i64;
let Json.340 : U8 = CallByName Num.123 Json.341;
let Json.337 : List U8 = CallByName List.4 Json.113 Json.340;
jump Json.338 Json.337;
else
jump Json.126 Json.91;
jump Json.338 Json.113;
procedure Json.18 (Json.86):
let Json.323 : {Str} = Struct {Json.86};
let Json.322 : {Str} = CallByName Encode.22 Json.323;
ret Json.322;
procedure Json.20 (Json.102):
let Json.320 : {List {Str, {Str}}} = Struct {Json.102};
let Json.319 : {List {Str, {Str}}} = CallByName Encode.22 Json.320;
ret Json.319;
procedure Json.87 (Json.88, Json.324, #Attr.12):
let Json.86 : Str = StructAtIndex 0 #Attr.12;
inc Json.86;
dec #Attr.12;
let Json.366 : I32 = 34i64;
let Json.365 : U8 = CallByName Num.123 Json.366;
let Json.363 : List U8 = CallByName List.4 Json.88 Json.365;
let Json.364 : List U8 = CallByName Str.12 Json.86;
let Json.360 : List U8 = CallByName List.8 Json.363 Json.364;
let Json.362 : I32 = 34i64;
let Json.361 : U8 = CallByName Num.123 Json.362;
let Json.359 : List U8 = CallByName List.4 Json.360 Json.361;
ret Json.359;
procedure List.133 (List.134, List.135, #Attr.12):
let List.132 : {} = StructAtIndex 0 #Attr.12;
let List.441 : {List U8, U64} = CallByName Json.83 List.134 List.135;
let List.441 : {List U8, U64} = CallByName Json.105 List.134 List.135;
let List.440 : [C [], C {List U8, U64}] = TagId(1) List.441;
ret List.440;

172
crates/compiler/test_mono/generated/encode_derived_record_two_field_strings.txt
View file

@ -10,16 +10,16 @@ procedure #Derived.2 (#Derived.3, #Derived.4, #Attr.12):
let #Derived_gen.11 : Str = "a";
let #Derived_gen.13 : Str = StructAtIndex 0 #Derived.1;
inc #Derived_gen.13;
let #Derived_gen.12 : {Str} = CallByName Json.17 #Derived_gen.13;
let #Derived_gen.12 : {Str} = CallByName Json.18 #Derived_gen.13;
let #Derived_gen.6 : {Str, {Str}} = Struct {#Derived_gen.11, #Derived_gen.12};
let #Derived_gen.8 : Str = "b";
let #Derived_gen.10 : Str = StructAtIndex 1 #Derived.1;
inc #Derived_gen.10;
dec #Derived.1;
let #Derived_gen.9 : {Str} = CallByName Json.17 #Derived_gen.10;
let #Derived_gen.9 : {Str} = CallByName Json.18 #Derived_gen.10;
let #Derived_gen.7 : {Str, {Str}} = Struct {#Derived_gen.8, #Derived_gen.9};
let #Derived_gen.5 : List {Str, {Str}} = Array [#Derived_gen.6, #Derived_gen.7];
let #Derived_gen.4 : {List {Str, {Str}}} = CallByName Json.19 #Derived_gen.5;
let #Derived_gen.4 : {List {Str, {Str}}} = CallByName Json.20 #Derived_gen.5;
let #Derived_gen.3 : List U8 = CallByName Encode.23 #Derived.3 #Derived_gen.4 #Derived.4;
ret #Derived_gen.3;
@ -37,11 +37,11 @@ procedure Encode.23 (Encode.94, Encode.102, Encode.96):
ret Encode.106;
procedure Encode.23 (Encode.94, Encode.102, Encode.96):
let Encode.113 : List U8 = CallByName Json.81 Encode.94 Encode.96 Encode.102;
let Encode.113 : List U8 = CallByName Json.103 Encode.94 Encode.96 Encode.102;
ret Encode.113;
procedure Encode.23 (Encode.94, Encode.102, Encode.96):
let Encode.117 : List U8 = CallByName Json.65 Encode.94 Encode.96 Encode.102;
let Encode.117 : List U8 = CallByName Json.87 Encode.94 Encode.96 Encode.102;
ret Encode.117;
procedure Encode.25 (Encode.100, Encode.101):
@ -51,95 +51,95 @@ procedure Encode.25 (Encode.100, Encode.101):
ret Encode.103;
procedure Json.1 ():
let Json.106 : {} = Struct {};
ret Json.106;
let Json.318 : {} = Struct {};
ret Json.318;
procedure Json.17 (Json.64):
let Json.114 : {Str} = Struct {Json.64};
let Json.113 : {Str} = CallByName Encode.22 Json.114;
ret Json.113;
procedure Json.19 (Json.80):
let Json.108 : {List {Str, {Str}}} = Struct {Json.80};
let Json.107 : {List {Str, {Str}}} = CallByName Encode.22 Json.108;
ret Json.107;
procedure Json.65 (Json.66, Json.112, #Attr.12):
let Json.64 : Str = StructAtIndex 0 #Attr.12;
inc Json.64;
procedure Json.103 (Json.104, Json.321, #Attr.12):
let Json.102 : List {Str, {Str}} = StructAtIndex 0 #Attr.12;
inc Json.102;
dec #Attr.12;
let Json.157 : I32 = 34i64;
let Json.156 : U8 = CallByName Num.123 Json.157;
let Json.154 : List U8 = CallByName List.4 Json.66 Json.156;
let Json.155 : List U8 = CallByName Str.12 Json.64;
let Json.151 : List U8 = CallByName List.8 Json.154 Json.155;
let Json.153 : I32 = 34i64;
let Json.152 : U8 = CallByName Num.123 Json.153;
let Json.150 : List U8 = CallByName List.4 Json.151 Json.152;
ret Json.150;
let Json.360 : I32 = 123i64;
let Json.359 : U8 = CallByName Num.123 Json.360;
let Json.106 : List U8 = CallByName List.4 Json.104 Json.359;
let Json.358 : U64 = CallByName List.6 Json.102;
let Json.335 : {List U8, U64} = Struct {Json.106, Json.358};
let Json.336 : {} = Struct {};
let Json.334 : {List U8, U64} = CallByName List.18 Json.102 Json.335 Json.336;
dec Json.102;
let Json.108 : List U8 = StructAtIndex 0 Json.334;
inc Json.108;
dec Json.334;
let Json.333 : I32 = 125i64;
let Json.332 : U8 = CallByName Num.123 Json.333;
let Json.331 : List U8 = CallByName List.4 Json.108 Json.332;
ret Json.331;
procedure Json.81 (Json.82, Json.109, #Attr.12):
let Json.80 : List {Str, {Str}} = StructAtIndex 0 #Attr.12;
inc Json.80;
dec #Attr.12;
let Json.148 : I32 = 123i64;
let Json.147 : U8 = CallByName Num.123 Json.148;
let Json.84 : List U8 = CallByName List.4 Json.82 Json.147;
let Json.146 : U64 = CallByName List.6 Json.80;
let Json.123 : {List U8, U64} = Struct {Json.84, Json.146};
let Json.124 : {} = Struct {};
let Json.122 : {List U8, U64} = CallByName List.18 Json.80 Json.123 Json.124;
dec Json.80;
let Json.86 : List U8 = StructAtIndex 0 Json.122;
inc Json.86;
dec Json.122;
let Json.121 : I32 = 125i64;
let Json.120 : U8 = CallByName Num.123 Json.121;
let Json.119 : List U8 = CallByName List.4 Json.86 Json.120;
ret Json.119;
procedure Json.83 (Json.117, Json.118):
let Json.89 : Str = StructAtIndex 0 Json.118;
inc Json.89;
let Json.90 : {Str} = StructAtIndex 1 Json.118;
inc Json.90;
dec Json.118;
let Json.87 : List U8 = StructAtIndex 0 Json.117;
inc Json.87;
let Json.88 : U64 = StructAtIndex 1 Json.117;
dec Json.117;
let Json.145 : I32 = 34i64;
let Json.144 : U8 = CallByName Num.123 Json.145;
let Json.142 : List U8 = CallByName List.4 Json.87 Json.144;
let Json.143 : List U8 = CallByName Str.12 Json.89;
let Json.139 : List U8 = CallByName List.8 Json.142 Json.143;
let Json.141 : I32 = 34i64;
let Json.140 : U8 = CallByName Num.123 Json.141;
let Json.136 : List U8 = CallByName List.4 Json.139 Json.140;
let Json.138 : I32 = 58i64;
let Json.137 : U8 = CallByName Num.123 Json.138;
let Json.134 : List U8 = CallByName List.4 Json.136 Json.137;
let Json.135 : {} = Struct {};
let Json.91 : List U8 = CallByName Encode.23 Json.134 Json.90 Json.135;
joinpoint Json.129 Json.92:
let Json.127 : U64 = 1i64;
let Json.126 : U64 = CallByName Num.20 Json.88 Json.127;
let Json.125 : {List U8, U64} = Struct {Json.92, Json.126};
ret Json.125;
procedure Json.105 (Json.329, Json.330):
let Json.111 : Str = StructAtIndex 0 Json.330;
inc Json.111;
let Json.112 : {Str} = StructAtIndex 1 Json.330;
inc Json.112;
dec Json.330;
let Json.109 : List U8 = StructAtIndex 0 Json.329;
inc Json.109;
let Json.110 : U64 = StructAtIndex 1 Json.329;
dec Json.329;
let Json.357 : I32 = 34i64;
let Json.356 : U8 = CallByName Num.123 Json.357;
let Json.354 : List U8 = CallByName List.4 Json.109 Json.356;
let Json.355 : List U8 = CallByName Str.12 Json.111;
let Json.351 : List U8 = CallByName List.8 Json.354 Json.355;
let Json.353 : I32 = 34i64;
let Json.352 : U8 = CallByName Num.123 Json.353;
let Json.348 : List U8 = CallByName List.4 Json.351 Json.352;
let Json.350 : I32 = 58i64;
let Json.349 : U8 = CallByName Num.123 Json.350;
let Json.346 : List U8 = CallByName List.4 Json.348 Json.349;
let Json.347 : {} = Struct {};
let Json.113 : List U8 = CallByName Encode.23 Json.346 Json.112 Json.347;
joinpoint Json.341 Json.114:
let Json.339 : U64 = 1i64;
let Json.338 : U64 = CallByName Num.20 Json.110 Json.339;
let Json.337 : {List U8, U64} = Struct {Json.114, Json.338};
ret Json.337;
in
let Json.133 : U64 = 1i64;
let Json.130 : Int1 = CallByName Num.24 Json.88 Json.133;
if Json.130 then
let Json.132 : I32 = 44i64;
let Json.131 : U8 = CallByName Num.123 Json.132;
let Json.128 : List U8 = CallByName List.4 Json.91 Json.131;
jump Json.129 Json.128;
let Json.345 : U64 = 1i64;
let Json.342 : Int1 = CallByName Num.24 Json.110 Json.345;
if Json.342 then
let Json.344 : I32 = 44i64;
let Json.343 : U8 = CallByName Num.123 Json.344;
let Json.340 : List U8 = CallByName List.4 Json.113 Json.343;
jump Json.341 Json.340;
else
jump Json.129 Json.91;
jump Json.341 Json.113;
procedure Json.18 (Json.86):
let Json.326 : {Str} = Struct {Json.86};
let Json.325 : {Str} = CallByName Encode.22 Json.326;
ret Json.325;
procedure Json.20 (Json.102):
let Json.320 : {List {Str, {Str}}} = Struct {Json.102};
let Json.319 : {List {Str, {Str}}} = CallByName Encode.22 Json.320;
ret Json.319;
procedure Json.87 (Json.88, Json.324, #Attr.12):
let Json.86 : Str = StructAtIndex 0 #Attr.12;
inc Json.86;
dec #Attr.12;
let Json.369 : I32 = 34i64;
let Json.368 : U8 = CallByName Num.123 Json.369;
let Json.366 : List U8 = CallByName List.4 Json.88 Json.368;
let Json.367 : List U8 = CallByName Str.12 Json.86;
let Json.363 : List U8 = CallByName List.8 Json.366 Json.367;
let Json.365 : I32 = 34i64;
let Json.364 : U8 = CallByName Num.123 Json.365;
let Json.362 : List U8 = CallByName List.4 Json.363 Json.364;
ret Json.362;
procedure List.133 (List.134, List.135, #Attr.12):
let List.132 : {} = StructAtIndex 0 #Attr.12;
let List.441 : {List U8, U64} = CallByName Json.83 List.134 List.135;
let List.441 : {List U8, U64} = CallByName Json.105 List.134 List.135;
let List.440 : [C [], C {List U8, U64}] = TagId(1) List.441;
ret List.440;

40
crates/compiler/test_mono/generated/encode_derived_string.txt
View file

@ -2,37 +2,37 @@ procedure Encode.22 (Encode.93):
ret Encode.93;
procedure Encode.23 (Encode.94, Encode.102, Encode.96):
let Encode.106 : List U8 = CallByName Json.65 Encode.94 Encode.96 Encode.102;
let Encode.106 : List U8 = CallByName Json.87 Encode.94 Encode.96 Encode.102;
ret Encode.106;
procedure Encode.25 (Encode.100, Encode.101):
let Encode.104 : List U8 = Array [];
let Encode.105 : {Str} = CallByName Json.17 Encode.100;
let Encode.105 : {Str} = CallByName Json.18 Encode.100;
let Encode.103 : List U8 = CallByName Encode.23 Encode.104 Encode.105 Encode.101;
ret Encode.103;
procedure Json.1 ():
let Json.106 : {} = Struct {};
ret Json.106;
let Json.318 : {} = Struct {};
ret Json.318;
procedure Json.17 (Json.64):
let Json.108 : {Str} = Struct {Json.64};
let Json.107 : {Str} = CallByName Encode.22 Json.108;
ret Json.107;
procedure Json.18 (Json.86):
let Json.320 : {Str} = Struct {Json.86};
let Json.319 : {Str} = CallByName Encode.22 Json.320;
ret Json.319;
procedure Json.65 (Json.66, Json.109, #Attr.12):
let Json.64 : Str = StructAtIndex 0 #Attr.12;
inc Json.64;
procedure Json.87 (Json.88, Json.321, #Attr.12):
let Json.86 : Str = StructAtIndex 0 #Attr.12;
inc Json.86;
dec #Attr.12;
let Json.118 : I32 = 34i64;
let Json.117 : U8 = CallByName Num.123 Json.118;
let Json.115 : List U8 = CallByName List.4 Json.66 Json.117;
let Json.116 : List U8 = CallByName Str.12 Json.64;
let Json.112 : List U8 = CallByName List.8 Json.115 Json.116;
let Json.114 : I32 = 34i64;
let Json.113 : U8 = CallByName Num.123 Json.114;
let Json.111 : List U8 = CallByName List.4 Json.112 Json.113;
ret Json.111;
let Json.330 : I32 = 34i64;
let Json.329 : U8 = CallByName Num.123 Json.330;
let Json.327 : List U8 = CallByName List.4 Json.88 Json.329;
let Json.328 : List U8 = CallByName Str.12 Json.86;
let Json.324 : List U8 = CallByName List.8 Json.327 Json.328;
let Json.326 : I32 = 34i64;
let Json.325 : U8 = CallByName Num.123 Json.326;
let Json.323 : List U8 = CallByName List.4 Json.324 Json.325;
ret Json.323;
procedure List.4 (List.101, List.102):
let List.392 : U64 = 1i64;

176
crates/compiler/test_mono/generated/encode_derived_tag_one_field_string.txt
View file

@ -12,9 +12,9 @@ procedure #Derived.3 (#Derived.4, #Derived.5, #Attr.12):
ret #Derived_gen.3;
in
let #Derived_gen.7 : Str = "A";
let #Derived_gen.9 : {Str} = CallByName Json.17 #Derived.1;
let #Derived_gen.9 : {Str} = CallByName Json.18 #Derived.1;
let #Derived_gen.8 : List {Str} = Array [#Derived_gen.9];
let #Derived_gen.6 : {Str, List {Str}} = CallByName Json.20 #Derived_gen.7 #Derived_gen.8;
let #Derived_gen.6 : {Str, List {Str}} = CallByName Json.21 #Derived_gen.7 #Derived_gen.8;
jump #Derived_gen.5 #Derived_gen.6;
procedure Encode.22 (Encode.93):
@ -31,11 +31,11 @@ procedure Encode.23 (Encode.94, Encode.102, Encode.96):
ret Encode.106;
procedure Encode.23 (Encode.94, Encode.102, Encode.96):
let Encode.113 : List U8 = CallByName Json.95 Encode.94 Encode.96 Encode.102;
let Encode.113 : List U8 = CallByName Json.117 Encode.94 Encode.96 Encode.102;
ret Encode.113;
procedure Encode.23 (Encode.94, Encode.102, Encode.96):
let Encode.116 : List U8 = CallByName Json.65 Encode.94 Encode.96 Encode.102;
let Encode.116 : List U8 = CallByName Json.87 Encode.94 Encode.96 Encode.102;
ret Encode.116;
procedure Encode.25 (Encode.100, Encode.101):
@ -45,98 +45,98 @@ procedure Encode.25 (Encode.100, Encode.101):
ret Encode.103;
procedure Json.1 ():
let Json.106 : {} = Struct {};
ret Json.106;
let Json.318 : {} = Struct {};
ret Json.318;
procedure Json.17 (Json.64):
let Json.111 : {Str} = Struct {Json.64};
let Json.110 : {Str} = CallByName Encode.22 Json.111;
ret Json.110;
procedure Json.20 (Json.93, Json.94):
let Json.108 : {Str, List {Str}} = Struct {Json.93, Json.94};
let Json.107 : {Str, List {Str}} = CallByName Encode.22 Json.108;
ret Json.107;
procedure Json.65 (Json.66, Json.112, #Attr.12):
let Json.64 : Str = StructAtIndex 0 #Attr.12;
inc Json.64;
procedure Json.117 (Json.118, Json.321, #Attr.12):
let Json.116 : List {Str} = StructAtIndex 1 #Attr.12;
inc Json.116;
let Json.115 : Str = StructAtIndex 0 #Attr.12;
inc Json.115;
dec #Attr.12;
let Json.159 : I32 = 34i64;
let Json.158 : U8 = CallByName Num.123 Json.159;
let Json.156 : List U8 = CallByName List.4 Json.66 Json.158;
let Json.157 : List U8 = CallByName Str.12 Json.64;
let Json.153 : List U8 = CallByName List.8 Json.156 Json.157;
let Json.155 : I32 = 34i64;
let Json.154 : U8 = CallByName Num.123 Json.155;
let Json.152 : List U8 = CallByName List.4 Json.153 Json.154;
ret Json.152;
let Json.362 : I32 = 123i64;
let Json.361 : U8 = CallByName Num.123 Json.362;
let Json.358 : List U8 = CallByName List.4 Json.118 Json.361;
let Json.360 : I32 = 34i64;
let Json.359 : U8 = CallByName Num.123 Json.360;
let Json.356 : List U8 = CallByName List.4 Json.358 Json.359;
let Json.357 : List U8 = CallByName Str.12 Json.115;
let Json.353 : List U8 = CallByName List.8 Json.356 Json.357;
let Json.355 : I32 = 34i64;
let Json.354 : U8 = CallByName Num.123 Json.355;
let Json.350 : List U8 = CallByName List.4 Json.353 Json.354;
let Json.352 : I32 = 58i64;
let Json.351 : U8 = CallByName Num.123 Json.352;
let Json.347 : List U8 = CallByName List.4 Json.350 Json.351;
let Json.349 : I32 = 91i64;
let Json.348 : U8 = CallByName Num.123 Json.349;
let Json.120 : List U8 = CallByName List.4 Json.347 Json.348;
let Json.346 : U64 = CallByName List.6 Json.116;
let Json.334 : {List U8, U64} = Struct {Json.120, Json.346};
let Json.335 : {} = Struct {};
let Json.333 : {List U8, U64} = CallByName List.18 Json.116 Json.334 Json.335;
dec Json.116;
let Json.122 : List U8 = StructAtIndex 0 Json.333;
inc Json.122;
dec Json.333;
let Json.332 : I32 = 93i64;
let Json.331 : U8 = CallByName Num.123 Json.332;
let Json.328 : List U8 = CallByName List.4 Json.122 Json.331;
let Json.330 : I32 = 125i64;
let Json.329 : U8 = CallByName Num.123 Json.330;
let Json.327 : List U8 = CallByName List.4 Json.328 Json.329;
ret Json.327;
procedure Json.95 (Json.96, Json.109, #Attr.12):
let Json.94 : List {Str} = StructAtIndex 1 #Attr.12;
inc Json.94;
let Json.93 : Str = StructAtIndex 0 #Attr.12;
inc Json.93;
dec #Attr.12;
let Json.150 : I32 = 123i64;
let Json.149 : U8 = CallByName Num.123 Json.150;
let Json.146 : List U8 = CallByName List.4 Json.96 Json.149;
let Json.148 : I32 = 34i64;
let Json.147 : U8 = CallByName Num.123 Json.148;
let Json.144 : List U8 = CallByName List.4 Json.146 Json.147;
let Json.145 : List U8 = CallByName Str.12 Json.93;
let Json.141 : List U8 = CallByName List.8 Json.144 Json.145;
let Json.143 : I32 = 34i64;
let Json.142 : U8 = CallByName Num.123 Json.143;
let Json.138 : List U8 = CallByName List.4 Json.141 Json.142;
let Json.140 : I32 = 58i64;
let Json.139 : U8 = CallByName Num.123 Json.140;
let Json.135 : List U8 = CallByName List.4 Json.138 Json.139;
let Json.137 : I32 = 91i64;
let Json.136 : U8 = CallByName Num.123 Json.137;
let Json.98 : List U8 = CallByName List.4 Json.135 Json.136;
let Json.134 : U64 = CallByName List.6 Json.94;
let Json.122 : {List U8, U64} = Struct {Json.98, Json.134};
let Json.123 : {} = Struct {};
let Json.121 : {List U8, U64} = CallByName List.18 Json.94 Json.122 Json.123;
dec Json.94;
let Json.100 : List U8 = StructAtIndex 0 Json.121;
inc Json.100;
dec Json.121;
let Json.120 : I32 = 93i64;
let Json.119 : U8 = CallByName Num.123 Json.120;
let Json.116 : List U8 = CallByName List.4 Json.100 Json.119;
let Json.118 : I32 = 125i64;
let Json.117 : U8 = CallByName Num.123 Json.118;
let Json.115 : List U8 = CallByName List.4 Json.116 Json.117;
ret Json.115;
procedure Json.97 (Json.114, Json.103):
let Json.101 : List U8 = StructAtIndex 0 Json.114;
inc Json.101;
let Json.102 : U64 = StructAtIndex 1 Json.114;
dec Json.114;
let Json.133 : {} = Struct {};
let Json.104 : List U8 = CallByName Encode.23 Json.101 Json.103 Json.133;
joinpoint Json.128 Json.105:
let Json.126 : U64 = 1i64;
let Json.125 : U64 = CallByName Num.20 Json.102 Json.126;
let Json.124 : {List U8, U64} = Struct {Json.105, Json.125};
ret Json.124;
procedure Json.119 (Json.326, Json.125):
let Json.123 : List U8 = StructAtIndex 0 Json.326;
inc Json.123;
let Json.124 : U64 = StructAtIndex 1 Json.326;
dec Json.326;
let Json.345 : {} = Struct {};
let Json.126 : List U8 = CallByName Encode.23 Json.123 Json.125 Json.345;
joinpoint Json.340 Json.127:
let Json.338 : U64 = 1i64;
let Json.337 : U64 = CallByName Num.20 Json.124 Json.338;
let Json.336 : {List U8, U64} = Struct {Json.127, Json.337};
ret Json.336;
in
let Json.132 : U64 = 1i64;
let Json.129 : Int1 = CallByName Num.24 Json.102 Json.132;
if Json.129 then
let Json.131 : I32 = 44i64;
let Json.130 : U8 = CallByName Num.123 Json.131;
let Json.127 : List U8 = CallByName List.4 Json.104 Json.130;
jump Json.128 Json.127;
let Json.344 : U64 = 1i64;
let Json.341 : Int1 = CallByName Num.24 Json.124 Json.344;
if Json.341 then
let Json.343 : I32 = 44i64;
let Json.342 : U8 = CallByName Num.123 Json.343;
let Json.339 : List U8 = CallByName List.4 Json.126 Json.342;
jump Json.340 Json.339;
else
jump Json.128 Json.104;
jump Json.340 Json.126;
procedure Json.18 (Json.86):
let Json.323 : {Str} = Struct {Json.86};
let Json.322 : {Str} = CallByName Encode.22 Json.323;
ret Json.322;
procedure Json.21 (Json.115, Json.116):
let Json.320 : {Str, List {Str}} = Struct {Json.115, Json.116};
let Json.319 : {Str, List {Str}} = CallByName Encode.22 Json.320;
ret Json.319;
procedure Json.87 (Json.88, Json.324, #Attr.12):
let Json.86 : Str = StructAtIndex 0 #Attr.12;
inc Json.86;
dec #Attr.12;
let Json.371 : I32 = 34i64;
let Json.370 : U8 = CallByName Num.123 Json.371;
let Json.368 : List U8 = CallByName List.4 Json.88 Json.370;
let Json.369 : List U8 = CallByName Str.12 Json.86;
let Json.365 : List U8 = CallByName List.8 Json.368 Json.369;
let Json.367 : I32 = 34i64;
let Json.366 : U8 = CallByName Num.123 Json.367;
let Json.364 : List U8 = CallByName List.4 Json.365 Json.366;
ret Json.364;
procedure List.133 (List.134, List.135, #Attr.12):
let List.132 : {} = StructAtIndex 0 #Attr.12;
let List.447 : {List U8, U64} = CallByName Json.97 List.134 List.135;
let List.447 : {List U8, U64} = CallByName Json.119 List.134 List.135;
let List.446 : [C [], C {List U8, U64}] = TagId(1) List.447;
ret List.446;

178
crates/compiler/test_mono/generated/encode_derived_tag_two_payloads_string.txt
View file

@ -17,10 +17,10 @@ procedure #Derived.4 (#Derived.5, #Derived.6, #Attr.12):
inc #Derived.3;
dec #Derived.1;
let #Derived_gen.7 : Str = "A";
let #Derived_gen.9 : {Str} = CallByName Json.17 #Derived.2;
let #Derived_gen.10 : {Str} = CallByName Json.17 #Derived.3;
let #Derived_gen.9 : {Str} = CallByName Json.18 #Derived.2;
let #Derived_gen.10 : {Str} = CallByName Json.18 #Derived.3;
let #Derived_gen.8 : List {Str} = Array [#Derived_gen.9, #Derived_gen.10];
let #Derived_gen.6 : {Str, List {Str}} = CallByName Json.20 #Derived_gen.7 #Derived_gen.8;
let #Derived_gen.6 : {Str, List {Str}} = CallByName Json.21 #Derived_gen.7 #Derived_gen.8;
jump #Derived_gen.5 #Derived_gen.6;
procedure Encode.22 (Encode.93):
@ -37,11 +37,11 @@ procedure Encode.23 (Encode.94, Encode.102, Encode.96):
ret Encode.106;
procedure Encode.23 (Encode.94, Encode.102, Encode.96):
let Encode.113 : List U8 = CallByName Json.95 Encode.94 Encode.96 Encode.102;
let Encode.113 : List U8 = CallByName Json.117 Encode.94 Encode.96 Encode.102;
ret Encode.113;
procedure Encode.23 (Encode.94, Encode.102, Encode.96):
let Encode.117 : List U8 = CallByName Json.65 Encode.94 Encode.96 Encode.102;
let Encode.117 : List U8 = CallByName Json.87 Encode.94 Encode.96 Encode.102;
ret Encode.117;
procedure Encode.25 (Encode.100, Encode.101):
@ -51,98 +51,98 @@ procedure Encode.25 (Encode.100, Encode.101):
ret Encode.103;
procedure Json.1 ():
let Json.106 : {} = Struct {};
ret Json.106;
let Json.318 : {} = Struct {};
ret Json.318;
procedure Json.17 (Json.64):
let Json.114 : {Str} = Struct {Json.64};
let Json.113 : {Str} = CallByName Encode.22 Json.114;
ret Json.113;
procedure Json.20 (Json.93, Json.94):
let Json.108 : {Str, List {Str}} = Struct {Json.93, Json.94};
let Json.107 : {Str, List {Str}} = CallByName Encode.22 Json.108;
ret Json.107;
procedure Json.65 (Json.66, Json.112, #Attr.12):
let Json.64 : Str = StructAtIndex 0 #Attr.12;
inc Json.64;
procedure Json.117 (Json.118, Json.321, #Attr.12):
let Json.116 : List {Str} = StructAtIndex 1 #Attr.12;
inc Json.116;
let Json.115 : Str = StructAtIndex 0 #Attr.12;
inc Json.115;
dec #Attr.12;
let Json.162 : I32 = 34i64;
let Json.161 : U8 = CallByName Num.123 Json.162;
let Json.159 : List U8 = CallByName List.4 Json.66 Json.161;
let Json.160 : List U8 = CallByName Str.12 Json.64;
let Json.156 : List U8 = CallByName List.8 Json.159 Json.160;
let Json.158 : I32 = 34i64;
let Json.157 : U8 = CallByName Num.123 Json.158;
let Json.155 : List U8 = CallByName List.4 Json.156 Json.157;
ret Json.155;
let Json.365 : I32 = 123i64;
let Json.364 : U8 = CallByName Num.123 Json.365;
let Json.361 : List U8 = CallByName List.4 Json.118 Json.364;
let Json.363 : I32 = 34i64;
let Json.362 : U8 = CallByName Num.123 Json.363;
let Json.359 : List U8 = CallByName List.4 Json.361 Json.362;
let Json.360 : List U8 = CallByName Str.12 Json.115;
let Json.356 : List U8 = CallByName List.8 Json.359 Json.360;
let Json.358 : I32 = 34i64;
let Json.357 : U8 = CallByName Num.123 Json.358;
let Json.353 : List U8 = CallByName List.4 Json.356 Json.357;
let Json.355 : I32 = 58i64;
let Json.354 : U8 = CallByName Num.123 Json.355;
let Json.350 : List U8 = CallByName List.4 Json.353 Json.354;
let Json.352 : I32 = 91i64;
let Json.351 : U8 = CallByName Num.123 Json.352;
let Json.120 : List U8 = CallByName List.4 Json.350 Json.351;
let Json.349 : U64 = CallByName List.6 Json.116;
let Json.337 : {List U8, U64} = Struct {Json.120, Json.349};
let Json.338 : {} = Struct {};
let Json.336 : {List U8, U64} = CallByName List.18 Json.116 Json.337 Json.338;
dec Json.116;
let Json.122 : List U8 = StructAtIndex 0 Json.336;
inc Json.122;
dec Json.336;
let Json.335 : I32 = 93i64;
let Json.334 : U8 = CallByName Num.123 Json.335;
let Json.331 : List U8 = CallByName List.4 Json.122 Json.334;
let Json.333 : I32 = 125i64;
let Json.332 : U8 = CallByName Num.123 Json.333;
let Json.330 : List U8 = CallByName List.4 Json.331 Json.332;
ret Json.330;
procedure Json.95 (Json.96, Json.109, #Attr.12):
let Json.94 : List {Str} = StructAtIndex 1 #Attr.12;
inc Json.94;
let Json.93 : Str = StructAtIndex 0 #Attr.12;
inc Json.93;
dec #Attr.12;
let Json.153 : I32 = 123i64;
let Json.152 : U8 = CallByName Num.123 Json.153;
let Json.149 : List U8 = CallByName List.4 Json.96 Json.152;
let Json.151 : I32 = 34i64;
let Json.150 : U8 = CallByName Num.123 Json.151;
let Json.147 : List U8 = CallByName List.4 Json.149 Json.150;
let Json.148 : List U8 = CallByName Str.12 Json.93;
let Json.144 : List U8 = CallByName List.8 Json.147 Json.148;
let Json.146 : I32 = 34i64;
let Json.145 : U8 = CallByName Num.123 Json.146;
let Json.141 : List U8 = CallByName List.4 Json.144 Json.145;
let Json.143 : I32 = 58i64;
let Json.142 : U8 = CallByName Num.123 Json.143;
let Json.138 : List U8 = CallByName List.4 Json.141 Json.142;
let Json.140 : I32 = 91i64;
let Json.139 : U8 = CallByName Num.123 Json.140;
let Json.98 : List U8 = CallByName List.4 Json.138 Json.139;
let Json.137 : U64 = CallByName List.6 Json.94;
let Json.125 : {List U8, U64} = Struct {Json.98, Json.137};
let Json.126 : {} = Struct {};
let Json.124 : {List U8, U64} = CallByName List.18 Json.94 Json.125 Json.126;
dec Json.94;
let Json.100 : List U8 = StructAtIndex 0 Json.124;
inc Json.100;
dec Json.124;
let Json.123 : I32 = 93i64;
let Json.122 : U8 = CallByName Num.123 Json.123;
let Json.119 : List U8 = CallByName List.4 Json.100 Json.122;
let Json.121 : I32 = 125i64;
let Json.120 : U8 = CallByName Num.123 Json.121;
let Json.118 : List U8 = CallByName List.4 Json.119 Json.120;
ret Json.118;
procedure Json.97 (Json.117, Json.103):
let Json.101 : List U8 = StructAtIndex 0 Json.117;
inc Json.101;
let Json.102 : U64 = StructAtIndex 1 Json.117;
dec Json.117;
let Json.136 : {} = Struct {};
let Json.104 : List U8 = CallByName Encode.23 Json.101 Json.103 Json.136;
joinpoint Json.131 Json.105:
let Json.129 : U64 = 1i64;
let Json.128 : U64 = CallByName Num.20 Json.102 Json.129;
let Json.127 : {List U8, U64} = Struct {Json.105, Json.128};
ret Json.127;
procedure Json.119 (Json.329, Json.125):
let Json.123 : List U8 = StructAtIndex 0 Json.329;
inc Json.123;
let Json.124 : U64 = StructAtIndex 1 Json.329;
dec Json.329;
let Json.348 : {} = Struct {};
let Json.126 : List U8 = CallByName Encode.23 Json.123 Json.125 Json.348;
joinpoint Json.343 Json.127:
let Json.341 : U64 = 1i64;
let Json.340 : U64 = CallByName Num.20 Json.124 Json.341;
let Json.339 : {List U8, U64} = Struct {Json.127, Json.340};
ret Json.339;
in
let Json.135 : U64 = 1i64;
let Json.132 : Int1 = CallByName Num.24 Json.102 Json.135;
if Json.132 then
let Json.134 : I32 = 44i64;
let Json.133 : U8 = CallByName Num.123 Json.134;
let Json.130 : List U8 = CallByName List.4 Json.104 Json.133;
jump Json.131 Json.130;
let Json.347 : U64 = 1i64;
let Json.344 : Int1 = CallByName Num.24 Json.124 Json.347;
if Json.344 then
let Json.346 : I32 = 44i64;
let Json.345 : U8 = CallByName Num.123 Json.346;
let Json.342 : List U8 = CallByName List.4 Json.126 Json.345;
jump Json.343 Json.342;
else
jump Json.131 Json.104;
jump Json.343 Json.126;
procedure Json.18 (Json.86):
let Json.326 : {Str} = Struct {Json.86};
let Json.325 : {Str} = CallByName Encode.22 Json.326;
ret Json.325;
procedure Json.21 (Json.115, Json.116):
let Json.320 : {Str, List {Str}} = Struct {Json.115, Json.116};
let Json.319 : {Str, List {Str}} = CallByName Encode.22 Json.320;
ret Json.319;
procedure Json.87 (Json.88, Json.324, #Attr.12):
let Json.86 : Str = StructAtIndex 0 #Attr.12;
inc Json.86;
dec #Attr.12;
let Json.374 : I32 = 34i64;
let Json.373 : U8 = CallByName Num.123 Json.374;
let Json.371 : List U8 = CallByName List.4 Json.88 Json.373;
let Json.372 : List U8 = CallByName Str.12 Json.86;
let Json.368 : List U8 = CallByName List.8 Json.371 Json.372;
let Json.370 : I32 = 34i64;
let Json.369 : U8 = CallByName Num.123 Json.370;
let Json.367 : List U8 = CallByName List.4 Json.368 Json.369;
ret Json.367;
procedure List.133 (List.134, List.135, #Attr.12):
let List.132 : {} = StructAtIndex 0 #Attr.12;
let List.447 : {List U8, U64} = CallByName Json.97 List.134 List.135;
let List.447 : {List U8, U64} = CallByName Json.119 List.134 List.135;
let List.446 : [C [], C {List U8, U64}] = TagId(1) List.447;
ret List.446;