:types <module> (or :browse! <module>) - browse plain types, not in context, for IDEs
currently, :browse <module> pretty prints types in context, which is good for users but bad for tools building on ghci: types of class methods or data constructors are difficult to reconstruct from that output.
could ghci please support a slight variation of :browse, with a plain listing of 'name :: type' for all names, including class methods and data constructors? since the code will be nearly identical to browseModule, the command could be ':browse! [*]<module>' (with :b defaulting to :browse), or perhaps ':types [*]<module>' (with :t defaulting to :type, not :types).
my haskell mode plugins for vim use the :browse output to avoid separate calls to ghci every time a type is needed, but give incomplete types for class methods and no types for data constructors, so this is a small change (6.8.1?-) that would help all my users (and possibly other ghci-based tools, as well).
Trac metadata
Trac field | Value |
---|---|
Version | 6.6.1 |
Type | FeatureRequest |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | GHCi |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | claus.reinke@talk21.com |
Operating system | Unknown |
Architecture | Unknown |