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

Update mono tests

Browse source
This commit is contained in:
Richard Feldman 2022-07-13 12:05:43 -04:00
parent e744cd2a33
commit 2efb605d68
No known key found for this signature in database
GPG key ID: 7E4127D1E4241798
14 changed files with 98 additions and 98 deletions
Download patch file Download diff file Expand all files Collapse all files

8
crates/compiler/test_mono/generated/dict.txt
View file

@ -1,11 +1,11 @@
procedure Dict.1 ():
let Dict.25 : Dict [] [] = lowlevel DictEmpty ;
ret Dict.25;
let Dict.26 : Dict [] [] = lowlevel DictEmpty ;
ret Dict.26;
procedure Dict.7 (#Attr.2):
let Dict.24 : U64 = lowlevel DictSize #Attr.2;
let Dict.25 : U64 = lowlevel DictSize #Attr.2;
dec #Attr.2;
ret Dict.24;
ret Dict.25;
procedure Test.0 ():
let Test.2 : Dict [] [] = CallByName Dict.1;

8
crates/compiler/test_mono/generated/empty_list_of_function_type.txt
View file

@ -1,8 +1,8 @@
procedure List.2 (List.78, List.79):
let List.300 : U64 = CallByName List.6 List.78;
let List.297 : Int1 = CallByName Num.22 List.79 List.300;
procedure List.2 (List.79, List.80):
let List.300 : U64 = CallByName List.6 List.79;
let List.297 : Int1 = CallByName Num.22 List.80 List.300;
if List.297 then
let List.299 : {} = CallByName List.60 List.78 List.79;
let List.299 : {} = CallByName List.60 List.79 List.80;
let List.298 : [C {}, C {}] = TagId(1) List.299;
ret List.298;
else

6
crates/compiler/test_mono/generated/encode.txt
View file

@ -1,7 +1,7 @@
procedure List.4 (List.89, List.90):
procedure List.4 (List.90, List.91):
let List.297 : U64 = 1i64;
let List.296 : List U8 = CallByName List.65 List.89 List.297;
let List.295 : List U8 = CallByName List.66 List.296 List.90;
let List.296 : List U8 = CallByName List.65 List.90 List.297;
let List.295 : List U8 = CallByName List.66 List.296 List.91;
ret List.295;
procedure List.65 (#Attr.2, #Attr.3):

50
crates/compiler/test_mono/generated/issue_2583_specialize_errors_behind_unified_branches.txt
View file

@ -2,11 +2,11 @@ procedure Bool.7 (#Attr.2, #Attr.3):
let Bool.9 : Int1 = lowlevel Eq #Attr.2 #Attr.3;
ret Bool.9;
procedure List.2 (List.78, List.79):
let List.309 : U64 = CallByName List.6 List.78;
let List.305 : Int1 = CallByName Num.22 List.79 List.309;
procedure List.2 (List.79, List.80):
let List.309 : U64 = CallByName List.6 List.79;
let List.305 : Int1 = CallByName Num.22 List.80 List.309;
if List.305 then
let List.307 : I64 = CallByName List.60 List.78 List.79;
let List.307 : I64 = CallByName List.60 List.79 List.80;
let List.306 : [C {}, C I64] = TagId(1) List.307;
ret List.306;
else
@ -22,15 +22,15 @@ procedure List.60 (#Attr.2, #Attr.3):
let List.308 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.308;
procedure List.9 (List.206):
procedure List.9 (List.207):
let List.302 : U64 = 0i64;
let List.295 : [C {}, C I64] = CallByName List.2 List.206 List.302;
let List.295 : [C {}, C I64] = CallByName List.2 List.207 List.302;
let List.299 : U8 = 1i64;
let List.300 : U8 = GetTagId List.295;
let List.301 : Int1 = lowlevel Eq List.299 List.300;
if List.301 then
let List.207 : I64 = UnionAtIndex (Id 1) (Index 0) List.295;
let List.296 : [C Int1, C I64] = TagId(1) List.207;
let List.208 : I64 = UnionAtIndex (Id 1) (Index 0) List.295;
let List.296 : [C Int1, C I64] = TagId(1) List.208;
ret List.296;
else
let List.298 : Int1 = true;
@ -41,27 +41,27 @@ procedure Num.22 (#Attr.2, #Attr.3):
let Num.257 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;
ret Num.257;
procedure Str.27 (Str.88):
let Str.194 : [C Int1, C I64] = CallByName Str.67 Str.88;
ret Str.194;
procedure Str.27 (Str.89):
let Str.195 : [C Int1, C I64] = CallByName Str.68 Str.89;
ret Str.195;
procedure Str.47 (#Attr.2):
let Str.202 : {I64, U8} = lowlevel StrToNum #Attr.2;
ret Str.202;
let Str.203 : {I64, U8} = lowlevel StrToNum #Attr.2;
ret Str.203;
procedure Str.67 (Str.189):
let Str.190 : {I64, U8} = CallByName Str.47 Str.189;
let Str.200 : U8 = StructAtIndex 1 Str.190;
let Str.201 : U8 = 0i64;
let Str.197 : Int1 = CallByName Bool.7 Str.200 Str.201;
if Str.197 then
let Str.199 : I64 = StructAtIndex 0 Str.190;
let Str.198 : [C Int1, C I64] = TagId(1) Str.199;
ret Str.198;
procedure Str.68 (Str.190):
let Str.191 : {I64, U8} = CallByName Str.47 Str.190;
let Str.201 : U8 = StructAtIndex 1 Str.191;
let Str.202 : U8 = 0i64;
let Str.198 : Int1 = CallByName Bool.7 Str.201 Str.202;
if Str.198 then
let Str.200 : I64 = StructAtIndex 0 Str.191;
let Str.199 : [C Int1, C I64] = TagId(1) Str.200;
ret Str.199;
else
let Str.196 : Int1 = false;
let Str.195 : [C Int1, C I64] = TagId(0) Str.196;
ret Str.195;
let Str.197 : Int1 = false;
let Str.196 : [C Int1, C I64] = TagId(0) Str.197;
ret Str.196;
procedure Test.0 ():
let Test.4 : Int1 = true;

6
crates/compiler/test_mono/generated/list_append.txt
View file

@ -1,7 +1,7 @@
procedure List.4 (List.89, List.90):
procedure List.4 (List.90, List.91):
let List.297 : U64 = 1i64;
let List.296 : List I64 = CallByName List.65 List.89 List.297;
let List.295 : List I64 = CallByName List.66 List.296 List.90;
let List.296 : List I64 = CallByName List.65 List.90 List.297;
let List.295 : List I64 = CallByName List.66 List.296 List.91;
ret List.295;
procedure List.65 (#Attr.2, #Attr.3):

6
crates/compiler/test_mono/generated/list_append_closure.txt
View file

@ -1,7 +1,7 @@
procedure List.4 (List.89, List.90):
procedure List.4 (List.90, List.91):
let List.297 : U64 = 1i64;
let List.296 : List I64 = CallByName List.65 List.89 List.297;
let List.295 : List I64 = CallByName List.66 List.296 List.90;
let List.296 : List I64 = CallByName List.65 List.90 List.297;
let List.295 : List I64 = CallByName List.66 List.296 List.91;
ret List.295;
procedure List.65 (#Attr.2, #Attr.3):

14
crates/compiler/test_mono/generated/list_cannot_update_inplace.txt
View file

@ -1,18 +1,18 @@
procedure List.3 (List.86, List.87, List.88):
let List.298 : {List I64, I64} = CallByName List.57 List.86 List.87 List.88;
procedure List.3 (List.87, List.88, List.89):
let List.298 : {List I64, I64} = CallByName List.57 List.87 List.88 List.89;
let List.297 : List I64 = StructAtIndex 0 List.298;
inc List.297;
dec List.298;
ret List.297;
procedure List.57 (List.83, List.84, List.85):
let List.303 : U64 = CallByName List.6 List.83;
let List.300 : Int1 = CallByName Num.22 List.84 List.303;
procedure List.57 (List.84, List.85, List.86):
let List.303 : U64 = CallByName List.6 List.84;
let List.300 : Int1 = CallByName Num.22 List.85 List.303;
if List.300 then
let List.301 : {List I64, I64} = CallByName List.61 List.83 List.84 List.85;
let List.301 : {List I64, I64} = CallByName List.61 List.84 List.85 List.86;
ret List.301;
else
let List.299 : {List I64, I64} = Struct {List.83, List.85};
let List.299 : {List I64, I64} = Struct {List.84, List.86};
ret List.299;
procedure List.6 (#Attr.2):

8
crates/compiler/test_mono/generated/list_get.txt
View file

@ -1,8 +1,8 @@
procedure List.2 (List.78, List.79):
let List.300 : U64 = CallByName List.6 List.78;
let List.297 : Int1 = CallByName Num.22 List.79 List.300;
procedure List.2 (List.79, List.80):
let List.300 : U64 = CallByName List.6 List.79;
let List.297 : Int1 = CallByName Num.22 List.80 List.300;
if List.297 then
let List.299 : I64 = CallByName List.60 List.78 List.79;
let List.299 : I64 = CallByName List.60 List.79 List.80;
let List.298 : [C {}, C I64] = TagId(1) List.299;
ret List.298;
else

16
crates/compiler/test_mono/generated/list_map_closure_borrows.txt
View file

@ -1,8 +1,8 @@
procedure List.2 (List.78, List.79):
let List.300 : U64 = CallByName List.6 List.78;
let List.297 : Int1 = CallByName Num.22 List.79 List.300;
procedure List.2 (List.79, List.80):
let List.300 : U64 = CallByName List.6 List.79;
let List.297 : Int1 = CallByName Num.22 List.80 List.300;
if List.297 then
let List.299 : Str = CallByName List.60 List.78 List.79;
let List.299 : Str = CallByName List.60 List.79 List.80;
let List.298 : [C {}, C Str] = TagId(1) List.299;
ret List.298;
else
@ -27,12 +27,12 @@ procedure Num.22 (#Attr.2, #Attr.3):
ret Num.257;
procedure Str.16 (#Attr.2, #Attr.3):
let Str.194 : Str = lowlevel StrRepeat #Attr.2 #Attr.3;
ret Str.194;
let Str.195 : Str = lowlevel StrRepeat #Attr.2 #Attr.3;
ret Str.195;
procedure Str.3 (#Attr.2, #Attr.3):
let Str.195 : Str = lowlevel StrConcat #Attr.2 #Attr.3;
ret Str.195;
let Str.196 : Str = lowlevel StrConcat #Attr.2 #Attr.3;
ret Str.196;
procedure Test.1 ():
let Test.21 : Str = "lllllllllllllllllllllooooooooooong";

12
crates/compiler/test_mono/generated/list_map_closure_owns.txt
View file

@ -1,8 +1,8 @@
procedure List.2 (List.78, List.79):
let List.300 : U64 = CallByName List.6 List.78;
let List.297 : Int1 = CallByName Num.22 List.79 List.300;
procedure List.2 (List.79, List.80):
let List.300 : U64 = CallByName List.6 List.79;
let List.297 : Int1 = CallByName Num.22 List.80 List.300;
if List.297 then
let List.299 : Str = CallByName List.60 List.78 List.79;
let List.299 : Str = CallByName List.60 List.79 List.80;
let List.298 : [C {}, C Str] = TagId(1) List.299;
ret List.298;
else
@ -29,8 +29,8 @@ procedure Num.22 (#Attr.2, #Attr.3):
ret Num.257;
procedure Str.3 (#Attr.2, #Attr.3):
let Str.195 : Str = lowlevel StrConcat #Attr.2 #Attr.3;
ret Str.195;
let Str.196 : Str = lowlevel StrConcat #Attr.2 #Attr.3;
ret Str.196;
procedure Test.1 ():
let Test.21 : Str = "lllllllllllllllllllllooooooooooong";

14
crates/compiler/test_mono/generated/list_pass_to_function.txt
View file

@ -1,18 +1,18 @@
procedure List.3 (List.86, List.87, List.88):
let List.296 : {List I64, I64} = CallByName List.57 List.86 List.87 List.88;
procedure List.3 (List.87, List.88, List.89):
let List.296 : {List I64, I64} = CallByName List.57 List.87 List.88 List.89;
let List.295 : List I64 = StructAtIndex 0 List.296;
inc List.295;
dec List.296;
ret List.295;
procedure List.57 (List.83, List.84, List.85):
let List.301 : U64 = CallByName List.6 List.83;
let List.298 : Int1 = CallByName Num.22 List.84 List.301;
procedure List.57 (List.84, List.85, List.86):
let List.301 : U64 = CallByName List.6 List.84;
let List.298 : Int1 = CallByName Num.22 List.85 List.301;
if List.298 then
let List.299 : {List I64, I64} = CallByName List.61 List.83 List.84 List.85;
let List.299 : {List I64, I64} = CallByName List.61 List.84 List.85 List.86;
ret List.299;
else
let List.297 : {List I64, I64} = Struct {List.83, List.85};
let List.297 : {List I64, I64} = Struct {List.84, List.86};
ret List.297;
procedure List.6 (#Attr.2):

4
crates/compiler/test_mono/generated/list_sort_asc.txt
View file

@ -7,9 +7,9 @@ procedure List.28 (#Attr.2, #Attr.3):
decref #Attr.2;
ret List.297;
procedure List.54 (List.201):
procedure List.54 (List.202):
let List.296 : {} = Struct {};
let List.295 : List I64 = CallByName List.28 List.201 List.296;
let List.295 : List I64 = CallByName List.28 List.202 List.296;
ret List.295;
procedure Num.46 (#Attr.2, #Attr.3):

22
crates/compiler/test_mono/generated/quicksort_swap.txt
View file

@ -1,8 +1,8 @@
procedure List.2 (List.78, List.79):
let List.310 : U64 = CallByName List.6 List.78;
let List.307 : Int1 = CallByName Num.22 List.79 List.310;
procedure List.2 (List.79, List.80):
let List.310 : U64 = CallByName List.6 List.79;
let List.307 : Int1 = CallByName Num.22 List.80 List.310;
if List.307 then
let List.309 : I64 = CallByName List.60 List.78 List.79;
let List.309 : I64 = CallByName List.60 List.79 List.80;
let List.308 : [C {}, C I64] = TagId(1) List.309;
ret List.308;
else
@ -10,21 +10,21 @@ procedure List.2 (List.78, List.79):
let List.305 : [C {}, C I64] = TagId(0) List.306;
ret List.305;
procedure List.3 (List.86, List.87, List.88):
let List.298 : {List I64, I64} = CallByName List.57 List.86 List.87 List.88;
procedure List.3 (List.87, List.88, List.89):
let List.298 : {List I64, I64} = CallByName List.57 List.87 List.88 List.89;
let List.297 : List I64 = StructAtIndex 0 List.298;
inc List.297;
dec List.298;
ret List.297;
procedure List.57 (List.83, List.84, List.85):
let List.315 : U64 = CallByName List.6 List.83;
let List.312 : Int1 = CallByName Num.22 List.84 List.315;
procedure List.57 (List.84, List.85, List.86):
let List.315 : U64 = CallByName List.6 List.84;
let List.312 : Int1 = CallByName Num.22 List.85 List.315;
if List.312 then
let List.313 : {List I64, I64} = CallByName List.61 List.83 List.84 List.85;
let List.313 : {List I64, I64} = CallByName List.61 List.84 List.85 List.86;
ret List.313;
else
let List.311 : {List I64, I64} = Struct {List.83, List.85};
let List.311 : {List I64, I64} = Struct {List.84, List.86};
ret List.311;
procedure List.6 (#Attr.2):

22
crates/compiler/test_mono/generated/rigids.txt
View file

@ -1,8 +1,8 @@
procedure List.2 (List.78, List.79):
let List.310 : U64 = CallByName List.6 List.78;
let List.307 : Int1 = CallByName Num.22 List.79 List.310;
procedure List.2 (List.79, List.80):
let List.310 : U64 = CallByName List.6 List.79;
let List.307 : Int1 = CallByName Num.22 List.80 List.310;
if List.307 then
let List.309 : I64 = CallByName List.60 List.78 List.79;
let List.309 : I64 = CallByName List.60 List.79 List.80;
let List.308 : [C {}, C I64] = TagId(1) List.309;
ret List.308;
else
@ -10,21 +10,21 @@ procedure List.2 (List.78, List.79):
let List.305 : [C {}, C I64] = TagId(0) List.306;
ret List.305;
procedure List.3 (List.86, List.87, List.88):
let List.298 : {List I64, I64} = CallByName List.57 List.86 List.87 List.88;
procedure List.3 (List.87, List.88, List.89):
let List.298 : {List I64, I64} = CallByName List.57 List.87 List.88 List.89;
let List.297 : List I64 = StructAtIndex 0 List.298;
inc List.297;
dec List.298;
ret List.297;
procedure List.57 (List.83, List.84, List.85):
let List.315 : U64 = CallByName List.6 List.83;
let List.312 : Int1 = CallByName Num.22 List.84 List.315;
procedure List.57 (List.84, List.85, List.86):
let List.315 : U64 = CallByName List.6 List.84;
let List.312 : Int1 = CallByName Num.22 List.85 List.315;
if List.312 then
let List.313 : {List I64, I64} = CallByName List.61 List.83 List.84 List.85;
let List.313 : {List I64, I64} = CallByName List.61 List.84 List.85 List.86;
ret List.313;
else
let List.311 : {List I64, I64} = Struct {List.83, List.85};
let List.311 : {List I64, I64} = Struct {List.84, List.86};
ret List.311;
procedure List.6 (#Attr.2):