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
Throw away old and unused functions for state.
[matthijs/master-project/cλash.git]
/
cλash
/
CLasH
/
Normalize.hs
diff --git
a/cλash/CLasH/Normalize.hs
b/cλash/CLasH/Normalize.hs
index f3a9d2e4662ca2e204d761fa1c80fc4272628a73..ec3ed56bde3da6b606a1855e0dfdd34d50bca922 100644
(file)
--- a/
cλash/CLasH/Normalize.hs
+++ b/
cλash/CLasH/Normalize.hs
@@
-574,9
+574,9
@@
normalizeExpr what expr = do
-- the last let).
let expr' = Let (Rec []) expr
-- Normalize this expression
-- the last let).
let expr' = Let (Rec []) expr
-- Normalize this expression
- trace (
"Transforming " ++ what ++ "\nBefore
:\n\n" ++ showSDoc ( ppr expr' ) ++ "\n") $ return ()
+ trace (
what ++ " before normalization
:\n\n" ++ showSDoc ( ppr expr' ) ++ "\n") $ return ()
expr'' <- dotransforms transforms expr'
expr'' <- dotransforms transforms expr'
- trace ("\n
After
:\n\n" ++ showSDoc ( ppr expr'')) $ return ()
+ trace ("\n
" ++ what ++ " after normalization
:\n\n" ++ showSDoc ( ppr expr'')) $ return ()
return expr''
-- | Get the value that is bound to the given binder at top level. Fails when
return expr''
-- | Get the value that is bound to the given binder at top level. Fails when