language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-28 06:14:46 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

simplify constraints

Browse source
This commit is contained in:
Folkert 2022-05-08 20:11:12 +02:00
parent 7be41d8c09
commit b21a226281
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
1 changed files with 2 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -888,9 +888,7 @@ pub fn constrain_expr(
expected.clone(),
);
let cons = constrain_recursive_defs(constraints, env, defs, body_con);
constraints.exists([], cons)
constrain_recursive_defs(constraints, env, defs, body_con)
}
LetNonRec(def, loc_ret) => {
let mut stack = Vec::with_capacity(1);
@ -913,9 +911,7 @@ pub fn constrain_expr(
);
while let Some(def) = stack.pop() {
let cons = constrain_def(constraints, env, def, body_con);
body_con = constraints.exists([], cons)
body_con = constrain_def(constraints, env, def, body_con)
}
body_con