language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-04 12:18:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

deal with Frac * -> Dec

Browse source
This commit is contained in:
Brendan Hansknecht 2023-11-28 15:22:30 -08:00
parent 01032c3b11
commit 1b7fdc9522
No known key found for this signature in database
GPG key ID: 0EA784685083E75B
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
crates/compiler/derive_key/src/inspect.rs
View file

@ -141,8 +141,11 @@ impl FlatInspectable {
AliasKind::Structural => {
Self::from_var(subs, real_var)
}
// Special case, an unbound `Frac *` will become a `Dec`.
AliasKind::Opaque if matches!(*subs.get_content_without_compacting(real_var), Content::FlexVar(_) | Content::FlexAbleVar(_, _)) => {
Immediate(Symbol::INSPECT_DEC)
}
AliasKind::Opaque if sym.is_builtin() => {
// TODO: Is this correct for all builtins? It is at least required for the Num wrapper types.
Self::from_var(subs, real_var)
}
AliasKind::Opaque => {