#9858: Typeable instances should be kind-aware -------------------------------------+------------------------------------- Reporter: dreixel | Owner: 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 goldfire): To clarify comment:64, I understand that this proposal doesn't really change the recent patch under the hood, but just the user interface to it. (Yes, tracking `Typeable`-allowed-ness takes some under-the-hood work.) Please correct me if I'm wrong. I think that having `Typeable` available for every type is the right thing to do. It's something I have wanted for some time. This ticket just made the change happen now instead of soon. All that said, I can understand the worry that we'll paint ourselves into a corner here. It might be reasonable to adopt the proposal above for 7.10 and then relax it for 7.12, when we have more time to see possible strange interactions. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9858#comment:65 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler