[GHC] #7778: kindFunResult panic with => inside a constraint

[GHC]

#7778: kindFunResult panic with => inside a constraint
-----------------------------+----------------------------------------------
Reporter:  monoidal          |          Owner:                         
    Type:  bug               |         Status:  new                    
Priority:  normal            |      Component:  Compiler (Type checker)
 Version:  7.6.2             |       Keywords:                         
      Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple       
 Failure:  None/Unknown      |      Blockedby:                         
Blocking:                    |        Related:                         
-----------------------------+----------------------------------------------
 Following type (found by arkeet on #haskell) causes kindFunResult panic in
 7.6 and HEAD:

 {{{
 v :: ((Num Int => Num) ()) => ()
 v = v
 }}}

 In a probably related issue,

 {{{
 Prelude> :set -XFlexibleContexts -XRankNTypes
 Prelude> type T = Num Int => Num Bool
 Prelude> :k T
 T :: Constraint
 Prelude> :k Num Int => Num Bool
 Num Int => Num Bool :: *
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7778>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler