language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-28 22:34:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

make sure structure variable is copied/references the copy

Browse source
This commit is contained in:
Folkert 2020-10-26 16:19:08 +01:00
parent 5fbcfe18d3
commit e176385169
1 changed files with 36 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1411,7 +1411,24 @@ fn instantiate_rigids_help(
copy
}
FlexVar(_) | RecursionVar { .. } | Error => copy,
FlexVar(_) | Error => copy,
RecursionVar {
opt_name,
structure,
} => {
let new_structure = instantiate_rigids_help(subs, max_rank, pools, structure);
subs.set(
copy,
make_descriptor(RecursionVar {
opt_name,
structure: new_structure,
}),
);
copy
}
RigidVar(name) => {
subs.set(copy, make_descriptor(FlexVar(Some(name))));
@ -1586,7 +1603,24 @@ fn deep_copy_var_help(
copy
}
FlexVar(_) | RecursionVar { .. } | Error => copy,
FlexVar(_) | Error => copy,
RecursionVar {
opt_name,
structure,
} => {
let new_structure = deep_copy_var_help(subs, max_rank, pools, structure);
subs.set(
copy,
make_descriptor(RecursionVar {
opt_name,
structure: new_structure,
}),
);
copy
}
RigidVar(name) => {
subs.set(copy, make_descriptor(FlexVar(Some(name))));