You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 5430 Reporter:@garrigue Assigned to:@diml Status: resolved (set by @diml on 2017-01-05T12:11:42Z) Resolution: suspended Priority: normal Severity: feature Category: ~DO NOT USE (was: OCaml general) Related to:#5377 Monitored by:@protz@ygrek@hcarty
Bug description
Zheng Li provides an improved toplevel.
We may want to merge some of its features.
The #show_* directives proposed in #5377 seem to correspond to the #query directive of enthop, with two differences:
#query shows everything related (more like the search functionality of ocamlbrowser)
the proposed #show_module strips the contents of nested modules
The goal of #show_* is to display a precise definition, and to make sure that it is readable (modules can be huge).
Maybe we need something like #query, but this this would not replace #show_*
There are other good ideas in enhtop, like showing the internal number for shadowed type constructors (usually this is only done in type errors).
Original bug ID: 5430
Reporter: @garrigue
Assigned to: @diml
Status: resolved (set by @diml on 2017-01-05T12:11:42Z)
Resolution: suspended
Priority: normal
Severity: feature
Category: ~DO NOT USE (was: OCaml general)
Related to: #5377
Monitored by: @protz @ygrek @hcarty
Bug description
Zheng Li provides an improved toplevel.
We may want to merge some of its features.
http://www.pps.jussieu.fr/~li/software/repo/?repo=enhtop
The text was updated successfully, but these errors were encountered: