From b8efc203a4e463481bd62a4e6f63520fdb93ab73 Mon Sep 17 00:00:00 2001
From: Macocian Adrian Radu <34056556+macocianradu@users.noreply.github.com>
Date: Sun, 15 May 2022 01:53:20 +0200
Subject: [PATCH] removed some debug messages

---
 src/PrettyPrinter/Function.hs     | 2 +-
 src/Semantic/ExpressionChecker.hs | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/PrettyPrinter/Function.hs b/src/PrettyPrinter/Function.hs
index 64e6cc2..b694782 100644
--- a/src/PrettyPrinter/Function.hs
+++ b/src/PrettyPrinter/Function.hs
@@ -23,7 +23,7 @@ printFunctionBody (MakeExplicitFunction (MakeFunctionSignature name _ inp out) e
 printExpression :: ExplicitExpression -> Coercion -> Doc a
 printExpression ExplicitEmpty _ = "[]" 
 printExpression (ExplicitVariable name coer) out = case coer `coercionIncluded` out of 
-    Left err -> error $ show coer ++ " /// " ++ show out--show err
+    Left err -> error $ show err
     Right c -> printCoercion c $ pretty name
 printExpression (Value s coer) out = case coer `coercionIncluded` out of
     Left err -> error $ show err 
diff --git a/src/Semantic/ExpressionChecker.hs b/src/Semantic/ExpressionChecker.hs
index 6f6c752..c4a392a 100644
--- a/src/Semantic/ExpressionChecker.hs
+++ b/src/Semantic/ExpressionChecker.hs
@@ -96,7 +96,7 @@ checkExpression symbolMap (PathExpression ex1 (Variable b)) =
     case checkExpression symbolMap ex1 of
         Left err -> Left err
         Right exp1 -> case findAttributeType b (typeAttributes type1) of
-            Left err -> Left $ UndefinedVariable $ show type1--ex1 ++ " -> " ++ b
+            Left err -> Left $ UndefinedVariable $ show ex1 ++ " -> " ++ b
             Right exp2 -> Right $ ExplicitPath exp1 exp2 (returnCoercion exp2)
             where
                 type1 = coercionType $ typeCoercion $ returnCoercion exp1