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"
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