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

On branch  : master

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

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

commit e3f8557c2aca04cf64eec6a1aacde6e01c0944ff
Author: Simon Peyton Jones <[email protected]>
Date:   Fri Apr 27 16:28:02 2012 +0100

    Refactoring in CoreUtils/CoreArity
    
    In the previous commit about "aggressive primops" I wanted a new
    function CoreUtils.exprCertainlyTerminates.  In doing this I ended up
    with a significant refactoring in CoreUtils.  The new structure has
    quite a lot of nice sharing:
    
             exprIsCheap             = exprIsCheap' isHNFApp
             exprIsExpandable        = exprIsCheap' isConLikeApp
    
             exprIsHNF               = exprIsHNFlike isHNFApp
             exprIsConLike           = exprIsHNFlike isConLikeApp
             exprCertainlyTerminates = exprIsHNFlike isTerminatingApp
    
    This patch also does some renaming
    
        CheapAppFun      -->   FunAppAnalyser
        isCheapApp       -->   isHNFApp
        isExpandableApp  -->   isConLikeApp

 compiler/coreSyn/CoreArity.lhs    |    4 +-
 compiler/coreSyn/CoreUtils.lhs    |  237 ++++++++++++++++++++----------------
 compiler/simplCore/OccurAnal.lhs  |    4 +-
 compiler/simplCore/SimplUtils.lhs |   10 +-
 compiler/simplCore/Simplify.lhs   |    3 +-
 5 files changed, 143 insertions(+), 115 deletions(-)


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

    git show e3f8557c2aca04cf64eec6a1aacde6e01c0944ff

_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc

Reply via email to