summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Semantic.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/Semantic.hs b/Semantic.hs
index b58eac3..b734a02 100644
--- a/Semantic.hs
+++ b/Semantic.hs
@@ -65,6 +65,8 @@ instance Show Var where
instance Show Term where
show (TVar a) = show a
show (TConst a _) = show a
+ show (TApp (TApp eq lhs) rhs)
+ | isEq eq = "(" ++ (show lhs) ++ " = " ++ (show rhs) ++ ")"
show (TApp a b) = "(" ++ (show a) ++ " " ++ (show b) ++ ")"
show (TAbs a b) = "(\\" ++ (show a) ++ " -> " ++ (show b) ++ ")"