#2986: :info printing instances often isn't wanted
---------------------------------+------------------------------------------
Reporter: Remi | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: GHCi | Version: 6.10.1
Severity: normal | Resolution:
Keywords: :info instances | Difficulty: Unknown
Testcase: | Os: Unknown/Multiple
Architecture: Unknown/Multiple |
---------------------------------+------------------------------------------
Changes (by simonpj):
* cc: [email protected] (added)
* difficulty: => Unknown
Comment:
The goal of being able to ask (in GHCi) about a class without seeing all
its instances seems to be a good one. But what about syntax? Is Remi's
proposed UI the right one? He suggests:
{{{
:info Show -- See class definition and instances
:info -Show -- See class definition only
}}}
But an alternative could be:
{{{
:info Show -- See class definition only
:instances Show -- See instances of Show
:instances Bool -- See instances of Bool
}}}
That'd give upward room to grow. For example, one might want
{{{
:instances Show (Tree _) -- See instances of form (Show (Tree ...))
}}}
Maybe there are other alternatives.
So for me the user interface is the issue. If we can evolve a consensus
I'm sure it won't be hard to implement. Would anyone like to volunteer to
drive the debate?
With that in mind I'm trying the experiment of adding ghc-users to the cc-
list. Debate on the list, record proposals, and pros/cons on this ticket.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2986#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
