updated mono tests, fixed earthly dir copy

This commit is contained in:
Anton-4 2022-07-01 19:15:36 +02:00
parent ef68d821f1
commit e4d8c1e88e
No known key found for this signature in database
GPG key ID: C954D6E0F9C0ABFD
17 changed files with 257 additions and 157 deletions

View file

@ -1,6 +1,6 @@
procedure List.6 (#Attr.2):
let List.152 : U64 = lowlevel ListLen #Attr.2;
ret List.152;
let List.162 : U64 = lowlevel ListLen #Attr.2;
ret List.162;
procedure Test.1 (Test.5):
let Test.2 : I64 = 41i64;

View file

@ -1,14 +1,26 @@
procedure List.2 (#Attr.2, #Attr.3):
let List.157 : U64 = lowlevel ListLen #Attr.2;
let List.154 : Int1 = lowlevel NumLt #Attr.3 List.157;
if List.154 then
let List.156 : {} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
let List.155 : [C {}, C {}] = Ok List.156;
ret List.155;
procedure List.2 (List.66, List.67):
let List.168 : U64 = CallByName List.6 List.66;
let List.164 : Int1 = CallByName Num.22 List.67 List.168;
if List.164 then
let List.166 : {} = CallByName List.60 List.66 List.67;
let List.165 : [C {}, C {}] = Ok List.166;
ret List.165;
else
let List.153 : {} = Struct {};
let List.152 : [C {}, C {}] = Err List.153;
ret List.152;
let List.163 : {} = Struct {};
let List.162 : [C {}, C {}] = Err List.163;
ret List.162;
procedure List.6 (#Attr.2):
let List.171 : U64 = lowlevel ListLen #Attr.2;
ret List.171;
procedure List.60 (#Attr.2, #Attr.3):
let List.170 : {} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.170;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.273 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;
ret Num.273;
procedure Test.2 (Test.6):
let Test.18 : Str = "bar";

View file

@ -1,6 +1,6 @@
procedure List.4 (#Attr.2, #Attr.3):
let List.152 : List U8 = lowlevel ListAppend #Attr.2 #Attr.3;
ret List.152;
let List.162 : List U8 = lowlevel ListAppend #Attr.2 #Attr.3;
ret List.162;
procedure Test.20 (Test.22):
let Test.34 : {U8} = Struct {Test.22};

View file

@ -1,6 +1,6 @@
procedure List.6 (#Attr.2):
let List.152 : U64 = lowlevel ListLen #Attr.2;
ret List.152;
let List.162 : U64 = lowlevel ListLen #Attr.2;
ret List.162;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.275 : U64 = lowlevel NumAdd #Attr.2 #Attr.3;

View file

@ -1,16 +1,16 @@
procedure List.9 (#Attr.2):
let List.158 : U64 = 0i64;
let List.159 : U64 = lowlevel ListLen #Attr.2;
let List.154 : Int1 = lowlevel NotEq List.158 List.159;
if List.154 then
let List.157 : U64 = 0i64;
let List.156 : I64 = lowlevel ListGetUnsafe #Attr.2 List.157;
let List.155 : [C Int1, C I64] = Ok List.156;
ret List.155;
let List.168 : U64 = 0i64;
let List.169 : U64 = lowlevel ListLen #Attr.2;
let List.164 : Int1 = lowlevel NotEq List.168 List.169;
if List.164 then
let List.167 : U64 = 0i64;
let List.166 : I64 = lowlevel ListGetUnsafe #Attr.2 List.167;
let List.165 : [C Int1, C I64] = Ok List.166;
ret List.165;
else
let List.153 : Int1 = true;
let List.152 : [C Int1, C I64] = Err List.153;
ret List.152;
let List.163 : Int1 = true;
let List.162 : [C Int1, C I64] = Err List.163;
ret List.162;
procedure Str.27 (#Attr.2):
let #Attr.3 : {I64, U8} = lowlevel StrToNum #Attr.2;

View file

@ -1,6 +1,6 @@
procedure List.4 (#Attr.2, #Attr.3):
let List.152 : List I64 = lowlevel ListAppend #Attr.2 #Attr.3;
ret List.152;
let List.162 : List I64 = lowlevel ListAppend #Attr.2 #Attr.3;
ret List.162;
procedure Test.0 ():
let Test.2 : List I64 = Array [1i64];

View file

@ -1,6 +1,6 @@
procedure List.4 (#Attr.2, #Attr.3):
let List.152 : List I64 = lowlevel ListAppend #Attr.2 #Attr.3;
ret List.152;
let List.162 : List I64 = lowlevel ListAppend #Attr.2 #Attr.3;
ret List.162;
procedure Test.1 (Test.2):
let Test.6 : I64 = 42i64;

View file

@ -1,28 +1,36 @@
procedure List.3 (List.65, List.66, List.67):
let List.155 : {List I64, I64} = CallByName List.57 List.65 List.66 List.67;
let List.154 : List I64 = StructAtIndex 0 List.155;
inc List.154;
dec List.155;
ret List.154;
procedure List.3 (List.75, List.76, List.77):
let List.165 : {List I64, I64} = CallByName List.57 List.75 List.76 List.77;
let List.164 : List I64 = StructAtIndex 0 List.165;
inc List.164;
dec List.165;
ret List.164;
procedure List.57 (#Attr.2, #Attr.3, #Attr.4):
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;
procedure List.57 (List.72, List.73, List.74):
let List.171 : U64 = CallByName List.6 List.72;
let List.168 : Int1 = CallByName Num.22 List.73 List.171;
if List.168 then
let List.169 : {List I64, I64} = CallByName List.61 List.72 List.73 List.74;
ret List.169;
else
let List.157 : {List I64, I64} = Struct {#Attr.2, #Attr.4};
ret List.157;
let List.167 : {List I64, I64} = Struct {List.72, List.74};
ret List.167;
procedure List.6 (#Attr.2):
let List.153 : U64 = lowlevel ListLen #Attr.2;
ret List.153;
let List.163 : U64 = lowlevel ListLen #Attr.2;
ret List.163;
procedure List.61 (#Attr.2, #Attr.3, #Attr.4):
let List.170 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.170;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.273 : U64 = lowlevel NumAdd #Attr.2 #Attr.3;
ret Num.273;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.274 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;
ret Num.274;
procedure Test.1 ():
let Test.8 : List I64 = Array [1i64, 2i64, 3i64];
ret Test.8;

View file

@ -1,14 +1,26 @@
procedure List.2 (#Attr.2, #Attr.3):
let List.157 : U64 = lowlevel ListLen #Attr.2;
let List.154 : Int1 = lowlevel NumLt #Attr.3 List.157;
if List.154 then
let List.156 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
let List.155 : [C {}, C I64] = Ok List.156;
ret List.155;
procedure List.2 (List.66, List.67):
let List.168 : U64 = CallByName List.6 List.66;
let List.164 : Int1 = CallByName Num.22 List.67 List.168;
if List.164 then
let List.166 : I64 = CallByName List.60 List.66 List.67;
let List.165 : [C {}, C I64] = Ok List.166;
ret List.165;
else
let List.153 : {} = Struct {};
let List.152 : [C {}, C I64] = Err List.153;
ret List.152;
let List.163 : {} = Struct {};
let List.162 : [C {}, C I64] = Err List.163;
ret List.162;
procedure List.6 (#Attr.2):
let List.171 : U64 = lowlevel ListLen #Attr.2;
ret List.171;
procedure List.60 (#Attr.2, #Attr.3):
let List.170 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.170;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.273 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;
ret Num.273;
procedure Test.1 (Test.2):
let Test.6 : List I64 = Array [1i64, 2i64, 3i64];

View file

@ -1,10 +1,10 @@
procedure List.6 (#Attr.2):
let List.152 : U64 = lowlevel ListLen #Attr.2;
ret List.152;
let List.162 : U64 = lowlevel ListLen #Attr.2;
ret List.162;
procedure List.6 (#Attr.2):
let List.153 : U64 = lowlevel ListLen #Attr.2;
ret List.153;
let List.163 : U64 = lowlevel ListLen #Attr.2;
ret List.163;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.273 : U64 = lowlevel NumAdd #Attr.2 #Attr.3;

View file

@ -1,18 +1,30 @@
procedure List.2 (#Attr.2, #Attr.3):
let List.157 : U64 = lowlevel ListLen #Attr.2;
let List.154 : Int1 = lowlevel NumLt #Attr.3 List.157;
if List.154 then
let List.156 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
let List.155 : [C {}, C Str] = Ok List.156;
ret List.155;
procedure List.2 (List.66, List.67):
let List.168 : U64 = CallByName List.6 List.66;
let List.164 : Int1 = CallByName Num.22 List.67 List.168;
if List.164 then
let List.166 : Str = CallByName List.60 List.66 List.67;
let List.165 : [C {}, C Str] = Ok List.166;
ret List.165;
else
let List.153 : {} = Struct {};
let List.152 : [C {}, C Str] = Err List.153;
ret List.152;
let List.163 : {} = Struct {};
let List.162 : [C {}, C Str] = Err List.163;
ret List.162;
procedure List.5 (#Attr.2, #Attr.3):
let List.158 : List Str = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.3 #Attr.3;
ret List.158;
let List.170 : List Str = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.3 #Attr.3;
ret List.170;
procedure List.6 (#Attr.2):
let List.172 : U64 = lowlevel ListLen #Attr.2;
ret List.172;
procedure List.60 (#Attr.2, #Attr.3):
let List.171 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.171;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.273 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;
ret Num.273;
procedure Str.16 (#Attr.2, #Attr.3):
let Str.65 : Str = lowlevel StrRepeat #Attr.2 #Attr.3;

View file

@ -1,20 +1,32 @@
procedure List.2 (#Attr.2, #Attr.3):
let List.157 : U64 = lowlevel ListLen #Attr.2;
let List.154 : Int1 = lowlevel NumLt #Attr.3 List.157;
if List.154 then
let List.156 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
let List.155 : [C {}, C Str] = Ok List.156;
ret List.155;
procedure List.2 (List.66, List.67):
let List.168 : U64 = CallByName List.6 List.66;
let List.164 : Int1 = CallByName Num.22 List.67 List.168;
if List.164 then
let List.166 : Str = CallByName List.60 List.66 List.67;
let List.165 : [C {}, C Str] = Ok List.166;
ret List.165;
else
let List.153 : {} = Struct {};
let List.152 : [C {}, C Str] = Err List.153;
ret List.152;
let List.163 : {} = Struct {};
let List.162 : [C {}, C Str] = Err List.163;
ret List.162;
procedure List.5 (#Attr.2, #Attr.3):
inc #Attr.2;
let List.158 : List Str = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.3 #Attr.3;
let List.170 : List Str = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.3 #Attr.3;
decref #Attr.2;
ret List.158;
ret List.170;
procedure List.6 (#Attr.2):
let List.172 : U64 = lowlevel ListLen #Attr.2;
ret List.172;
procedure List.60 (#Attr.2, #Attr.3):
let List.171 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.171;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.273 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;
ret Num.273;
procedure Str.3 (#Attr.2, #Attr.3):
let Str.66 : Str = lowlevel StrConcat #Attr.2 #Attr.3;

View file

@ -1,19 +1,31 @@
procedure List.3 (List.65, List.66, List.67):
let List.153 : {List I64, I64} = CallByName List.57 List.65 List.66 List.67;
let List.152 : List I64 = StructAtIndex 0 List.153;
inc List.152;
dec List.153;
ret List.152;
procedure List.3 (List.75, List.76, List.77):
let List.163 : {List I64, I64} = CallByName List.57 List.75 List.76 List.77;
let List.162 : List I64 = StructAtIndex 0 List.163;
inc List.162;
dec List.163;
ret List.162;
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;
procedure List.57 (List.72, List.73, List.74):
let List.169 : U64 = CallByName List.6 List.72;
let List.166 : Int1 = CallByName Num.22 List.73 List.169;
if List.166 then
let List.167 : {List I64, I64} = CallByName List.61 List.72 List.73 List.74;
ret List.167;
else
let List.155 : {List I64, I64} = Struct {#Attr.2, #Attr.4};
ret List.155;
let List.165 : {List I64, I64} = Struct {List.72, List.74};
ret List.165;
procedure List.6 (#Attr.2):
let List.170 : U64 = lowlevel ListLen #Attr.2;
ret List.170;
procedure List.61 (#Attr.2, #Attr.3, #Attr.4):
let List.168 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.168;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.273 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;
ret Num.273;
procedure Test.2 (Test.3):
let Test.6 : U64 = 0i64;

View file

@ -1,16 +1,16 @@
procedure List.28 (#Attr.2, #Attr.3):
let List.155 : List I64 = lowlevel ListSortWith { xs: `#Attr.#arg1` } #Attr.2 Num.46 #Attr.3;
let List.165 : List I64 = lowlevel ListSortWith { xs: `#Attr.#arg1` } #Attr.2 Num.46 #Attr.3;
let Bool.14 : Int1 = lowlevel ListIsUnique #Attr.2;
if Bool.14 then
ret List.155;
ret List.165;
else
decref #Attr.2;
ret List.155;
ret List.165;
procedure List.54 (List.99):
let List.153 : {} = Struct {};
let List.152 : List I64 = CallByName List.28 List.99 List.153;
ret List.152;
procedure List.54 (List.109):
let List.163 : {} = Struct {};
let List.162 : List I64 = CallByName List.28 List.109 List.163;
ret List.162;
procedure Num.46 (#Attr.2, #Attr.3):
let Num.273 : U8 = lowlevel NumCompare #Attr.2 #Attr.3;

View file

@ -1,31 +1,47 @@
procedure List.2 (#Attr.2, #Attr.3):
let List.169 : U64 = lowlevel ListLen #Attr.2;
let List.166 : Int1 = lowlevel NumLt #Attr.3 List.169;
if List.166 then
let List.168 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
let List.167 : [C {}, C I64] = Ok List.168;
ret List.167;
procedure List.2 (List.66, List.67):
let List.182 : U64 = CallByName List.6 List.66;
let List.178 : Int1 = CallByName Num.22 List.67 List.182;
if List.178 then
let List.180 : I64 = CallByName List.60 List.66 List.67;
let List.179 : [C {}, C I64] = Ok List.180;
ret List.179;
else
let List.165 : {} = Struct {};
let List.164 : [C {}, C I64] = Err List.165;
ret List.164;
let List.177 : {} = Struct {};
let List.176 : [C {}, C I64] = Err List.177;
ret List.176;
procedure List.3 (List.65, List.66, List.67):
let List.156 : {List I64, I64} = CallByName List.57 List.65 List.66 List.67;
let List.155 : List I64 = StructAtIndex 0 List.156;
inc List.155;
dec List.156;
ret List.155;
procedure List.3 (List.75, List.76, List.77):
let List.166 : {List I64, I64} = CallByName List.57 List.75 List.76 List.77;
let List.165 : List I64 = StructAtIndex 0 List.166;
inc List.165;
dec List.166;
ret List.165;
procedure List.57 (#Attr.2, #Attr.3, #Attr.4):
let List.173 : U64 = lowlevel ListLen #Attr.2;
let List.171 : Int1 = lowlevel NumLt #Attr.3 List.173;
if List.171 then
let List.172 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.172;
procedure List.57 (List.72, List.73, List.74):
let List.188 : U64 = CallByName List.6 List.72;
let List.185 : Int1 = CallByName Num.22 List.73 List.188;
if List.185 then
let List.186 : {List I64, I64} = CallByName List.61 List.72 List.73 List.74;
ret List.186;
else
let List.170 : {List I64, I64} = Struct {#Attr.2, #Attr.4};
ret List.170;
let List.184 : {List I64, I64} = Struct {List.72, List.74};
ret List.184;
procedure List.6 (#Attr.2):
let List.189 : U64 = lowlevel ListLen #Attr.2;
ret List.189;
procedure List.60 (#Attr.2, #Attr.3):
let List.190 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.190;
procedure List.61 (#Attr.2, #Attr.3, #Attr.4):
let List.187 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.187;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.275 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;
ret Num.275;
procedure Test.1 (Test.2):
let Test.28 : U64 = 0i64;

View file

@ -1,31 +1,47 @@
procedure List.2 (#Attr.2, #Attr.3):
let List.169 : U64 = lowlevel ListLen #Attr.2;
let List.166 : Int1 = lowlevel NumLt #Attr.3 List.169;
if List.166 then
let List.168 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
let List.167 : [C {}, C I64] = Ok List.168;
ret List.167;
procedure List.2 (List.66, List.67):
let List.182 : U64 = CallByName List.6 List.66;
let List.178 : Int1 = CallByName Num.22 List.67 List.182;
if List.178 then
let List.180 : I64 = CallByName List.60 List.66 List.67;
let List.179 : [C {}, C I64] = Ok List.180;
ret List.179;
else
let List.165 : {} = Struct {};
let List.164 : [C {}, C I64] = Err List.165;
ret List.164;
let List.177 : {} = Struct {};
let List.176 : [C {}, C I64] = Err List.177;
ret List.176;
procedure List.3 (List.65, List.66, List.67):
let List.156 : {List I64, I64} = CallByName List.57 List.65 List.66 List.67;
let List.155 : List I64 = StructAtIndex 0 List.156;
inc List.155;
dec List.156;
ret List.155;
procedure List.3 (List.75, List.76, List.77):
let List.166 : {List I64, I64} = CallByName List.57 List.75 List.76 List.77;
let List.165 : List I64 = StructAtIndex 0 List.166;
inc List.165;
dec List.166;
ret List.165;
procedure List.57 (#Attr.2, #Attr.3, #Attr.4):
let List.173 : U64 = lowlevel ListLen #Attr.2;
let List.171 : Int1 = lowlevel NumLt #Attr.3 List.173;
if List.171 then
let List.172 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.172;
procedure List.57 (List.72, List.73, List.74):
let List.188 : U64 = CallByName List.6 List.72;
let List.185 : Int1 = CallByName Num.22 List.73 List.188;
if List.185 then
let List.186 : {List I64, I64} = CallByName List.61 List.72 List.73 List.74;
ret List.186;
else
let List.170 : {List I64, I64} = Struct {#Attr.2, #Attr.4};
ret List.170;
let List.184 : {List I64, I64} = Struct {List.72, List.74};
ret List.184;
procedure List.6 (#Attr.2):
let List.189 : U64 = lowlevel ListLen #Attr.2;
ret List.189;
procedure List.60 (#Attr.2, #Attr.3):
let List.190 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.190;
procedure List.61 (#Attr.2, #Attr.3, #Attr.4):
let List.187 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.187;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.275 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;
ret Num.275;
procedure Test.1 (Test.2, Test.3, Test.4):
let Test.29 : [C {}, C I64] = CallByName List.2 Test.4 Test.3;