removed some debug messages

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 

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