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

Remove some resolved todos

Browse source
This commit is contained in:
Ayaz Hafiz 2022-10-17 10:22:59 -05:00
parent 66e75b8660
commit 0642952d05
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -2725,14 +2725,12 @@ fn type_to_variable<'a>(
SubsSlice::extend_new(&mut subs.symbol_names, abilities.sorted_iter().copied()); SubsSlice::extend_new(&mut subs.symbol_names, abilities.sorted_iter().copied());
subs.set_content(var, Content::RigidAbleVar(a, abilities_slice)); subs.set_content(var, Content::RigidAbleVar(a, abilities_slice));
} }
// TODO(multi-abilities)
Content::RigidAbleVar(_, abs) Content::RigidAbleVar(_, abs)
if (subs.get_subs_slice(abs).iter()).eq(abilities.sorted_iter()) => if (subs.get_subs_slice(abs).iter()).eq(abilities.sorted_iter()) =>
{ {
// pass, already bound // pass, already bound
} }
_ => { _ => {
// TODO(multi-abilities)
let abilities_slice = let abilities_slice =
SubsSlice::extend_new(&mut subs.symbol_names, abilities.sorted_iter().copied()); SubsSlice::extend_new(&mut subs.symbol_names, abilities.sorted_iter().copied());
let flex_ability = subs.fresh(Descriptor { let flex_ability = subs.fresh(Descriptor {