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

update mono tests

Browse Source
This commit is contained in:
Folkert 2022-05-05 21:26:51 +02:00
parent df9b5bd0f5
commit fbbc31855d
No known key found for this signature in database
GPG Key ID: 1F17F6FFD112B97C
4 changed files with 56 additions and 56 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
compiler/test_mono/generated/list_cannot_update_inplace.txt
View File

@ -6,14 +6,14 @@ procedure List.3 (List.63, List.64, List.65):
ret List.141;
procedure List.57 (#Attr.2, #Attr.3, #Attr.4):
let List.146 : U64 = lowlevel ListLen #Attr.2;
let List.144 : Int1 = lowlevel NumLt #Attr.3 List.146;
if List.144 then
let List.145 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.145;
let List.147 : U64 = lowlevel ListLen #Attr.2;
let List.145 : Int1 = lowlevel NumLt #Attr.3 List.147;
if List.145 then
let List.146 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.146;
else
let List.143 : {List I64, I64} = Struct {#Attr.2, #Attr.4};
ret List.143;
let List.144 : {List I64, I64} = Struct {#Attr.2, #Attr.4};
ret List.144;
procedure List.6 (#Attr.2):
let List.140 : U64 = lowlevel ListLen #Attr.2;

14
compiler/test_mono/generated/list_pass_to_function.txt
View File

@ -6,14 +6,14 @@ procedure List.3 (List.63, List.64, List.65):
ret List.139;
procedure List.57 (#Attr.2, #Attr.3, #Attr.4):
let List.144 : U64 = lowlevel ListLen #Attr.2;
let List.142 : Int1 = lowlevel NumLt #Attr.3 List.144;
if List.142 then
let List.143 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.143;
let List.145 : U64 = lowlevel ListLen #Attr.2;
let List.143 : Int1 = lowlevel NumLt #Attr.3 List.145;
if List.143 then
let List.144 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.144;
else
let List.141 : {List I64, I64} = Struct {#Attr.2, #Attr.4};
ret List.141;
let List.142 : {List I64, I64} = Struct {#Attr.2, #Attr.4};
ret List.142;
procedure Test.2 (Test.3):
let Test.6 : U64 = 0i64;

42
compiler/test_mono/generated/quicksort_swap.txt
View File

@ -1,31 +1,31 @@
procedure List.2 (#Attr.2, #Attr.3):
let List.154 : U64 = lowlevel ListLen #Attr.2;
let List.151 : Int1 = lowlevel NumLt #Attr.3 List.154;
if List.151 then
let List.153 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
let List.152 : [C {}, C I64] = Ok List.153;
ret List.152;
let List.156 : U64 = lowlevel ListLen #Attr.2;
let List.153 : Int1 = lowlevel NumLt #Attr.3 List.156;
if List.153 then
let List.155 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
let List.154 : [C {}, C I64] = Ok List.155;
ret List.154;
else
let List.150 : {} = Struct {};
let List.149 : [C {}, C I64] = Err List.150;
ret List.149;
let List.152 : {} = Struct {};
let List.151 : [C {}, C I64] = Err List.152;
ret List.151;
procedure List.3 (List.63, List.64, List.65):
let List.142 : {List I64, I64} = CallByName List.57 List.63 List.64 List.65;
let List.141 : List I64 = StructAtIndex 0 List.142;
inc List.141;
dec List.142;
ret List.141;
let List.143 : {List I64, I64} = CallByName List.57 List.63 List.64 List.65;
let List.142 : List I64 = StructAtIndex 0 List.143;
inc List.142;
dec List.143;
ret List.142;
procedure List.57 (#Attr.2, #Attr.3, #Attr.4):
let List.158 : U64 = lowlevel ListLen #Attr.2;
let List.156 : Int1 = lowlevel NumLt #Attr.3 List.158;
if List.156 then
let List.157 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.157;
let List.160 : U64 = lowlevel ListLen #Attr.2;
let List.158 : Int1 = lowlevel NumLt #Attr.3 List.160;
if List.158 then
let List.159 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.159;
else
let List.155 : {List I64, I64} = Struct {#Attr.2, #Attr.4};
ret List.155;
let List.157 : {List I64, I64} = Struct {#Attr.2, #Attr.4};
ret List.157;
procedure Test.1 (Test.2):
let Test.28 : U64 = 0i64;

42
compiler/test_mono/generated/rigids.txt
View File

@ -1,31 +1,31 @@
procedure List.2 (#Attr.2, #Attr.3):
let List.154 : U64 = lowlevel ListLen #Attr.2;
let List.151 : Int1 = lowlevel NumLt #Attr.3 List.154;
if List.151 then
let List.153 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
let List.152 : [C {}, C I64] = Ok List.153;
ret List.152;
let List.156 : U64 = lowlevel ListLen #Attr.2;
let List.153 : Int1 = lowlevel NumLt #Attr.3 List.156;
if List.153 then
let List.155 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
let List.154 : [C {}, C I64] = Ok List.155;
ret List.154;
else
let List.150 : {} = Struct {};
let List.149 : [C {}, C I64] = Err List.150;
ret List.149;
let List.152 : {} = Struct {};
let List.151 : [C {}, C I64] = Err List.152;
ret List.151;
procedure List.3 (List.63, List.64, List.65):
let List.142 : {List I64, I64} = CallByName List.57 List.63 List.64 List.65;
let List.141 : List I64 = StructAtIndex 0 List.142;
inc List.141;
dec List.142;
ret List.141;
let List.143 : {List I64, I64} = CallByName List.57 List.63 List.64 List.65;
let List.142 : List I64 = StructAtIndex 0 List.143;
inc List.142;
dec List.143;
ret List.142;
procedure List.57 (#Attr.2, #Attr.3, #Attr.4):
let List.158 : U64 = lowlevel ListLen #Attr.2;
let List.156 : Int1 = lowlevel NumLt #Attr.3 List.158;
if List.156 then
let List.157 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.157;
let List.160 : U64 = lowlevel ListLen #Attr.2;
let List.158 : Int1 = lowlevel NumLt #Attr.3 List.160;
if List.158 then
let List.159 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.159;
else
let List.155 : {List I64, I64} = Struct {#Attr.2, #Attr.4};
ret List.155;
let List.157 : {List I64, I64} = Struct {#Attr.2, #Attr.4};
ret List.157;
procedure Test.1 (Test.2, Test.3, Test.4):
let Test.29 : [C {}, C I64] = CallByName List.2 Test.4 Test.3;