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

Fix gen tests

Browse source
This commit is contained in:
ayazhafiz 2022-02-06 13:49:49 -05:00
parent 680bf8e0b7
commit ff3596505e
2 changed files with 7 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
compiler/unify/src/unify.rs
View file

@ -88,6 +88,10 @@ impl Mode {
debug_assert!(!self.contains(Mode::EQ | Mode::PRESENT));
self.contains(Mode::PRESENT)
}
fn as_eq(self) -> Self {
(self - Mode::PRESENT) | Mode::EQ
}
}
#[derive(Debug)]
@ -405,7 +409,7 @@ fn unify_structure(
Alias(_, _, real_var) => {
// NB: not treating this as a presence constraint seems pivotal! I
// can't quite figure out why, but it doesn't seem to impact other types.
unify_pool(subs, pool, ctx.first, *real_var, Mode::EQ)
unify_pool(subs, pool, ctx.first, *real_var, ctx.mode.as_eq())
}
RangedNumber(real_var, _) => unify_pool(subs, pool, ctx.first, *real_var, ctx.mode),
Error => merge(subs, ctx, Error),