From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Tue, 28 Jul 2009 13:40:41 +0000 (+0200)
Subject: Show type of binder in listBinding.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=bc592bd13167eac05619653e84857ee7ab5035c1;hp=8afc4063314d462b16d6138d9f0495a1f9cba9d3;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

Show type of binder in listBinding.
---

diff --git "a/c\316\273ash/CLasH/Translator.hs" "b/c\316\273ash/CLasH/Translator.hs"
index 1be9445..caa0207 100644
--- "a/c\316\273ash/CLasH/Translator.hs"
+++ "b/c\316\273ash/CLasH/Translator.hs"
@@ -89,11 +89,13 @@ listBinding :: (CoreBndr, CoreExpr) -> IO ()
 listBinding (b, e) = do
   putStr "\nBinder: "
   putStr $ show b
-  putStr "\nExpression: \n"
+  putStr "\nType of Binder: \n"
+  putStr $ showSDoc $ ppr $ Var.varType b
+  putStr "\n\nExpression: \n"
   putStr $ prettyShow e
   putStr "\n\n"
   putStr $ showSDoc $ ppr e
-  putStr "\n\n"
+  putStr "\n\nType of Expression: \n"
   putStr $ showSDoc $ ppr $ CoreUtils.exprType e
   putStr "\n\n"