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

better error message when rank of recvar is too high

Browse source
This commit is contained in:
Folkert 2021-07-30 16:38:02 +02:00
parent 0aa35f072e
commit 2af648487c
1 changed files with 13 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

16
compiler/solve/src/solve.rs
View file

@ -1168,9 +1168,19 @@ fn adjust_rank_content(
// THEORY: the recursion var has the same rank as the tag union itself
// all types it uses are also in the tags already, so it cannot influence the
// rank
debug_assert!(
rank >= adjust_rank(subs, young_mark, visit_mark, group_rank, *rec_var)
);
if cfg!(debug_assertions) {
let rec_var_rank =
adjust_rank(subs, young_mark, visit_mark, group_rank, *rec_var);
debug_assert!(
rank >= rec_var_rank,
"rank was {:?} but recursion var {:?} has higher rank {:?}",
rank,
rec_var,
rec_var_rank
);
}
rank
}