[GHC] #8566: Panic with kindFunResult

[GHC]

#8566: Panic with kindFunResult
-------------------------------------+------------------------------------
        Reporter:  dreixel           |            Owner:
            Type:  bug               |           Status:  new
        Priority:  normal            |        Milestone:
       Component:  Compiler          |          Version:  7.7
      Resolution:                    |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------

Comment (by Simon Peyton Jones <simonpj@…>):

 In [changeset:"755823126f4f58b74f2bb783dc683197273f3474/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="755823126f4f58b74f2bb783dc683197273f3474"
 Do not generate given kind-equalities (fix Trac #8566)

 This is a long-standing bug.  We were generating a Given
 equality between kind variables, and (at least until we support
 kind coercions) we can't do that.

 The fix is to drop such Given equalities entirely. That may
 mean we can't prove some things, but that's fair enough -- the
 current proof language can't express such proofs.

 See Note [Do not create Given kind equalities] in TcSMonad
 }}}

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