#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