X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fcmm%2FZipDataflow.hs;h=535b041703fdf79d44982be39edadf948e83f73b;hb=4ddba4629c5396bec766b598fe32d874a378d7bb;hp=df05680e4fca66ae69b654cb53f2f3af12f434b8;hpb=081b86a6337e4bc89b6cc76a57663ae146f32d94;p=ghc-hetmet.git

diff --git a/compiler/cmm/ZipDataflow.hs b/compiler/cmm/ZipDataflow.hs
index df05680..535b041 100644
--- a/compiler/cmm/ZipDataflow.hs
+++ b/compiler/cmm/ZipDataflow.hs
@@ -1,4 +1,4 @@
-{-# OPTIONS -Wall -fno-warn-name-shadowing #-}
+
 {-# LANGUAGE MultiParamTypeClasses #-}
 module ZipDataflow
   ( Answer(..)
@@ -460,8 +460,12 @@ solve_and_rewrite_b comp fuel graph exit_fact =
                    ; -- continue at entry of g
                      propagate fuel h a t rewritten'
                    } 
-          -- propagate :: OptimizationFuel -> G.ZHead m -> a -> G.ZTail m l ->
-          --              BlockEnv (Block m l) -> DFM a (OptimizationFuel, G.LGraph m l)
+          -- propagate :: OptimizationFuel
+	  --	       -> G.ZHead m		-- Part of current block yet to be rewritten
+	  --	       -> a			-- Fact on edge between head and tail
+	  --	       -> G.ZTail m l		-- Part of current block already rewritten
+          --           -> BlockEnv (Block m l)	-- These blocks have been rewritten
+	  --	       -> DFM a (OptimizationFuel, G.LGraph m l)
           propagate fuel (G.ZHead h m) out tail rewritten =
               bc_middle_in comp out m fuel >>= \x -> case x of
                 Dataflow a -> propagate fuel h a (G.ZTail m tail) rewritten