#7800: Error message when deriving Typeable without PolyKinds -------------------------------------------------+------------------------- Reporter: monoidal | Owner: Type: bug | Status: patch Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect warning at | Unknown/Multiple compile-time | Difficulty: Test Case: | Unknown Blocking: | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:86033a00d6af909be1f8ac3a638529144ccc26d2/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="86033a00d6af909be1f8ac3a638529144ccc26d2" Improve error message for deriving polykinded Typeable (Trac #7800) Thanks to Krzysztof Gogolewski (monoidal) for the first draft of this patch }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7800#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler