From 0a0442657f87b6df87d24ad3953f91dfb87c5abe Mon Sep 17 00:00:00 2001 From: Folkert Date: Fri, 30 Jul 2021 23:44:42 +0200 Subject: [PATCH] cleanup --- compiler/solve/src/solve.rs | 2 -- compiler/types/src/subs.rs | 9 +-------- 2 files changed, 1 insertion(+), 10 deletions(-) diff --git a/compiler/solve/src/solve.rs b/compiler/solve/src/solve.rs index e9a9978cf1..3ddf9c580a 100644 --- a/compiler/solve/src/solve.rs +++ b/compiler/solve/src/solve.rs @@ -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); diff --git a/compiler/types/src/subs.rs b/compiler/types/src/subs.rs index d6eec3a748..098329b826 100644 --- a/compiler/types/src/subs.rs +++ b/compiler/types/src/subs.rs @@ -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) } } }