#7916: PolyKinds without type signatures ----------------------------------------+----------------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.7 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: GHC rejects valid program Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ----------------------------------------+----------------------------------- Changes (by simonpj): * difficulty: => Unknown Comment: Crumbs. Absolutely right. Your example identifies a real bug in the quantification over kinds. I've spent part of today fixing it, happily by simplifying the type inference engine! Patch coming, but not till Monday. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7916#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler