[commit: ghc] wip/T16208: Fix map/coerce rule for newtypes with wrappers (7cc5844)

[git at git.haskell.org]

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

On branch  : wip/T16208
Link       : http://ghc.haskell.org/trac/ghc/changeset/7cc5844bfc3d5b1460f441ca48c5a7d2f5945be7/ghc

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

commit 7cc5844bfc3d5b1460f441ca48c5a7d2f5945be7
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).


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

7cc5844bfc3d5b1460f441ca48c5a7d2f5945be7
 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 7cc5844bfc3d5b1460f441ca48c5a7d2f5945be7