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