#7800: Error message when deriving Typeable without PolyKinds
-------------------------------------------------+-------------------------
Reporter: monoidal | Owner:
Type: bug | dreixel
Priority: normal | Status: new
Component: Compiler | Milestone: 7.8.1
Resolution: | Version: 7.7
Operating System: Unknown/Multiple | Keywords:
Type of failure: Incorrect warning at | Architecture:
compile-time | Unknown/Multiple
Test Case: | Difficulty:
Blocking: | Unknown
| Blocked By:
| Related Tickets:
-------------------------------------------------+-------------------------
Comment (by monoidal):
dreixel: I think it would be good to fix this before 7.8. Is it OK that I
only edit the message to include "If you are deriving Typeable for a
polykinded datatype, make sure PolyKinds is on"? This is rather blunt but
it's a working solution.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7800#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
