diff options
author | Tom Smeding <tom.smeding@gmail.com> | 2019-04-24 21:57:27 +0200 |
---|---|---|
committer | Tom Smeding <tom.smeding@gmail.com> | 2019-04-24 21:57:27 +0200 |
commit | e83d85eb08a370f3943294f21a4c27cd3b12ad09 (patch) | |
tree | 14d600ce00b99942033e44f5160e5cef169471e9 /src/Haskell/Env.hs | |
parent | 8a3653d8f30f7d0f79556f464ea781472a931b2e (diff) |
Start working on a type checkertypes
Diffstat (limited to 'src/Haskell/Env.hs')
-rw-r--r-- | src/Haskell/Env.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |