language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-11-25 21:37:48 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

update mono tests

Browse source
This commit is contained in:
Folkert 2022-07-10 01:52:13 +02:00
parent 4956fc5ef4
commit 90c96b9391
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
3 changed files with 5 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/compiler/mono/src/ir.rs
View file

@ -9261,7 +9261,7 @@ fn union_lambda_set_to_switch<'a>(
// code gen to proceed. We then assume that we hit another (more descriptive) error before
// hitting this one
let msg = "a Lambda Set isempty. Most likely there is a type error in your program.";
let msg = "a Lambda Set is empty. Most likely there is a type error in your program.";
return Stmt::RuntimeError(msg);
}

9
crates/compiler/test_mono/generated/call_function_in_empty_list.txt
View file

@ -5,14 +5,11 @@ procedure List.5 (#Attr.2, #Attr.3):
procedure Test.2 (Test.3):
let Test.7 : {} = Struct {};
let Test.6 : {} = CallByName Test.8 Test.7;
ret Test.6;
procedure Test.8 (Test.9):
Error The `#UserApp.IdentId(8)` function could not be generated, likely due to a type error.
let Test.8 : U8 = GetTagId Test.3;
Error a Lambda Set is empty. Most likely there is a type error in your program.
procedure Test.0 ():
let Test.1 : List {} = Array [];
let Test.1 : List [] = Array [];
let Test.5 : {} = Struct {};
let Test.4 : List {} = CallByName List.5 Test.1 Test.5;
ret Test.4;

2
crates/compiler/test_mono/generated/call_function_in_empty_list_unbound.txt
View file

@ -2,5 +2,5 @@ procedure List.5 (#Attr.2, #Attr.3):
Error UnresolvedTypeVar crates/compiler/mono/src/ir.rs line 5035
procedure Test.0 ():
let Test.1 : List {} = Array [];
let Test.1 : List [] = Array [];
Error UnresolvedTypeVar crates/compiler/mono/src/ir.rs line 4562