X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=c%CE%BBash%2FCLasH%2FTranslator.hs;h=a3471432e11b15067949690b75ee8ff13399d399;hb=4b87be0b9d499155084a6240b016afd57b4b30cd;hp=c35e33826b42c19dc1b8af86826c22f8093abb75;hpb=04de89474351850ea9dca0350fa383f1b2aff8ea;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

diff --git "a/c\316\273ash/CLasH/Translator.hs" "b/c\316\273ash/CLasH/Translator.hs"
index c35e338..a347143 100644
--- "a/c\316\273ash/CLasH/Translator.hs"
+++ "b/c\316\273ash/CLasH/Translator.hs"
@@ -91,11 +91,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"
   
@@ -104,13 +106,7 @@ listBind :: FilePath -> String -> String -> IO ()
 listBind libdir filename name = do
   (core, env) <- loadModule libdir filename
   let [(b, expr)] = findBinds core [name]
-  putStr "\n"
-  putStr $ prettyShow expr
-  putStr "\n\n"
-  putStr $ showSDoc $ ppr expr
-  putStr "\n\n"
-  putStr $ showSDoc $ ppr $ CoreUtils.exprType expr
-  putStr "\n\n"  
+  listBinding (b, expr)
 
 -- | Translate the binds with the given names from the given core module to
 --   VHDL. The Bool in the tuple makes the function stateful (True) or