#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 goldfire): This defaulting to `*` is precisely what happens without `PolyKinds` on. So anyone not worried about kind variables won't need to. But I don't like this defaulting behavior if `PolyKinds` ''is'' on. If a user has specified `PolyKinds` and writes the code in comment:57, I would want an error to be reported. The choice of the kind variable here is potentially relevant to the programmer's desired behavior, and I think silently guessing a value is wrong here. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9858#comment:58> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler