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

Solve Pattern constraints

Browse source
This commit is contained in:
Richard Feldman 2019-11-09 03:30:41 -05:00
parent cf1306c463
commit 4611211d34
1 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/solve.rs
View file

@ -31,8 +31,12 @@ pub fn solve(env: &Env, subs: &mut Subs, constraint: &Constraint) {
solve(env, subs, sub_constraint);
}
}
Pattern(_, _, _, _) => {
panic!("TODO solve patterns");
Pattern(_region, _category, typ, expected) => {
// TODO use region?
let actual = type_to_variable(subs, typ.clone());
let expected = type_to_variable(subs, expected.clone().get_type());
subs.union(actual, expected);
}
Let(let_con) => {
match let_con.ret_constraint {