diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2012-05-10 16:39:44 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2012-05-10 17:01:35 +1000 |
| commit | 839c1dd879534952f253bbcd5a4405abd1287f6a (patch) | |
| tree | 977a858f6b857baae9348a5688030ab1944397e9 | |
| parent | e3ef1ba861661d2c20bb2ce79c6132704e7d12ed (diff) | |
Improved display of = terms
| -rw-r--r-- | Semantic.hs | 2 |
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) ++ ")" |