#12560: ‘:info TYPE’ mentions any instance that includes ‘Type’ -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by goldfire): By mentioning `-fprint-explicit-kinds` above, do you mean to suggest `:info T` should print only those instances where the use of `T` is visible? That's plausible, but not what's done now. `:info *` won't list instances because `*` is a type synonym. Hackage doesn't list instances for `*` for the same reason. But it also doesn't list instances for `TYPE`. This last bit is because `TYPE` lives in `ghc-prim` and the instances live in `base`, so Haddock hasn't seen them yet. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12560#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler