From 294beb3d9709eed0b5facdd42b2c91b65805de4b Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Mon, 3 Aug 2009 12:26:43 +0200 Subject: [PATCH] Put a comment on UniqSupply generation back. --- "c\316\273ash/CLasH/Translator.hs" | 5 +++++ 1 file changed, 5 insertions(+) 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 -- 2.30.2