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

[GHC]

#7920: type-checker panic (kindFunResult)
-------------------------------+--------------------------------------------
    Reporter:  roland          |        Owner:                         
        Type:  bug             |       Status:  closed                 
    Priority:  normal          |    Component:  Compiler (Type checker)
     Version:  7.6.2           |   Resolution:  duplicate              
    Keywords:                  |           Os:  Linux                  
Architecture:  x86_64 (amd64)  |      Failure:  Compile-time crash     
   Blockedby:                  |     Blocking:                         
     Related:                  |  
-------------------------------+--------------------------------------------
Changes (by monoidal):

  * status:  new => closed
  * resolution:  => duplicate


Comment:

 Thanks for the report. The bug is fixed in HEAD:

 {{{
 > :t (() :: m () -> t m) () ()

 <interactive>:1:2:
     Couldn't match expected type ‛m () -> t1 m’ with actual type ‛()’
     In the expression: () :: m () -> t m
     In the expression: (() :: m () -> t m) () ()

 <interactive>:1:21:
     Couldn't match expected type ‛m0 ()’ with actual type ‛()’
     In the first argument of ‛() :: m () -> t m’, namely ‛()’
     In the expression: (() :: m () -> t m) () ()
 }}}

 The issue is essentially the same as previously reported #7368, #7441,
 #7802, so I'm closing as duplicate.

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