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
Put a comment on UniqSupply generation back.
[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 8f2c7dc98d2b05e7bc7bd2ea6baa71a95cb7ac9f..445dd9c23c32e91ef8fef94286e2770fbc29a5f9 100644
(file)
--- a/
cλash/CLasH/Translator.hs
+++ b/
cλash/CLasH/Translator.hs
@@
-100,6
+100,11
@@
moduleToVHDL env cores top init test stateful = do
let initialState = Maybe.catMaybes init
let isStateful = not (null initialState) || stateful
let testInput = Maybe.catMaybes test
let initialState = Maybe.catMaybes init
let isStateful = not (null initialState) || stateful
let testInput = Maybe.catMaybes test
+ -- Generate a UniqSupply
+ -- Running
+ -- egrep -r "(initTcRnIf|mkSplitUniqSupply)" .
+ -- on the compiler dir of ghc suggests that 'z' is not used to generate
+ -- a unique supply anywhere.
uniqSupply <- UniqSupply.mkSplitUniqSupply 'z'
let all_bindings = concat (map (\x -> CoreSyn.flattenBinds (HscTypes.cm_binds x)) cores)
let testexprs = case testInput of [] -> [] ; [x] -> reduceCoreListToHsList x
uniqSupply <- UniqSupply.mkSplitUniqSupply 'z'
let all_bindings = concat (map (\x -> CoreSyn.flattenBinds (HscTypes.cm_binds x)) cores)
let testexprs = case testInput of [] -> [] ; [x] -> reduceCoreListToHsList x