[commit: ghc] wip/nested-cpr: Make types of bothDmdType more precise (0c44351)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/nested-cpr
Link       : http://ghc.haskell.org/trac/ghc/changeset/0c44351d905ddaf5d5d96819fc3c8a15cbf478bf/ghc

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

commit 0c44351d905ddaf5d5d96819fc3c8a15cbf478bf
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Mon Dec 9 18:40:09 2013 +0000

    Make types of bothDmdType more precise
    
    by only passing the demand on the free variables, and whether the
    argument (resp. scrunitee) may or will diverge.
    
    Also make different postProcess code paths for function arguments
    (which are post-processed just to be both'ed) and unsaturated functions
    (which are post-processed for other reasons.)
    
    Also rename a few functions related to unsaturated function calls
    (postProcessDmdType to postProcessUnsat, useType to reuseType,...)
    
    Also add a note [Demands from unsaturated function calls]
    that hopefully comprehensively and comprehensibly explains what is going
    on here.


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

0c44351d905ddaf5d5d96819fc3c8a15cbf478bf
 compiler/basicTypes/Demand.lhs |  214 +++++++++++++++++++++++++++-------------
 compiler/stranal/DmdAnal.lhs   |   14 +--
 2 files changed, 150 insertions(+), 78 deletions(-)

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

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc 0c44351d905ddaf5d5d96819fc3c8a15cbf478bf