#10561: "deriving (Functor)" on a polykinded type produces ill-kinded instance -------------------------------------+------------------------------------- Reporter: rwbarton | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"9a348640c5ddd63c3385d3722fb3ade38013a148/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="9a348640c5ddd63c3385d3722fb3ade38013a148" Improve kind-checking for 'deriving' clauses The main payload is in 'mk_functor_like_constraints' in TcDeriv.inferConstraints. This is moving towards a fix for Trac #10561 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10561#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler