#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 -------------------------------------+------------------------------------- Comment (by oerjan): I also thought of that core thing but I doubt that's it... it seems to me that it's just two more entities that don't have different TypeCons, like in the original report of this ticket, and which don't get kind information added since they're both kind monomorphic. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9858#comment:75 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler