[commit: ghc] master, wip/angerman/reinstallable-lib-ghc, wip/i386-win32-builds, wip/reapply-atomic-writes: Fix map/coerce rule for newtypes with wrappers (646b6df)

[git at git.haskell.org]

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

On branches: master,wip/angerman/reinstallable-lib-ghc,wip/i386-win32-builds,wip/reapply-atomic-writes
Link       : http://ghc.haskell.org/trac/ghc/changeset/646b6dfbe125aa756a935e840979ba11b4a882c0/ghc

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

commit 646b6dfbe125aa756a935e840979ba11b4a882c0
Author: Krzysztof Gogolewski <krzysztof.gogolewski at tweag.io>
Date:   Tue Feb 26 17:22:28 2019 +0100

    Fix map/coerce rule for newtypes with wrappers
    
    This addresses Trac #16208 by marking newtype wrapper
    unfoldings as compulsory.
    
    Furthermore, we can remove the special case for newtypes
    in exprIsConApp_maybe (introduced in 7833cf407d1f).


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

646b6dfbe125aa756a935e840979ba11b4a882c0
 compiler/basicTypes/MkId.hs                        | 25 +++++++++++++++-
 compiler/coreSyn/CoreOpt.hs                        | 35 +++++-----------------
 compiler/coreSyn/CoreUtils.hs                      |  1 -
 testsuite/tests/simplCore/should_run/T16208.hs     | 17 +++++++++++
 testsuite/tests/simplCore/should_run/T16208.stdout |  1 +
 testsuite/tests/simplCore/should_run/all.T         |  1 +
 6 files changed, 51 insertions(+), 29 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 646b6dfbe125aa756a935e840979ba11b4a882c0