[commit: ghc] master: Float unboxed expressions by boxing (bc3d37d)

[git at git.haskell.org]

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

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

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

commit bc3d37dada357b04fc5a35f740b4fe7e05292b06
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri Dec 9 00:04:00 2016 +0000

    Float unboxed expressions by boxing
    
    This patch makes GHC's floating more robust, by allowing it
    to float unboxed expressions of at least some common types.
    
    See Note [Floating MFEs of unlifted type] in SetLevels.
    
    This was all provoked by Trac #12603


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

bc3d37dada357b04fc5a35f740b4fe7e05292b06
 compiler/prelude/TysPrim.hs                        |  12 +-
 compiler/prelude/TysWiredIn.hs                     |  28 ++++
 compiler/simplCore/SetLevels.hs                    | 155 ++++++++++++++-------
 testsuite/tests/simplCore/should_compile/Makefile  |   4 +
 testsuite/tests/simplCore/should_compile/T12603.hs |  45 ++++++
 .../tests/simplCore/should_compile/T12603.stdout   |   1 +
 testsuite/tests/simplCore/should_compile/all.T     |   4 +
 7 files changed, 195 insertions(+), 54 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 bc3d37dada357b04fc5a35f740b4fe7e05292b06