[commit: ghc] master: Make the simplifier propagate strictness through casts (b2ba8ae)

[Simon Peyton Jones]

Repository : http://darcs.haskell.org/ghc.git/

On branch  : master

https://github.com/ghc/ghc/commit/b2ba8ae5728408a80fd4882d938f9cf129554397

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

commit b2ba8ae5728408a80fd4882d938f9cf129554397
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue May 28 09:05:07 2013 +0100

    Make the simplifier propagate strictness through casts
    
    E.g.  (f e1 |> g) e2
    If f is strict in two aguments, we want to see that in e2
    
    Hence ArgSpec in SimplUtils

 compiler/simplCore/SimplUtils.lhs | 64 ++++++++++++++++++++++++++++++---------
 compiler/simplCore/Simplify.lhs   | 60 +++++++++++++++++++-----------------
 2 files changed, 83 insertions(+), 41 deletions(-)


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

    git show b2ba8ae5728408a80fd4882d938f9cf129554397