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

Rename ROC_VERIFY_OCCURS_RECURSION flag

Browse source
This commit is contained in:
Ayaz Hafiz 2023-05-02 16:46:51 -05:00
parent 5815807927
commit 8dc86a81b8
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 14 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

16
crates/compiler/unify/src/unify.rs
View file

@ -2,7 +2,9 @@ use bitflags::bitflags;
use roc_collections::{VecMap, VecSet};
use roc_debug_flags::{dbg_do, dbg_set};
#[cfg(debug_assertions)]
use roc_debug_flags::{ROC_PRINT_MISMATCHES, ROC_PRINT_UNIFICATIONS, ROC_VERIFY_OCCURS_RECURSION};
use roc_debug_flags::{
ROC_PRINT_MISMATCHES, ROC_PRINT_UNIFICATIONS, ROC_VERIFY_OCCURS_ONE_RECURSION,
};
use roc_error_macros::internal_error;
use roc_module::ident::{Lowercase, TagName};
use roc_module::symbol::{ModuleId, Symbol};
@ -2998,12 +3000,12 @@ fn maybe_mark_union_recursive(env: &mut Env, pool: &mut Pool, union_var: Variabl
}) {
return;
} else {
// We may have partially solved a recursive type, but still see an occurs, if the type
// has errors inside of it. As such, admit this; however, for well-typed programs, this
// case should never be observed. Set ROC_VERIFY_OCCURS_RECURSION to verify this branch
// is not reached for well-typed programs.
if dbg_set!(ROC_VERIFY_OCCURS_RECURSION)
|| !chain.iter().any(|&var| {
// We may seen an occurs check that passes through another recursion var if the occurs
// check is passing through another recursive type.
// But, if ROC_VERIFY_OCCURS_ONE_RECURSION is set, we check that we only found a new
// recursion.
if dbg_set!(ROC_VERIFY_OCCURS_ONE_RECURSION)
&& !chain.iter().any(|&var| {
matches!(
subs.get_content_without_compacting(var),
Content::Structure(FlatType::RecursiveTagUnion(..))