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

Report non-exhaustive patterns with guards

Browse source
This commit is contained in:
ayazhafiz 2022-02-27 18:50:47 -05:00
parent 32ef4a5566
commit 81481e2599
4 changed files with 43 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

10
reporting/src/error/mono.rs
View file

@ -160,7 +160,15 @@ fn pattern_to_doc_help<'b>(
},
Ctor(union, tag_id, args) => {
match union.render_as {
RenderAs::Guard => panic!("can this happen? inform Folkert"),
RenderAs::Guard => {
// #Guard <fake-condition-tag> <unexhausted-pattern>
debug_assert_eq!(
union.alternatives[tag_id.0 as usize].name,
TagName::Global("#Guard".into())
);
debug_assert!(args.len() == 2);
pattern_to_doc_help(alloc, args[1].clone(), in_type_param)
}
RenderAs::Record(field_names) => {
let mut arg_docs = Vec::with_capacity(args.len());