[GHC] #9394: Show data/type family instances with ghci's :info command
GHC
ghc-devs at haskell.org
Tue Aug 5 21:15:22 UTC 2014
#9394: Show data/type family instances with ghci's :info command
-------------------------------------+-------------------------------------
Reporter: s9gf4ult | Owner:
Type: feature | Status: new
request | Milestone:
Priority: normal | Version: 7.6.3
Component: GHCi | Keywords: ghci
Resolution: | Architecture: Unknown/Multiple
Operating System: | Difficulty: Unknown
Unknown/Multiple | Blocked By:
Type of failure: | Related Tickets:
None/Unknown |
Test Case: |
Blocking: |
Differential Revisions: |
-------------------------------------+-------------------------------------
Comment (by simonpj):
Dear s9gf4ult (I wonder who you are in real life?)
That makes sense. For classes, actually `:info Eq` lists all the
instances of `Eq`, so maybe that should happen for `type` and `data`
families too? Then adding arguments could filter the list to just the
instances that match the pattern given?
Would you, or anyone else, like to specify the feature and offer a patch?
Simon
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9394#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list