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

add debug assert for possible invariant

Browse source
This commit is contained in:
Folkert 2020-03-15 14:15:29 +01:00
parent 3ea748e532
commit 8a46765fee
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/mono/src/pattern.rs
View file

@ -117,6 +117,10 @@ pub fn check_patterns<'a>(
let bad_patterns = is_exhaustive(&matrix, 1); let bad_patterns = is_exhaustive(&matrix, 1);
if !bad_patterns.is_empty() { if !bad_patterns.is_empty() {
// TODO i suspect this is like a concat in in practice? code below can panic // TODO i suspect this is like a concat in in practice? code below can panic
// if this debug_assert! ever fails, the theory is disproven
debug_assert!(
bad_patterns.iter().map(|v| v.len()).sum::<usize>() == bad_patterns.len()
);
let heads = bad_patterns.into_iter().map(|mut v| v.remove(0)).collect(); let heads = bad_patterns.into_iter().map(|mut v| v.remove(0)).collect();
errors.push(Error::Incomplete(region, context, heads)); errors.push(Error::Incomplete(region, context, heads));
} }