From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Mon, 3 Aug 2009 10:26:43 +0000 (+0200)
Subject: Put a comment on UniqSupply generation back.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=294beb3d9709eed0b5facdd42b2c91b65805de4b;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

Put a comment on UniqSupply generation back.
---

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