[commit: ghc] ghc-8.0: Fix #11405. (018f866)

[git at git.haskell.org]

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

On branch  : ghc-8.0
Link       : http://ghc.haskell.org/trac/ghc/changeset/018f8660d4317c0d8c6dce1ee73a24641ce0129e/ghc

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

commit 018f8660d4317c0d8c6dce1ee73a24641ce0129e
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Thu Jan 14 17:48:42 2016 -0500

    Fix #11405.
    
    This adds a new variant of AbsBinds that is used solely for bindings
    with a type signature. This allows for a simpler desugaring that
    does not produce the bogus output that tripped up Core Lint in
    ticket #11405. Should make other desugarings simpler, too.
    
    (cherry picked from commit 3c6635ef4561ab53e51d7187c966b628a972b261)


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

018f8660d4317c0d8c6dce1ee73a24641ce0129e
 compiler/deSugar/Coverage.hs                   | 23 ++++++++++++++
 compiler/deSugar/DsBinds.hs                    | 42 ++++++++++++++++++++++++--
 compiler/deSugar/DsExpr.hs                     | 11 +++++++
 compiler/deSugar/DsMeta.hs                     |  1 +
 compiler/hsSyn/HsBinds.hs                      | 29 +++++++++++++++++-
 compiler/hsSyn/HsUtils.hs                      |  1 +
 compiler/main/DynFlags.hs                      |  4 +--
 compiler/typecheck/TcBinds.hs                  | 25 +++++++++------
 compiler/typecheck/TcHsSyn.hs                  | 20 ++++++++++++
 testsuite/tests/dependent/should_compile/all.T |  2 +-
 testsuite/tests/ghc-api/T6145.hs               |  2 ++
 utils/ghctags/Main.hs                          |  3 +-
 12 files changed, 146 insertions(+), 17 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 018f8660d4317c0d8c6dce1ee73a24641ce0129e