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

update instantiate rigid

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

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

@ -2879,19 +2879,20 @@ fn instantiate_rigids_help(subs: &mut Subs, max_rank: Rank, initial: Variable) {
while let Some(var) = stack.pop() {
visited.push(var);
let desc = subs.get_ref_mut(var);
if desc.copy.is_some() {
if subs.get_copy(var).is_some() {
continue;
}
desc.rank = Rank::NONE;
desc.mark = Mark::NONE;
desc.copy = OptVariable::from(var);
subs.modify(var, |desc| {
desc.rank = Rank::NONE;
desc.mark = Mark::NONE;
desc.copy = OptVariable::from(var);
});
use Content::*;
use FlatType::*;
match &desc.content {
match subs.get_content_without_compacting(var) {
RigidVar(name) => {
// what it's all about: convert the rigid var into a flex var
let name = *name;