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

Fix mono test

Browse source
This commit is contained in:
Ayaz Hafiz 2023-01-18 10:06:14 -06:00
parent 7b8783ae0d
commit e6ab8dcf60
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 18 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

18
crates/compiler/test_mono/generated/instantiate_annotated_as_recursive_alias_multiple_polymorphic_expr.txt
View file

@ -1,5 +1,15 @@
procedure Test.3 (Test.12):
let Test.15 : [C List [<rnu><null>, C List *self], C U16, C ] = TagId(2) ;
ret Test.15;
procedure Test.3 (Test.12):
let Test.17 : [<rnu><null>, C List *self] = TagId(1) ;
ret Test.17;
procedure Test.0 ():
let Test.4 : [<rnw>C List *self, C U16, <null>] = TagId(2) ;
inc Test.4;
let Test.12 : {[<rnw>C List *self, C U16, <null>], [<rnw>C List *self, C U16, <null>]} = Struct {Test.4, Test.4};
ret Test.12;
let Test.16 : {} = Struct {};
let Test.4 : [<rnu><null>, C List *self] = CallByName Test.3 Test.16;
let Test.14 : {} = Struct {};
let Test.5 : [C List [<rnu><null>, C List *self], C U16, C ] = CallByName Test.3 Test.14;
let Test.13 : {[<rnu><null>, C List *self], [C List [<rnu><null>, C List *self], C U16, C ]} = Struct {Test.4, Test.5};
ret Test.13;

8
crates/compiler/test_mono/src/tests.rs
View file

@ -1838,16 +1838,16 @@ fn instantiate_annotated_as_recursive_alias_multiple_polymorphic_expr() {
main =
Value : [Nil, Array (List Value)]
foo : [Nil]_
foo = Nil
foo : {} -> [Nil]_
foo = \{} -> Nil
v1 : Value
v1 = foo
v1 = foo {}
Value2 : [Nil, B U16, Array (List Value)]
v2 : Value2
v2 = foo
v2 = foo {}
{v1, v2}
"#