[commit: ghc] master: Make the treatment of addAltUnfoldings handle casts (545fd8b)

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/545fd8b9217e0230b90da211f9672dc3c2ead2d1

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

commit 545fd8b9217e0230b90da211f9672dc3c2ead2d1
Author: Simon Peyton Jones <[email protected]>
Date:   Mon Dec 24 13:43:30 2012 +0000

    Make the treatment of addAltUnfoldings handle casts
    
    This minor refactoring re-attaches Note [Add unfolding for scrutinee].
    It had become detached, which led me on a bit of a wild goose
    chase.
    
    While I was at it, I made the code work right for the case where
    the scrutinee is of form (x |> co); I don't think this is an important
    improvement.
    
    I also make simplAlt unconditionally zap occurrence information on
    case-alternative binders (see Note [Case alternative occ info]);
    it was almost always being zapped and the additional complexity seems
    not worth it.

 compiler/simplCore/Simplify.lhs |   96 ++++++++++++++++++++++-----------------
 1 files changed, 54 insertions(+), 42 deletions(-)


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

    git show 545fd8b9217e0230b90da211f9672dc3c2ead2d1