#9858: Typeable instances should be kind-aware -------------------------------------+------------------------------------- Reporter: dreixel | Owner: dreixel Type: bug | Status: new Priority: highest | Milestone: 7.10.1 Component: Compiler | Version: 7.9 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 ekmett): As a data point, disabling Typeable for polykinded code would actually break production code for me in a ways I don't see how to fix. Code out there just switched from manual deriving of these instances pre 7.8 for a few particular cases, to the derived ones for 7.8+, but if you take away the derived instances and don't let folks write them by hand that case falls into a gap, where there is now no way to get even back to the 7.6 level of support. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9858#comment:37 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler