projects
/
matthijs
/
master-project
/
cλash.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'master' of git://github.com/christiaanb/clash into cλash
[matthijs/master-project/cλash.git]
/
cλash
/
CLasH
/
Translator.hs
diff --git
a/cλash/CLasH/Translator.hs
b/cλash/CLasH/Translator.hs
index c35e33826b42c19dc1b8af86826c22f8093abb75..a3471432e11b15067949690b75ee8ff13399d399 100644
(file)
--- a/
cλash/CLasH/Translator.hs
+++ b/
cλash/CLasH/Translator.hs
@@
-91,11
+91,13
@@
listBinding :: (CoreBndr, CoreExpr) -> IO ()
listBinding (b, e) = do
putStr "\nBinder: "
putStr $ show b
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 $ prettyShow e
putStr "\n\n"
putStr $ showSDoc $ ppr e
- putStr "\n\n"
+ putStr "\n\n
Type of Expression: \n
"
putStr $ showSDoc $ ppr $ CoreUtils.exprType e
putStr "\n\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]
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
-- | 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