From 867485be125c4f367d87baf8a73873ae96e0f64d Mon Sep 17 00:00:00 2001
From: sebastianselander <sebastian.selander@gmail.com>
Date: Fri, 24 Mar 2023 17:40:57 +0100
Subject: [PATCH] removed trace

---
 src/TypeChecker/TypeChecker.hs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/TypeChecker/TypeChecker.hs b/src/TypeChecker/TypeChecker.hs
index 76013bd..03126e7 100644
--- a/src/TypeChecker/TypeChecker.hs
+++ b/src/TypeChecker/TypeChecker.hs
@@ -84,7 +84,6 @@ checkPrg (Program bs) = do
     preRun bs
     -- Type check the program twice to produce all top-level types in the first pass through
     bs' <- checkDef bs
-    trace ("FIRST ITERATION: " <> printTree bs') pure ()
     bs'' <- checkDef bs
     return $ T.Program bs''
   where
@@ -330,7 +329,6 @@ makeLambda = foldl (flip (EAbs . coerce))
 
 -- | Unify two types producing a new substitution
 unify :: T.Type -> T.Type -> Infer Subst
-unify t0 t1 | trace ("T0: " <> show t0 <> "\nT1: " <> show t1) False = undefined
 unify t0 t1 = do
     case (t0, t1) of
         (T.TFun a b, T.TFun c d) -> do