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

[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/a5505be2e5614007c01749ed0163e9f0055a657a/ghc

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

commit a5505be2e5614007c01749ed0163e9f0055a657a
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 add a note [Demands from unsaturated function calls]
    that hopefully comprehensively and comprehensibly explains what is going
    on here.


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

a5505be2e5614007c01749ed0163e9f0055a657a
 compiler/basicTypes/Demand.lhs |  132 +++++++++++++++++++++++++++++-----------
 compiler/stranal/DmdAnal.lhs   |    9 ++-
 2 files changed, 101 insertions(+), 40 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 a5505be2e5614007c01749ed0163e9f0055a657a