roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-11-10 18:08:55 +03:00
Code Issues Packages Projects Releases Wiki Activity

Check in mono test that works now

Browse Source 
Closes #4561
This commit is contained in:
Ayaz Hafiz 2023-03-25 15:58:39 -05:00
parent 1891df77b8
commit c13abb03be
No known key found for this signature in database
GPG Key ID: 0E2A37416A25EF58
2 changed files with 18 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
crates/compiler/test_mono/generated/recursive_function_and_union_with_inference_hole.txt Normal file
View File

@ -0,0 +1,18 @@
procedure List.5 (#Attr.2, #Attr.3):
let List.494 : List [<rnnu>C List *self] = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.2 #Attr.3;
ret List.494;
procedure Test.2 (Test.5):
let Test.6 : List [<rnnu>C List *self] = UnionAtIndex (Id 0) (Index 0) Test.5;
let Test.15 : {} = Struct {};
let Test.7 : List [<rnnu>C List *self] = CallByName List.5 Test.6 Test.15;
let Test.14 : [<rnnu>C List *self] = TagId(0) Test.7;
ret Test.14;
procedure Test.0 ():
let Test.16 : List [<rnnu>C List *self] = Array [];
let Test.12 : [<rnnu>C List *self] = TagId(0) Test.16;
let Test.10 : [<rnnu>C List *self] = CallByName Test.2 Test.12;
dec Test.12;
let Test.11 : Str = "";
ret Test.11;

3
crates/compiler/test_mono/src/tests.rs
View File

@ -2087,10 +2087,7 @@ fn match_list() {
}
#[mono_test]
#[ignore = "https://github.com/roc-lang/roc/issues/4561"]
fn recursive_function_and_union_with_inference_hole() {
let _tracing_guards = roc_tracing::setup_tracing!();
indoc!(
r#"
app "test" provides [main] to "./platform"