projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
TysWiredIn is now warning-free
[ghc-hetmet.git]
/
compiler
/
cmm
/
ZipDataflow0.hs
diff --git
a/compiler/cmm/ZipDataflow0.hs
b/compiler/cmm/ZipDataflow0.hs
index
3a3b0a8
..
00f15db
100644
(file)
--- a/
compiler/cmm/ZipDataflow0.hs
+++ b/
compiler/cmm/ZipDataflow0.hs
@@
-244,7
+244,7
@@
fold_edge_facts_with_nodes_b :: LastNode l
-- fixed point iteratively starting from somewhere other than bottom
-- (as in the reachability analysis done for proc points).
-- fixed point iteratively starting from somewhere other than bottom
-- (as in the reachability analysis done for proc points).
-class (Outputable m, Outputable l, LastNode l, Outputable (LGraph m l)) => DebugNodes m l
+class (Outputable m, Outputable l, LastNode l) => DebugNodes m l
refine_f_anal :: (DebugNodes m l, LastNode l, Outputable a) =>
FAnalysis m l a -> LGraph m l -> DFA a () -> DFA a ()
refine_f_anal :: (DebugNodes m l, LastNode l, Outputable a) =>
FAnalysis m l a -> LGraph m l -> DFA a () -> DFA a ()
@@
-1088,10
+1088,6
@@
subAnalysis' m =
where pprFacts env = nest 2 $ vcat $ map pprFact $ ufmToList env
pprFact (id, a) = hang (ppr id <> colon) 4 (ppr a)
where pprFacts env = nest 2 $ vcat $ map pprFact $ ufmToList env
pprFact (id, a) = hang (ppr id <> colon) 4 (ppr a)
-
-_unused :: FS.FastString
-_unused = undefined
-
null_b_ft = BComp "do nothing" Nothing no2 no2 no2
where no2 _ _ = Nothing
null_b_ft = BComp "do nothing" Nothing no2 no2 no2
where no2 _ _ = Nothing