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

Add gen tests for polymorphic recursive tags

Browse source
This commit is contained in:
Ayaz Hafiz 2022-07-08 17:32:21 -04:00
parent 808d19b01b
commit 507e1e5add
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 87 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

87
crates/compiler/test_gen/src/gen_tags.rs
View file

@ -1726,3 +1726,90 @@ fn issue_3261_non_nullable_unwrapped_recursive_union_at_index() {
RocStr
)
}
#[test]
#[ignore]
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm"))]
fn instantiate_annotated_as_recursive_alias_toplevel() {
assert_evals_to!(
indoc!(
r#"
app "test" provides [main] to "./platform"
Value : [Nil, Array (List Value)]
foo : [Nil]*
foo = Nil
it : Value
it = foo
main =
when it is
Nil -> 123i64
_ -> -1i64
"#
),
123,
i64
)
}
#[test]
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm"))]
fn instantiate_annotated_as_recursive_alias_polymorphic_expr() {
assert_evals_to!(
indoc!(
r#"
app "test" provides [main] to "./platform"
main =
Value : [Nil, Array (List Value)]
foo : [Nil]*
foo = Nil
it : Value
it = foo
when it is
Nil -> 123i64
_ -> -1i64
"#
),
123,
i64
)
}
#[test]
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm"))]
fn instantiate_annotated_as_recursive_alias_multiple_polymorphic_expr() {
assert_evals_to!(
indoc!(
r#"
app "test" provides [main] to "./platform"
main =
Value : [Nil, Array (List Value)]
foo : [Nil]*
foo = Nil
v1 : Value
v1 = foo
Value2 : [Nil, B U16, Array (List Value)]
v2 : Value2
v2 = foo
when {v1, v2} is
{v1: Nil, v2: Nil} -> 123i64
{v1: _, v2: _} -> -1i64
"#
),
123,
i64
)
}