[commit: ghc] ghc-7.2: The implementation of "weak loop breakers" was being too clever (85ab000)

[Ian Lynagh]

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : ghc-7.2

http://hackage.haskell.org/trac/ghc/changeset/85ab0000af58f16ea5dca2039e7bb99fa6142711

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

commit 85ab0000af58f16ea5dca2039e7bb99fa6142711
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Jul 25 18:01:59 2011 +0100

    The implementation of "weak loop breakers" was being too clever
    
    The too-clever-ness meant that a variable could just go out
    of scope; this happened in building System.Consol.Haskeline.Backend.Terminfo
    in the haskeline library.
    
    This patch makes the weak-loopbreaker computation simpler, and a bit
    more conserative; which fixes the bug, and doesn't make any difference
    to the code in the end.

 compiler/simplCore/OccurAnal.lhs |   98 ++++++++++++++++++++++----------------
 1 files changed, 57 insertions(+), 41 deletions(-)


Diff suppressed because of size. To see it, use:

    git show 85ab0000af58f16ea5dca2039e7bb99fa6142711