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

[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/8c20ef4f13b16fef39b997bf5a52cdfb9bbe8390/ghc

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

commit 8c20ef4f13b16fef39b997bf5a52cdfb9bbe8390
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.


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

8c20ef4f13b16fef39b997bf5a52cdfb9bbe8390
 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 8c20ef4f13b16fef39b997bf5a52cdfb9bbe8390