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

Update mono tests

Browse source
This commit is contained in:
Richard Feldman 2024-01-26 16:25:32 -05:00
parent 204cee7d60
commit 418731cb71
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
91 changed files with 2545 additions and 2607 deletions
Download patch file Download diff file Expand all files Collapse all files

68
crates/compiler/uitest/tests/ability/specialize/inspect/opaque_automatic.txt
View file

@ -8,50 +8,50 @@ main =
1
# -emit:mono
procedure Inspect.253 (Inspect.254):
let Inspect.321 : Str = "<opaque>";
let Inspect.320 : Str = CallByName Inspect.61 Inspect.254 Inspect.321;
ret Inspect.320;
procedure Inspect.248 (Inspect.249):
let Inspect.313 : Str = "<opaque>";
let Inspect.312 : Str = CallByName Inspect.59 Inspect.249 Inspect.313;
ret Inspect.312;
procedure Inspect.30 (Inspect.148):
ret Inspect.148;
procedure Inspect.30 (Inspect.143):
ret Inspect.143;
procedure Inspect.34 (Inspect.153):
let Inspect.309 : Str = CallByName Inspect.5 Inspect.153;
let Inspect.308 : Str = CallByName Inspect.62 Inspect.309;
ret Inspect.308;
procedure Inspect.33 (Inspect.148):
let Inspect.301 : Str = CallByName Inspect.5 Inspect.148;
let Inspect.300 : Str = CallByName Inspect.60 Inspect.301;
ret Inspect.300;
procedure Inspect.36 (Inspect.305):
let Inspect.315 : Str = "";
procedure Inspect.35 (Inspect.297):
let Inspect.307 : Str = "";
ret Inspect.307;
procedure Inspect.44 (Inspect.295):
let Inspect.310 : {} = Struct {};
let Inspect.309 : {} = CallByName Inspect.30 Inspect.310;
ret Inspect.309;
procedure Inspect.5 (Inspect.146):
let Inspect.308 : {} = CallByName Inspect.44 Inspect.146;
let Inspect.305 : {} = Struct {};
let Inspect.304 : Str = CallByName Inspect.35 Inspect.305;
let Inspect.303 : Str = CallByName Inspect.248 Inspect.304;
ret Inspect.303;
procedure Inspect.59 (Inspect.296, Inspect.292):
let Inspect.315 : Str = CallByName Str.3 Inspect.296 Inspect.292;
dec Inspect.292;
ret Inspect.315;
procedure Inspect.45 (Inspect.303):
let Inspect.318 : {} = Struct {};
let Inspect.317 : {} = CallByName Inspect.30 Inspect.318;
ret Inspect.317;
procedure Inspect.5 (Inspect.151):
let Inspect.316 : {} = CallByName Inspect.45 Inspect.151;
let Inspect.313 : {} = Struct {};
let Inspect.312 : Str = CallByName Inspect.36 Inspect.313;
let Inspect.311 : Str = CallByName Inspect.253 Inspect.312;
ret Inspect.311;
procedure Inspect.61 (Inspect.304, Inspect.300):
let Inspect.323 : Str = CallByName Str.3 Inspect.304 Inspect.300;
dec Inspect.300;
ret Inspect.323;
procedure Inspect.62 (Inspect.306):
ret Inspect.306;
procedure Inspect.60 (Inspect.298):
ret Inspect.298;
procedure Str.3 (#Attr.2, #Attr.3):
let Str.250 : Str = lowlevel StrConcat #Attr.2 #Attr.3;
ret Str.250;
let Str.249 : Str = lowlevel StrConcat #Attr.2 #Attr.3;
ret Str.249;
procedure Test.0 ():
let Test.4 : {} = Struct {};
let Test.2 : Str = CallByName Inspect.34 Test.4;
let Test.2 : Str = CallByName Inspect.33 Test.4;
dbg Test.2;
dec Test.2;
let Test.3 : I64 = 1i64;

68
crates/compiler/uitest/tests/ability/specialize/inspect/opaque_automatic_late.txt
View file

@ -11,49 +11,49 @@ main =
late (@Op {})
# -emit:mono
procedure Inspect.253 (Inspect.254):
let Inspect.321 : Str = "<opaque>";
let Inspect.320 : Str = CallByName Inspect.61 Inspect.254 Inspect.321;
ret Inspect.320;
procedure Inspect.248 (Inspect.249):
let Inspect.313 : Str = "<opaque>";
let Inspect.312 : Str = CallByName Inspect.59 Inspect.249 Inspect.313;
ret Inspect.312;
procedure Inspect.30 (Inspect.148):
ret Inspect.148;
procedure Inspect.30 (Inspect.143):
ret Inspect.143;
procedure Inspect.34 (Inspect.153):
let Inspect.309 : Str = CallByName Inspect.5 Inspect.153;
let Inspect.308 : Str = CallByName Inspect.62 Inspect.309;
ret Inspect.308;
procedure Inspect.33 (Inspect.148):
let Inspect.301 : Str = CallByName Inspect.5 Inspect.148;
let Inspect.300 : Str = CallByName Inspect.60 Inspect.301;
ret Inspect.300;
procedure Inspect.36 (Inspect.305):
let Inspect.315 : Str = "";
procedure Inspect.35 (Inspect.297):
let Inspect.307 : Str = "";
ret Inspect.307;
procedure Inspect.44 (Inspect.295):
let Inspect.310 : {} = Struct {};
let Inspect.309 : {} = CallByName Inspect.30 Inspect.310;
ret Inspect.309;
procedure Inspect.5 (Inspect.146):
let Inspect.308 : {} = CallByName Inspect.44 Inspect.146;
let Inspect.305 : {} = Struct {};
let Inspect.304 : Str = CallByName Inspect.35 Inspect.305;
let Inspect.303 : Str = CallByName Inspect.248 Inspect.304;
ret Inspect.303;
procedure Inspect.59 (Inspect.296, Inspect.292):
let Inspect.315 : Str = CallByName Str.3 Inspect.296 Inspect.292;
dec Inspect.292;
ret Inspect.315;
procedure Inspect.45 (Inspect.303):
let Inspect.318 : {} = Struct {};
let Inspect.317 : {} = CallByName Inspect.30 Inspect.318;
ret Inspect.317;
procedure Inspect.5 (Inspect.151):
let Inspect.316 : {} = CallByName Inspect.45 Inspect.151;
let Inspect.313 : {} = Struct {};
let Inspect.312 : Str = CallByName Inspect.36 Inspect.313;
let Inspect.311 : Str = CallByName Inspect.253 Inspect.312;
ret Inspect.311;
procedure Inspect.61 (Inspect.304, Inspect.300):
let Inspect.323 : Str = CallByName Str.3 Inspect.304 Inspect.300;
dec Inspect.300;
ret Inspect.323;
procedure Inspect.62 (Inspect.306):
ret Inspect.306;
procedure Inspect.60 (Inspect.298):
ret Inspect.298;
procedure Str.3 (#Attr.2, #Attr.3):
let Str.250 : Str = lowlevel StrConcat #Attr.2 #Attr.3;
ret Str.250;
let Str.249 : Str = lowlevel StrConcat #Attr.2 #Attr.3;
ret Str.249;
procedure Test.2 (Test.3):
let Test.4 : Str = CallByName Inspect.34 Test.3;
let Test.4 : Str = CallByName Inspect.33 Test.3;
dbg Test.4;
dec Test.4;
let Test.7 : I64 = 1i64;

14
crates/compiler/uitest/tests/recursion/generalization_among_large_recursive_group.txt
View file

@ -3,22 +3,22 @@
app "test" provides [main] to "./platform"
f = \{} ->
#^{-1} <2937><117>{} -<120>[[f(1)]]-> <116>[Ok <2945>{}]<80>*
#^{-1} <2897><113>{} -<116>[[f(1)]]-> <112>[Ok <2905>{}]<76>*
when g {} is
# ^ <2927><2945>{} -<2935>[[g(2)]]-> <72>[Ok <2945>{}]<102>*
# ^ <2887><2905>{} -<2895>[[g(2)]]-> <68>[Ok <2905>{}]<98>*
_ -> Ok {}
g = \{} ->
#^{-1} <2927><2945>{} -<2935>[[g(2)]]-> <72>[Ok <2945>{}]<102>*
#^{-1} <2887><2905>{} -<2895>[[g(2)]]-> <68>[Ok <2905>{}]<98>*
when h {} is
# ^ <2932><2945>{} -<2940>[[h(3)]]-> <94>[Ok <2945>{}]<124>*
# ^ <2892><2905>{} -<2900>[[h(3)]]-> <90>[Ok <2905>{}]<120>*
_ -> Ok {}
h = \{} ->
#^{-1} <2932><2945>{} -<2940>[[h(3)]]-> <94>[Ok <2945>{}]<124>*
#^{-1} <2892><2905>{} -<2900>[[h(3)]]-> <90>[Ok <2905>{}]<120>*
when f {} is
# ^ <2937><117>{} -<120>[[f(1)]]-> <116>[Ok <2945>{}]<80>*
# ^ <2897><113>{} -<116>[[f(1)]]-> <112>[Ok <2905>{}]<76>*
_ -> Ok {}
main = f {}
# ^ <2947><133>{} -<136>[[f(1)]]-> <138>[Ok <2945>{}]<2946>w_a
# ^ <2907><129>{} -<132>[[f(1)]]-> <134>[Ok <2905>{}]<2906>w_a

2
crates/compiler/uitest/tests/solve/to_int.txt
View file

@ -15,4 +15,4 @@ entry =
}
main = entry
# ^^^^^ { toI128 : Int * -[[Num.toI128(125)]]-> I128, toI16 : Int w_a -[[Num.toI16(119)]]-> I16, toI32 : Int w_b -[[Num.toI32(121)]]-> I32, toI64 : Int w_c -[[Num.toI64(123)]]-> I64, toI8 : Int w_d -[[Num.toI8(117)]]-> I8, toU128 : Int w_f -[[Num.toU128(135)]]-> U128, toU16 : Int w_g -[[Num.toU16(129)]]-> U16, toU32 : Int w_h -[[Num.toU32(131)]]-> U32, toU64 : Int w_i -[[Num.toU64(133)]]-> U64, toU8 : Int w_j -[[Num.toU8(127)]]-> U8 }
# ^^^^^ { toI128 : Int * -[[Num.toI128(125)]]-> I128, toI16 : Int w_a -[[Num.toI16(119)]]-> I16, toI32 : Int w_b -[[Num.toI32(121)]]-> I32, toI64 : Int w_c -[[Num.toI64(123)]]-> I64, toI8 : Int w_d -[[Num.toI8(117)]]-> I8, toU128 : Int w_e -[[Num.toU128(135)]]-> U128, toU16 : Int w_f -[[Num.toU16(129)]]-> U16, toU32 : Int w_g -[[Num.toU32(131)]]-> U32, toU64 : Int w_h -[[Num.toU64(133)]]-> U64, toU8 : Int w_i -[[Num.toU8(127)]]-> U8 }