#6093: Kind polymorphism fails with recursive type definition using different
kind
----------------------------------------+-----------------------------------
Reporter: Ashley Yakeley | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 7.4.1
Keywords: | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: GHC rejects valid
program
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
----------------------------------------+-----------------------------------
Comment(by sweirich):
As Simon has elaborated, your example requires *kind* equalities (or
GADKs) which aren't yet supported. We're working on the theory that would
allow us to add such kind equalities to FC now, but its not yet done (or
implemented).
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6093#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
