language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-22 11:32:27 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

Add some debug assertions

Browse source
This commit is contained in:
Richard Feldman 2023-10-14 21:19:33 -04:00
parent eb135637ef
commit f0a91b8ce1
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
crates/reporting/src/cli.rs
View file

@ -135,6 +135,9 @@ pub fn report_problems(
}
}
debug_assert!(can_problems.is_empty() && type_problems.is_empty(), "After reporting problems, there were {:?} can_problems and {:?} type_problems that could not be reported because they did not have corresponding entries in `sources`.", can_problems.len(), type_problems.len());
debug_assert_eq!(errors.len() + warnings.len(), total_problems);
let problems_reported;
// Only print warnings if there are no errors