Put a comment on UniqSupply generation back.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 3 Aug 2009 10:26:43 +0000 (12:26 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 3 Aug 2009 10:26:43 +0000 (12:26 +0200)
cλash/CLasH/Translator.hs

index 8f2c7dc98d2b05e7bc7bd2ea6baa71a95cb7ac9f..445dd9c23c32e91ef8fef94286e2770fbc29a5f9 100644 (file)
@@ -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