This commit is contained in:
Folkert 2021-07-30 23:44:42 +02:00
parent 894ef2b7b2
commit 0a0442657f
2 changed files with 1 additions and 10 deletions

View file

@ -949,8 +949,6 @@ fn circular_error(
let (error_type, _) = subs.var_to_error_type(var);
let problem = TypeError::CircularType(loc_var.region, symbol, error_type);
dbg!("circular error");
subs.set_content(var, Content::Error);
problems.push(problem);

View file

@ -1080,14 +1080,7 @@ fn occurs(
.iter()
.map(|(_, var)| var)
.chain(lambda_set_variables.iter().map(|x| x.as_inner()));
let x = short_circuit(subs, root_var, &new_seen, it);
if let Some(_) = x {
dbg!(symbol, type_arguments, lambda_set_variables);
dbg!(&subs);
}
x
short_circuit(subs, root_var, &new_seen, it)
}
}
}