From 839c1dd879534952f253bbcd5a4405abd1287f6a Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Thu, 10 May 2012 16:39:44 +1000 Subject: Improved display of = terms --- Semantic.hs | 2 ++ 1 file changed, 2 insertions(+) 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) ++ ")" -- cgit