#9858: Typeable instances should be kind-aware -------------------------------------+------------------------------------- Reporter: dreixel | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.12.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: Phab:D652 -------------------------------------+------------------------------------- Changes (by thoughtpolice): * priority: highest => normal * differential: => Phab:D652 * milestone: 7.10.1 => 7.12.1 Comment: (In light of the merge for the immediate fixes, I'm demoting this bug and pushing it to 7.12.1, in case the discussion wants to continue. Simon has also indicated he wants to continue working on this area and redo some things, so we can leave this ticket open for that.) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9858#comment:72 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler