X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=c%CE%BBash%2FCLasH%2FTranslator.hs;h=445dd9c23c32e91ef8fef94286e2770fbc29a5f9;hb=294beb3d9709eed0b5facdd42b2c91b65805de4b;hp=8f2c7dc98d2b05e7bc7bd2ea6baa71a95cb7ac9f;hpb=e0e788e2f29dd85895c511e294718d440a42061d;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

diff --git "a/c\316\273ash/CLasH/Translator.hs" "b/c\316\273ash/CLasH/Translator.hs"
index 8f2c7dc..445dd9c 100644
--- "a/c\316\273ash/CLasH/Translator.hs"
+++ "b/c\316\273ash/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