roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-11-10 18:08:55 +03:00
Code Issues Packages Projects Releases Wiki Activity

Generalize tag openness extension variables

Browse Source
This commit is contained in:
Ayaz Hafiz 2023-01-13 10:46:27 -06:00
parent 281b71cf94
commit a47841d426
No known key found for this signature in database
GPG Key ID: 0E2A37416A25EF58
1 changed files with 13 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
crates/compiler/solve/src/solve.rs
View File

@ -4068,6 +4068,16 @@ fn deep_copy_var_help(
}};
}
// When generalizing annotations with `Openness` extensions
// we want to promote them to `Any`, so that usages at
// specialized sites can grow unboundedly and are not bound to
// openness-polymorphism.
macro_rules! copy_tag_ext {
($ext:expr) => {
TagExt::Any(work!($ext.var()))
};
}
while let Some(DeepCopyVarWork { source: var, copy }) = stack.pop() {
visited.push(var);
pool.push(copy);
@ -4141,17 +4151,17 @@ fn deep_copy_var_help(
TagUnion(tags, ext_var) => {
let union_tags = copy_union!(tags);
TagUnion(union_tags, ext_var.map(|v| work!(v)))
TagUnion(union_tags, copy_tag_ext!(ext_var))
}
FunctionOrTagUnion(tag_name, symbol, ext_var) => {
FunctionOrTagUnion(tag_name, symbol, ext_var.map(|v| work!(v)))
FunctionOrTagUnion(tag_name, symbol, copy_tag_ext!(ext_var))
}
RecursiveTagUnion(rec_var, tags, ext_var) => {
let union_tags = copy_union!(tags);
RecursiveTagUnion(work!(rec_var), union_tags, ext_var.map(|v| work!(v)))
RecursiveTagUnion(work!(rec_var), union_tags, copy_tag_ext!(ext_var))
}
};