#7892: GHC accepts multiple conflicting kind signatures in type class declarations ----------------------------------------+----------------------------------- Reporter: MartijnVanSteenbergen | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.6.3 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: GHC accepts invalid program Difficulty: Unknown | Testcase: typecheck/should_fail/T7892 Blockedby: | Blocking: Related: | ----------------------------------------+----------------------------------- Changes (by simonpj): * testcase: => typecheck/should_fail/T7892 * difficulty: => Unknown Comment: Quite right. Happily this is already fixed in HEAD. {{{ T7892.hs:5:4: Couldn't match kind ‛*’ against ‛* -> *’ }}} Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7892#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler