[commit: ghc] master: Turn AThing into ATcTyCon, in TcTyThing (a5cea73)

[git at git.haskell.org]

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

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

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

commit a5cea73c658888e01c162723d3e0e1439514ecdb
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Jan 6 17:33:42 2016 +0000

    Turn AThing into ATcTyCon, in TcTyThing
    
    This change tidies up and simplifies (a bit) the knot-tying
    when kind-checking groups of type and class declarations.
    
    The trouble (shown by Trac #11356) was that we wanted an error message
    (a kind-mismatch) that involved a type mentioned a (AThing k), which
    blew up.
    
    Since we now seem to have TcTyCons, I decided to use them here.
    It's still not great, but it's easier to understand and more robust.


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

a5cea73c658888e01c162723d3e0e1439514ecdb
 compiler/typecheck/TcEnv.hs                        | 13 +++---
 compiler/typecheck/TcHsType.hs                     | 26 +++++++-----
 compiler/typecheck/TcRnTypes.hs                    |  9 +++--
 compiler/typecheck/TcTyClsDecls.hs                 | 46 +++++++++++-----------
 testsuite/tests/typecheck/should_fail/T11356.hs    |  6 +++
 .../tests/typecheck/should_fail/T11356.stderr      |  5 +++
 testsuite/tests/typecheck/should_fail/all.T        |  3 +-
 7 files changed, 62 insertions(+), 46 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 a5cea73c658888e01c162723d3e0e1439514ecdb