language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-11 14:26:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Fix rigid able bindings to abilities

Browse source
This commit is contained in:
Ayaz Hafiz 2022-10-11 15:47:45 -05:00
parent 20e4295eea
commit 65f1bd2907
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
crates/compiler/solve/src/solve.rs
View file

@ -2746,6 +2746,9 @@ fn type_to_variable<'a>(
&Content::RigidVar(a) => {
subs.set_content(var, Content::RigidAbleVar(a, ability));
}
&Content::RigidAbleVar(_, ab) if ab == ability => {
// pass, already bound
}
_ => {
let flex_ability = subs.fresh(Descriptor {
content: Content::FlexAbleVar(None, ability),