language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-03 11:52:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Report list element pattern type mismatches

Browse source
This commit is contained in:
Ayaz Hafiz 2022-10-31 17:01:19 -05:00
parent 283f6e8e1e
commit f9cb71fcf7
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 28 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

29
crates/reporting/src/error/type.rs
View file

@ -1945,7 +1945,34 @@ fn to_pattern_report<'b>(
severity: Severity::RuntimeError,
}
}
PReason::TagArg { .. } | PReason::PatternGuard | PReason::ListElem => {
PReason::ListElem => {
let doc = alloc.stack([
alloc.concat([alloc.reflow("This list element doesn't match the types of other elements in the pattern:")]),
alloc.region(lines.convert_region(region)),
pattern_type_comparison(
alloc,
found,
expected_type,
add_pattern_category(
alloc,
alloc.text("It matches"),
&category,
),
alloc.concat([
alloc.text("But the other elements in this list pattern match")
]),
vec![],
),
]);
Report {
filename,
title: "TYPE MISMATCH".to_string(),
doc,
severity: Severity::RuntimeError,
}
}
PReason::TagArg { .. } | PReason::PatternGuard => {
internal_error!("We didn't think this could trigger. Please tell us about it on Zulip if it does!")
}
},