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

correctly infer invalid recors

Browse source
This commit is contained in:
Folkert 2020-01-02 23:35:42 +01:00
parent 07cfbd1589
commit 863dafa806
8 changed files with 188 additions and 79 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/solve.rs
View file

@ -59,6 +59,7 @@ impl Pools {
}
}
#[derive(Clone)]
struct State {
vars_by_symbol: Env,
mark: Mark,
@ -99,6 +100,11 @@ fn solve(
) -> State {
match constraint {
True => state,
SaveTheEnvironment => {
let mut copy = state;
copy.vars_by_symbol = vars_by_symbol.clone();
copy
}
Eq(typ, expected_type, _region) => {
let actual = type_to_var(subs, rank, pools, typ);
let expected = type_to_var(subs, rank, pools, expected_type.get_type_ref());
@ -561,6 +567,8 @@ fn adjust_rank(
let max_rank = adjust_rank_content(subs, young_mark, visit_mark, group_rank, content);
marked_desc.rank = max_rank;
debug_assert_eq!(marked_desc.mark, visit_mark);
subs.set(var, marked_desc);
max_rank