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

Run builtin opaques and abilities through derive key

Browse source
This commit is contained in:
Ayaz Hafiz 2023-03-20 15:27:48 -04:00
parent f079e8c96b
commit 075332ec88
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/solve/src/specialize.rs
View file

@ -625,7 +625,9 @@ fn make_specialization_decision<P: Phase>(
use Content::*; use Content::*;
use SpecializationTypeKey::*; use SpecializationTypeKey::*;
match subs.get_content_without_compacting(var) { match subs.get_content_without_compacting(var) {
Alias(opaque, _, _, AliasKind::Opaque) if opaque.module_id() != ModuleId::NUM => { Alias(opaque, _, _, AliasKind::Opaque)
if !matches!(opaque.module_id(), ModuleId::NUM | ModuleId::BOOL) =>
{
if P::IS_LATE { if P::IS_LATE {
SpecializeDecision::Specialize(Opaque(*opaque)) SpecializeDecision::Specialize(Opaque(*opaque))
} else { } else {