language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-29 06:44:46 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

add either_type_index_to_var

Browse source
This commit is contained in:
Folkert 2022-03-13 01:45:23 +01:00
parent 59c2c05588
commit da03b0c2b3
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
1 changed files with 21 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

21
compiler/solve/src/solve.rs
View file

@ -850,6 +850,27 @@ fn put_scratchpad(scratchpad: bumpalo::Bump) {
});
}
fn either_type_index_to_var(
constraints: &Constraints,
subs: &mut Subs,
rank: Rank,
pools: &mut Pools,
_alias_map: &mut MutMap<Symbol, Variable>,
either_type_index: roc_collections::soa::EitherIndex<Type, Variable>,
) -> Variable {
match either_type_index.split() {
Ok(type_index) => {
let typ = &constraints.types[type_index.index()];
type_to_var(subs, rank, pools, _alias_map, typ)
}
Err(var_index) => {
let var = constraints.variables[var_index.index()];
var
}
}
}
fn type_to_var(
subs: &mut Subs,
rank: Rank,