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

update instantiate rigid

Browse source
This commit is contained in:
Folkert 2022-05-20 21:18:52 +02:00
parent 22ca51c881
commit f2deb37a30
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
1 changed files with 16 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -2899,17 +2899,25 @@ fn instantiate_rigids_help(subs: &mut Subs, max_rank: Rank, initial: Variable) {
// NOTE: we must write to the mutually borrowed `desc` value here
// using `subs.set` does not work (unclear why, really)
// but get_ref_mut approach saves a lookup, so the weirdness is worth it
desc.content = FlexVar(Some(name));
desc.rank = max_rank;
desc.mark = Mark::NONE;
desc.copy = OptVariable::NONE;
subs.modify(var, |d| {
*d = Descriptor {
content: FlexVar(Some(name)),
rank: max_rank,
mark: Mark::NONE,
copy: OptVariable::NONE,
}
})
}
&RigidAbleVar(name, ability) => {
// Same as `RigidVar` above
desc.content = FlexAbleVar(Some(name), ability);
desc.rank = max_rank;
desc.mark = Mark::NONE;
desc.copy = OptVariable::NONE;
subs.modify(var, |d| {
*d = Descriptor {
content: FlexAbleVar(Some(name), ability),
rank: max_rank,
mark: Mark::NONE,
copy: OptVariable::NONE,
}
})
}
FlexVar(_) | FlexAbleVar(_, _) | Error => (),