From 3755d41b594546352db366e41c71ba009a3e3fa6 Mon Sep 17 00:00:00 2001
From: sebastianselander <sebastian.selander@gmail.com>
Date: Mon, 8 May 2023 20:44:20 +0200
Subject: [PATCH] Removed trace

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

diff --git a/src/TypeChecker/TypeCheckerHm.hs b/src/TypeChecker/TypeCheckerHm.hs
index 0baae6d..3e518a8 100644
--- a/src/TypeChecker/TypeCheckerHm.hs
+++ b/src/TypeChecker/TypeCheckerHm.hs
@@ -194,7 +194,6 @@ checkBind (Bind name args e) = do
     case M.lookup (coerce name) s of
         Just (Just typSig) -> do
             env <- asks vars
-            trace ("ENV IN CHECKBIND: " ++ show env) pure ()
             let genInfSig = generalize mempty infSig
             sub <- genInfSig `unify` typSig
             unless
@@ -666,7 +665,6 @@ fresh = do
         let sub = M.fromList [(coerce x, fr) | (MkTVar x) <- tvars]
         let t1' = apply sub t1
         let t2' = apply sub t2
-        traceShow t1' (traceShow t2' pure ())
         return (t1' <<= t2')
 
 -- | A class for substitutions