language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-26 13:29:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Allow extending Openness constraints when doing specializations

Browse source
This commit is contained in:
Ayaz Hafiz 2023-01-13 12:56:23 -06:00
parent 1d75934659
commit 20d0d62af7
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/compiler/unify/src/unify.rs
View file

@ -2437,7 +2437,9 @@ fn unify_tag_ext<M: MetaCollector>(
)
}
TagExt::Any(_) => true,
};
}
// Tag unions are always extendable during specialization
|| M::IS_LATE;
if legal_unification {
if flip_for_unify {
unify_pool(env, pool, var, ext.var(), mode)