[GHC] #7920: type-checker panic (kindFunResult)

[GHC]

#7920: type-checker panic (kindFunResult)
-------------------------------+--------------------------------------------
Reporter:  roland              |          Owner:                         
    Type:  bug                 |         Status:  new                    
Priority:  normal              |      Component:  Compiler (Type checker)
 Version:  7.6.2               |       Keywords:                         
      Os:  Linux               |   Architecture:  x86_64 (amd64)         
 Failure:  Compile-time crash  |      Blockedby:                         
Blocking:                      |        Related:                         
-------------------------------+--------------------------------------------
 {{{
 *Main> :t (() :: m () -> t m) () ()

 <interactive>:1:1:
     Couldn't match kind `* -> *' with `OpenKind'
     Expected type: () -> t0
       Actual type: () -> t0
     Kind incompatibility when matching types:
       t_n :: * -> *
       t0 :: OpenKind
     The function `() ::ghc: panic! (the 'impossible' happened)
   (GHC version 7.6.2 for x86_64-unknown-linux):
         kindFunResult
 <<details unavailable>>

 Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
 }}}

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