This commit is contained in:
Ayaz Hafiz 2022-06-01 11:12:40 -05:00
parent 0fa4aa8cbd
commit 5b7f4ef5ec
No known key found for this signature in database
GPG Key ID: 0E2A37416A25EF58
2 changed files with 6 additions and 4 deletions

View File

@ -961,7 +961,7 @@ pub enum ResolvedLambdaSet {
Unbound,
}
pub fn resolve_lambda_set<'a>(subs: &'a Subs, mut var: Variable) -> ResolvedLambdaSet {
pub fn resolve_lambda_set(subs: &Subs, mut var: Variable) -> ResolvedLambdaSet {
let mut set = vec![];
loop {
match subs.get_content_without_compacting(var) {

View File

@ -2917,7 +2917,7 @@ fn occurs(
}
#[inline(always)]
fn occurs_union_tags<'a>(
fn occurs_union_tags(
subs: &Subs,
root_var: Variable,
seen: &[Variable],
@ -2928,7 +2928,7 @@ fn occurs_union_tags<'a>(
let slice = subs[slice_index];
for var_index in slice {
let var = subs[var_index];
short_circuit_help(subs, root_var, &seen, var, include_recursion_var)?;
short_circuit_help(subs, root_var, seen, var, include_recursion_var)?;
}
}
Ok(())
@ -3766,7 +3766,9 @@ fn restore_help(subs: &mut Subs, initial: Variable) {
stack.extend(var_slice(slice));
}
recursion_var.into_variable().map(|v| stack.push(v));
if let Some(v) = recursion_var.into_variable() {
stack.push(v);
}
}
RangedNumber(typ, _vars) => {