language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-27 05:49:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Make sure flex unifies with rigid-able vars correctly

Browse source
This commit is contained in:
Ayaz Hafiz 2022-10-04 13:17:12 -05:00
parent 715d88510c
commit 294244ae25
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/compiler/unify/src/unify.rs
View file

@ -2820,7 +2820,7 @@ fn unify_rigid_able<M: MetaCollector>(
match other {
FlexVar(_) => {
// If the other is flex, rigid wins!
merge(env, ctx, RigidVar(*name))
merge(env, ctx, RigidAbleVar(*name, ability))
}
FlexAbleVar(_, other_ability) => {
if ability == *other_ability {