[commit: ghc] master: Improve SetLevels for join points (6eb52cf)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/6eb52cfc2e31df2561860f43d41766464ccfe8af/ghc

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

commit 6eb52cfc2e31df2561860f43d41766464ccfe8af
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Feb 28 20:23:15 2017 -0500

    Improve SetLevels for join points
    
    C.f. Trac #13286, #13236
    
    * Never destroy a join point unless it goes to top level
      See Note [Floating join point bindings]
    
    * Never float a MFE if it has a free join variable
      Note [Free join points]
    
    * Stop treating nullary join points specially
    
    * Enforce the invariant that le_join_ceil >= le_ctxt_lvl
      (Needs more thought...)
    
    Reviewers: austin, bgamari
    
    Subscribers: thomie
    
    Differential Revision: https://phabricator.haskell.org/D3199


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

6eb52cfc2e31df2561860f43d41766464ccfe8af
 compiler/simplCore/SetLevels.hs | 301 +++++++++++++++++++---------------------
 1 file changed, 144 insertions(+), 157 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 6eb52cfc2e31df2561860f43d41766464ccfe8af