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

Include specialization symbols

Browse source
This commit is contained in:
Ayaz Hafiz 2022-06-03 15:11:46 -05:00
parent 0476d4a65c
commit 8b78e92051
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
3 changed files with 36 additions and 23 deletions
Download patch file Download diff file Expand all files Collapse all files

13
compiler/solve/src/solve.rs
View file

@ -1828,9 +1828,16 @@ fn compact_lambda_set(
}
};
let specialized_lambda_set = abilities_store
.get_specializaton_lambda_set(*opaque, member, region)
.expect("lambda set not resolved, or opaque doesn't specialize");
let specialized_lambda_set = match abilities_store.get_specialization(member, *opaque) {
None => {
// doesn't specialize, we'll have reported an error for this
continue;
}
Some(specialization) => *specialization
.specialization_lambda_sets
.get(&region)
.expect("lambda set region not resolved"),
};
compact_lambda_set(subs, pools, abilities_store, specialized_lambda_set);