From e83d85eb08a370f3943294f21a4c27cd3b12ad09 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom.smeding@gmail.com>
Date: Wed, 24 Apr 2019 21:57:27 +0200
Subject: Start working on a type checker

---
 src/Haskell/Env.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Haskell/Env.hs')

diff --git a/src/Haskell/Env.hs b/src/Haskell/Env.hs
index aca2367..636f298 100644
--- a/src/Haskell/Env.hs
+++ b/src/Haskell/Env.hs
@@ -11,7 +11,7 @@ data Env = Env { eDefs :: Map.Map Name Expr }
 
 instance Pretty Env where
     pretty (Env defs) =
-        Node "" [Node (n ++ " =") [pretty e] | (n, e) <- Map.assocs defs]
+        Node "" [Node (n ++ " =") [pretty e, pretty (typeOf e)] | (n, e) <- Map.assocs defs]
 
 emptyEnv :: Env
 emptyEnv = Env Map.empty
-- 
cgit v1.2.3-70-g09d2