Re: [GHC] #8554: kindFunResult panic when type checking wrongly-kinded function

21 Nov 2013

      #8554: kindFunResult panic when type checking wrongly-kinded function
--------------------------------------------+------------------------------
        Reporter:  patrick_thomson          |            Owner:
            Type:  bug                      |           Status:  closed
        Priority:  normal                   |        Milestone:
       Component:  Compiler (Type checker)  |          Version:  7.6.3
      Resolution:  duplicate                |         Keywords:
Operating System:  MacOS X                  |     Architecture:  x86_64
 Type of failure:  Compile-time crash       |  (amd64)
       Test Case:                           |       Difficulty:  Unknown
        Blocking:                           |       Blocked By:
                                            |  Related Tickets:
--------------------------------------------+------------------------------
Changes (by monoidal):

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

Comment:

 Thanks for the report. This is already fixed in HEAD (#7368 and search
 Trac for kindFunResult).

 {{{
 B.hs:3:24:
     Kind incompatibility when matching types:
       f :: * -> *
       f (Fix f) :: *
     Expected type: f0 a -> Fix f
       Actual type: f0 a -> f0 (f (Fix f))
 }}}

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