#10524: PolyKinds doesn't interact well with DeriveFunctor -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: #10561 | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"8e347839be4d52b6f74cc11e18e5820f88969c80/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="8e347839be4d52b6f74cc11e18e5820f88969c80" Make fvType ignore kinds TcValidity.fvTypes works in partnership with sizeTypes, and hence should ignore kinds in exactly the same way. It wasn't doing so, which meant that validDerivPred said "No" when it should have said "Yes". That led to the bug reported in Trac #10524 comment:7. The error message is pretty terrible No instance for (Typeable T) but I'll fix that next }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10524#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler