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

Canonicalize Defs, Apply, Var, and others

Browse source
This commit is contained in:
Richard Feldman 2019-10-17 20:56:35 -04:00
parent 7cbe538492
commit 886116ce15
10 changed files with 855 additions and 690 deletions
Download patch file Download diff file Expand all files Collapse all files

11
src/solve.rs
View file

@ -26,6 +26,11 @@ pub fn solve(env: &Env, subs: &mut Subs, constraint: &Constraint) {
subs.union(actual, expected);
}
And(sub_constraints) => {
for sub_constraint in sub_constraints.iter() {
solve(env, subs, sub_constraint);
}
}
Let(let_con) => {
match let_con.ret_constraint {
True => {
@ -60,12 +65,6 @@ pub fn solve(env: &Env, subs: &mut Subs, constraint: &Constraint) {
}
}
}
And(sub_constraints) => {
// TODO drop And - we shouldn't need it anymore
for sub_constraint in sub_constraints.iter() {
solve(env, subs, sub_constraint);
}
}
}
}