[GHC] #8554: kindFunResult panic when type checking wrongly-kinded function
GHC
ghc-devs at haskell.org
Thu Nov 21 18:37:49 UTC 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
More information about the ghc-tickets
mailing list