From 36b6a8f78171b376a78096f7f673c05905bb5186 Mon Sep 17 00:00:00 2001
From: sebastianselander <sebastian.selander@gmail.com>
Date: Wed, 29 Mar 2023 17:32:21 +0200
Subject: [PATCH] removed trace

---
 src/TypeChecker/TypeCheckerHm.hs | 22 ++++++++++++++--------
 1 file changed, 14 insertions(+), 8 deletions(-)

diff --git a/src/TypeChecker/TypeCheckerHm.hs b/src/TypeChecker/TypeCheckerHm.hs
index ea819fc..3ae6df2 100644
--- a/src/TypeChecker/TypeCheckerHm.hs
+++ b/src/TypeChecker/TypeCheckerHm.hs
@@ -54,8 +54,6 @@ checkPrg (Program bs) = do
     preRun bs
     bs <- checkDef bs
     sub <- solveUndecidable
-    dec <- gets toDecide
-    trace (printTree bs) pure ()
     bs <- mapM (mono sub) bs
     return $ T.Program bs
 
@@ -778,9 +776,13 @@ exprErr :: (Monad m, MonadError Error m) => m a -> Exp -> m a
 exprErr ma exp =
     catchError
         ma
-        ( \err -> if err.catchable
-                then throwError
-                        ( err { msg = err.msg
+        ( \err ->
+            if err.catchable
+                then
+                    throwError
+                        ( err
+                            { msg =
+                                err.msg
                                     <> " in expression: \n"
                                     <> printTree exp
                             , catchable = False
@@ -793,9 +795,13 @@ bindErr :: (Monad m, MonadError Error m) => m a -> Bind -> m a
 bindErr ma bind =
     catchError
         ma
-        ( \err -> if err.catchable
-                then throwError
-                        ( err { msg = err.msg
+        ( \err ->
+            if err.catchable
+                then
+                    throwError
+                        ( err
+                            { msg =
+                                err.msg
                                     <> " in function: \n"
                                     <> printTree bind
                             , catchable = False