[commit: hoopl] master: Fix premature termination of fixpoint iteration. (ad56ab2)

[Edward Z. Yang]

Repository : ssh://darcs.haskell.org//srv/darcs/packages/hoopl

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/ad56ab202d8533f0233a753ff0b177407c10613f

>---------------------------------------------------------------

commit ad56ab202d8533f0233a753ff0b177407c10613f
Author: Edward Z. Yang <ezyang at mit.edu>
Date:   Mon Apr 11 16:32:28 2011 +0100

    Fix premature termination of fixpoint iteration.
    
    Signed-off-by: Edward Z. Yang <ezyang at mit.edu>

>---------------------------------------------------------------

 src/Compiler/Hoopl/Dataflow.hs |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/Compiler/Hoopl/Dataflow.hs b/src/Compiler/Hoopl/Dataflow.hs
index f334d7a..5a3ea62 100644
--- a/src/Compiler/Hoopl/Dataflow.hs
+++ b/src/Compiler/Hoopl/Dataflow.hs
@@ -590,7 +590,7 @@ fixpoint direction lat do_block blocks init_fbase
       | otherwise
       = do { (rg, out_facts) <- do_block blk fbase
            ; let (cha', fbase') = mapFoldWithKey
-                                  (updateFact lat lbls) 
+                                  (updateFact lat lbls')
                                   (cha,fbase) out_facts
            ; return $
                TxFB { tfb_lbls  = lbls'