roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-09-22 08:17:40 +03:00
Code Issues Packages Projects Releases Wiki Activity

add test case for exhaustiveness checking of list with rest and front and back

Browse Source
This commit is contained in:
Brendan Hansknecht 2023-11-20 19:59:52 -08:00
parent bf7be1533b
commit 9cf0d5366f
No known key found for this signature in database
GPG Key ID: 0EA784685083E75B
1 changed files with 41 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

41
crates/compiler/load/tests/test_reporting.rs
View File

@ -12596,6 +12596,47 @@ In roc, functions are always written as a lambda, like{}
"###
);
test_no_problem!(
list_match_spread_required_front_back,
indoc!(
r#"
l : List [A, B]
when l is
[A, ..] -> ""
[.., A] -> ""
[..] -> ""
"#
)
);
test_report!(
list_match_spread_redundant_front_back,
indoc!(
r#"
l : List [A]
when l is
[A, ..] -> ""
[.., A] -> ""
[..] -> ""
"#
),
@r###"
── REDUNDANT PATTERN ───────────────────────────────────── /code/proj/Main.roc ─
The 2nd pattern is redundant:
6│ when l is
7│ [A, ..] -> ""
8│> [.., A] -> ""
9│ [..] -> ""
Any value of this shape will be handled by a previous pattern, so this
one should be removed.
"###
);
test_no_problem!(
list_match_exhaustive_empty_and_rest_with_unary_head,
indoc!(