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

update uitest and mono_test

Browse source
This commit is contained in:
Brendan Hansknecht 2023-12-03 11:56:44 -08:00
parent e5a0af5699
commit e1c850e2d1
No known key found for this signature in database
GPG key ID: 0EA784685083E75B
22 changed files with 1077 additions and 1025 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/compiler/uitest/tests/ability/specialize/inspect/bool.txt
View file

@ -1,4 +1,4 @@
app "test" provides [main] to "./platform"
main = Inspect.toInspector Bool.true |> Inspect.apply (Inspect.init {}) |> Inspect.toDbgStr
# ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): Bool -[[Inspect.dbgBool(43)]]-> Inspector DbgFormatter
main = Inspect.toInspector Bool.true |> Inspect.apply (Inspect.init {})
# ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): Bool -[[] + f:Inspect.bool(13):1]-> Inspector f where f implements InspectFormatter

4
crates/compiler/uitest/tests/ability/specialize/inspect/dec.txt
View file

@ -1,4 +1,4 @@
app "test" provides [main] to "./platform"
main = Inspect.toInspector 7dec |> Inspect.apply (Inspect.init {}) |> Inspect.toDbgStr
# ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): Dec -[[Inspect.dbgDec(60)]]-> Inspector DbgFormatter
main = Inspect.toInspector 7dec |> Inspect.apply (Inspect.init {})
# ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): Dec -[[] + f:Inspect.dec(29):1]-> Inspector f where f implements InspectFormatter

4
crates/compiler/uitest/tests/ability/specialize/inspect/non_implementing_opaque.txt
View file

@ -2,5 +2,5 @@ app "test" provides [main] to "./platform"
Op := {}
main = Inspect.toInspector (@Op {}) |> Inspect.apply (Inspect.init {}) |> Inspect.toDbgStr
# ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): Op -[[Inspect.dbgOpaque(45)]]-> Inspector DbgFormatter
main = Inspect.toInspector (@Op {}) |> Inspect.apply (Inspect.init {})
# ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): Op -[[] + f:Inspect.opaque(15):1]-> Inspector f where f implements InspectFormatter

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

@ -8,46 +8,50 @@ main =
1
# -emit:mono
procedure Inspect.251 (Inspect.252):
let Inspect.317 : Str = "<opaque>";
let Inspect.316 : Str = CallByName Inspect.61 Inspect.252 Inspect.317;
ret Inspect.316;
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.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.30 (Inspect.148):
ret Inspect.148;
procedure Inspect.35 (Inspect.300):
ret Inspect.300;
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.36 (Inspect.304):
let Inspect.311 : Str = "";
procedure Inspect.36 (Inspect.305):
let Inspect.315 : Str = "";
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.45 (Inspect.302):
let Inspect.314 : {} = Struct {};
let Inspect.313 : {} = CallByName Inspect.30 Inspect.314;
ret Inspect.313;
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.5 (Inspect.150):
let Inspect.312 : {} = CallByName Inspect.45 Inspect.150;
let Inspect.309 : {} = Struct {};
let Inspect.308 : Str = CallByName Inspect.36 Inspect.309;
let Inspect.307 : Str = CallByName Inspect.251 Inspect.308;
ret Inspect.307;
procedure Inspect.61 (Inspect.303, Inspect.298):
let Inspect.319 : Str = CallByName Str.3 Inspect.303 Inspect.298;
dec Inspect.298;
ret Inspect.319;
procedure Inspect.62 (Inspect.306):
ret Inspect.306;
procedure Str.3 (#Attr.2, #Attr.3):
let Str.292 : Str = lowlevel StrConcat #Attr.2 #Attr.3;
ret Str.292;
procedure Test.0 ():
let Test.5 : {} = Struct {};
let Test.4 : Str = CallByName Inspect.5 Test.5;
let Test.2 : Str = CallByName Inspect.35 Test.4;
let Test.4 : {} = Struct {};
let Test.2 : Str = CallByName Inspect.34 Test.4;
dbg Test.2;
dec Test.2;
let Test.3 : I64 = 1i64;

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

@ -11,45 +11,49 @@ main =
late (@Op {})
# -emit:mono
procedure Inspect.251 (Inspect.252):
let Inspect.317 : Str = "<opaque>";
let Inspect.316 : Str = CallByName Inspect.61 Inspect.252 Inspect.317;
ret Inspect.316;
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.30 (Inspect.147):
ret Inspect.147;
procedure Inspect.30 (Inspect.148):
ret Inspect.148;
procedure Inspect.35 (Inspect.300):
ret Inspect.300;
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.36 (Inspect.304):
let Inspect.311 : Str = "";
procedure Inspect.36 (Inspect.305):
let Inspect.315 : Str = "";
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.45 (Inspect.302):
let Inspect.314 : {} = Struct {};
let Inspect.313 : {} = CallByName Inspect.30 Inspect.314;
ret Inspect.313;
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.5 (Inspect.150):
let Inspect.312 : {} = CallByName Inspect.45 Inspect.150;
let Inspect.309 : {} = Struct {};
let Inspect.308 : Str = CallByName Inspect.36 Inspect.309;
let Inspect.307 : Str = CallByName Inspect.251 Inspect.308;
ret Inspect.307;
procedure Inspect.61 (Inspect.303, Inspect.298):
let Inspect.319 : Str = CallByName Str.3 Inspect.303 Inspect.298;
dec Inspect.298;
ret Inspect.319;
procedure Inspect.62 (Inspect.306):
ret Inspect.306;
procedure Str.3 (#Attr.2, #Attr.3):
let Str.292 : Str = lowlevel StrConcat #Attr.2 #Attr.3;
ret Str.292;
procedure Test.2 (Test.3):
let Test.8 : Str = CallByName Inspect.5 Test.3;
let Test.4 : Str = CallByName Inspect.35 Test.8;
let Test.4 : Str = CallByName Inspect.34 Test.3;
dbg Test.4;
dec Test.4;
let Test.7 : I64 = 1i64;

4
crates/compiler/uitest/tests/ability/specialize/inspect/opaque_custom_impl.txt
View file

@ -5,5 +5,5 @@ Op := U8 implements [Inspect { toInspector: myToInspector }]
myToInspector : Op -> Inspector f where f implements InspectFormatter
myToInspector = \@Op num -> Inspect.u8 num
main = Inspect.toInspector (@Op 1u8) |> Inspect.apply (Inspect.init {}) |> Inspect.toDbgStr
# ^^^^^^^^^^^^^^^^^^^ Op#Inspect.toInspector(2): Op -[[myToInspector(2)]]-> Inspector DbgFormatter
main = Inspect.toInspector (@Op 1u8) |> Inspect.apply (Inspect.init {})
# ^^^^^^^^^^^^^^^^^^^ Op#Inspect.toInspector(2): Op -[[myToInspector(2)]]-> Inspector f where f implements InspectFormatter

4
crates/compiler/uitest/tests/ability/specialize/inspect/opaque_derived.txt
View file

@ -2,5 +2,5 @@ app "test" provides [main] to "./platform"
Op := U8 implements [Inspect]
main = Inspect.toInspector (@Op 1u8) |> Inspect.apply (Inspect.init {}) |> Inspect.toDbgStr
# ^^^^^^^^^^^^^^^^^^^ Op#Inspect.toInspector(3): Op -[[#Op_toInspector(3)]]-> Inspector DbgFormatter
main = Inspect.toInspector (@Op 1u8) |> Inspect.apply (Inspect.init {})
# ^^^^^^^^^^^^^^^^^^^ Op#Inspect.toInspector(3): Op -[[#Op_toInspector(3)]]-> Inspector f where f implements InspectFormatter

4
crates/compiler/uitest/tests/ability/specialize/inspect/ranged_num.txt
View file

@ -1,4 +1,4 @@
app "test" provides [main] to "./platform"
main = Inspect.toInspector 7 |> Inspect.apply (Inspect.init {}) |> Inspect.toDbgStr
# ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): I64 -[[Inspect.dbgI64(54)]]-> Inspector DbgFormatter
main = Inspect.toInspector 7 |> Inspect.apply (Inspect.init {})
# ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): I64 -[[] + f:Inspect.i64(24):1]-> Inspector f where f implements InspectFormatter

4
crates/compiler/uitest/tests/ability/specialize/inspect/record.txt
View file

@ -1,4 +1,4 @@
app "test" provides [main] to "./platform"
main = Inspect.toInspector { a: "" } |> Inspect.apply (Inspect.init {}) |> Inspect.toDbgStr
# ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): { a : Str } -[[#Derived.toInspector_{a}(0)]]-> Inspector DbgFormatter
main = Inspect.toInspector { a: "" } |> Inspect.apply (Inspect.init {})
# ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): { a : Str } -[[#Derived.toInspector_{a}(0)]]-> Inspector f where f implements InspectFormatter

4
crates/compiler/uitest/tests/ability/specialize/inspect/record_with_nested_custom_impl.txt
View file

@ -5,5 +5,5 @@ Op := U8 implements [Inspect { toInspector: myToInspector }]
myToInspector : Op -> Inspector f where f implements InspectFormatter
myToInspector = \@Op num -> Inspect.u8 num
main = Inspect.toInspector { op: @Op 1u8 } |> Inspect.apply (Inspect.init {}) |> Inspect.toDbgStr
# ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): { op : Op } -[[#Derived.toInspector_{op}(0)]]-> Inspector DbgFormatter
main = Inspect.toInspector { op: @Op 1u8 } |> Inspect.apply (Inspect.init {})
# ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): { op : Op } -[[#Derived.toInspector_{op}(0)]]-> Inspector f where f implements InspectFormatter

4
crates/compiler/uitest/tests/ability/specialize/inspect/u8.txt
View file

@ -1,4 +1,4 @@
app "test" provides [main] to "./platform"
main = Inspect.toInspector 7u8 |> Inspect.apply (Inspect.init {}) |> Inspect.toDbgStr
# ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): U8 -[[Inspect.dbgU8(47)]]-> Inspector DbgFormatter
main = Inspect.toInspector 7u8 |> Inspect.apply (Inspect.init {})
# ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): U8 -[[] + f:Inspect.u8(17):1]-> Inspector f where f implements InspectFormatter