[GHC] #9858: Typeable instances should be kind-aware

[GHC]

#9858: Typeable instances should be kind-aware
-------------------------------------+-------------------------------------
        Reporter:  dreixel           |                   Owner:
            Type:  bug               |                  Status:  merge
        Priority:  highest           |               Milestone:  7.10.2
       Component:  Compiler          |                 Version:  7.9
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  None/Unknown      |  Unknown/Multiple
      Blocked By:                    |               Test Case:
 Related Tickets:                    |  typecheck/should_fail/T9858a,
                                     |  should_run/T9858b
                                     |                Blocking:
                                     |  Differential Revisions:  Phab:D652
-------------------------------------+-------------------------------------

Comment (by simonpj):

 Comment for comment:94. Merge to stable branch
 {{{
 commit d8d541d85defcf3bbbddaeee8cfac70b74f47ffc
 Author: Iavor S. Diatchki <diatchki at galois.com>
 Date:   Thu Apr 16 11:13:24 2015 -0700

     Fixes (hopefully!) T9858

     The changes are:
       1. No impredicative types in `Typeable`
       2. Distinguish normal tuples, from tuples of constraints.


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

 d8d541d85defcf3bbbddaeee8cfac70b74f47ffc
  compiler/deSugar/DsBinds.hs                        |  6 +++-
  compiler/typecheck/TcInteract.hs                   | 34
 +++++++++-------------
  testsuite/tests/typecheck/should_fail/T9858b.hs    | 10 +++++++
  .../tests/typecheck/should_fail/T9858b.stderr      |  8 +++++
  testsuite/tests/typecheck/should_fail/all.T        |  1 +
  testsuite/tests/typecheck/should_run/T9858c.hs     | 19 ++++++++++++
  testsuite/tests/typecheck/should_run/T9858c.stdout |  1 +
  testsuite/tests/typecheck/should_run/all.T         |  1 +
  8 files changed, 58 insertions(+), 22 deletions(-)
 }}}

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9858#comment:96>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler