#5937: Kind variables not allowed in data declaration kind annotation ----------------------------------------+----------------------------------- Reporter: goldfire | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.5 Resolution: fixed | Keywords: PolyKinds Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHC rejects valid program | Difficulty: Unknown Testcase: polykinds/T5937 | Blockedby: Blocking: | Related: ----------------------------------------+----------------------------------- Changes (by simonpj):
* status: new => closed * difficulty: => Unknown * resolution: => fixed * testcase: => polykinds/T5937 Comment: Thanks for pointing this out; now fixed. Simon -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5937#comment:3> 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