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

cleanup

Browse source
This commit is contained in:
Folkert 2020-10-17 00:56:40 +02:00
parent 777b29259f
commit 70a53bd544
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/constrain/src/expr.rs
View file

@ -1000,7 +1000,6 @@ pub fn constrain_decls(
Vec::new(), Vec::new(),
constrain_def(&env, def, constraint), constrain_def(&env, def, constraint),
); );
debug_assert!(format!("{:?}", &constraint).contains("SaveTheEnvironment"));
} }
Declaration::DeclareRec(defs) => { Declaration::DeclareRec(defs) => {
constraint = exists_with_aliases( constraint = exists_with_aliases(
@ -1008,7 +1007,6 @@ pub fn constrain_decls(
Vec::new(), Vec::new(),
constrain_recursive_defs(&env, defs, constraint), constrain_recursive_defs(&env, defs, constraint),
); );
debug_assert!(format!("{:?}", &constraint).contains("SaveTheEnvironment"));
} }
Declaration::InvalidCycle(_, _) => { Declaration::InvalidCycle(_, _) => {
// invalid cycles give a canonicalization error. we skip them here. // invalid cycles give a canonicalization error. we skip them here.
@ -1017,7 +1015,9 @@ pub fn constrain_decls(
} }
} }
// this assert make the "root" of the constraint wasn't dropped
debug_assert!(format!("{:?}", &constraint).contains("SaveTheEnvironment")); debug_assert!(format!("{:?}", &constraint).contains("SaveTheEnvironment"));
constraint constraint
} }