language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-11-03 06:02:54 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

Lints

Browse source
This commit is contained in:
Ayaz Hafiz 2023-01-13 11:56:26 -06:00
parent 2f74d0b1b9
commit 91d61424ad
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 10 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/compiler/types/src/subs.rs
View file

@ -1017,7 +1017,7 @@ impl VarStore {
let next = (subs.utable.len()) as u32;
debug_assert!(next >= Variable::FIRST_USER_SPACE_VAR.0);
VarStore { next: next }
VarStore { next }
}
pub fn peek(&mut self) -> u32 {

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

@ -2426,18 +2426,16 @@ fn unify_tag_ext<M: MetaCollector>(
// Openness extensions can either unify with empty tag unions (marking them as closed),
// or flex/rigids. Anything else is a change in the monomorphic size of the tag and not
// a reflection of the polymorphism of the tag, an error.
match env.subs.get_content_without_compacting(var) {
FlexVar(..) | RigidVar(..) | FlexAbleVar(..) | RigidAbleVar(..) => true,
Structure(s) => match s {
FlatType::EmptyTagUnion => true,
_ => false,
},
Error => {
matches!(
env.subs.get_content_without_compacting(var),
FlexVar(..)
| RigidVar(..)
| FlexAbleVar(..)
| RigidAbleVar(..)
| Structure(FlatType::EmptyTagUnion)
// errors propagate
true
}
_ => false,
}
| Error,
)
}
TagExt::Any(_) => true,
};