[commit: ghc] master: Fix #13233 by checking for lev-poly primops (b460d6c)

[git at git.haskell.org]

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

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

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

commit b460d6c99316deac2b8022a4fb7dddc57c052a2a
Author: Richard Eisenberg <rae at cs.brynmawr.edu>
Date:   Tue May 2 18:56:30 2017 -0400

    Fix #13233 by checking for lev-poly primops
    
    The implementation plan is all in Note [Detecting forced eta expansion]
    in DsExpr.
    
    Test Plan: ./validate, codeGen/should_fail/T13233
    
    Reviewers: simonpj, austin, bgamari
    
    Subscribers: rwbarton, thomie
    
    GHC Trac Issues: #13233
    
    Differential Revision: https://phabricator.haskell.org/D3490


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

b460d6c99316deac2b8022a4fb7dddc57c052a2a
 compiler/coreSyn/CoreLint.hs                      |   4 +-
 compiler/coreSyn/CoreSyn.hs                       |   3 +-
 compiler/deSugar/Check.hs                         |   2 +-
 compiler/deSugar/DsArrows.hs                      |   4 +-
 compiler/deSugar/DsExpr.hs                        | 262 +++++++++++++++-------
 compiler/deSugar/DsMonad.hs                       |   3 +-
 compiler/hsSyn/HsExpr.hs                          |   3 +
 compiler/hsSyn/HsUtils.hs                         |   7 +-
 compiler/typecheck/TcBinds.hs                     |   2 +-
 compiler/typecheck/TcExpr.hs                      |  20 +-
 compiler/typecheck/TcMatches.hs                   |   4 +-
 compiler/typecheck/TcSplice.hs                    |   4 +-
 compiler/types/Kind.hs                            |  40 ----
 testsuite/tests/codeGen/should_compile/T13233.hs  |  12 -
 testsuite/tests/codeGen/should_compile/all.T      |   1 -
 testsuite/tests/codeGen/should_fail/T13233.hs     |  27 +++
 testsuite/tests/codeGen/should_fail/T13233.stderr |  24 ++
 testsuite/tests/codeGen/should_fail/all.T         |   1 +
 18 files changed, 269 insertions(+), 154 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 b460d6c99316deac2b8022a4fb7dddc57c052a2a