Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005430OCaml~DO NOT USE (was: OCaml general)public2011-12-16 06:592017-01-05 13:11
Assigned Todim 
PrioritynormalSeverityfeatureReproducibilityhave not tried
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0005430: Enhanced toplevel
DescriptionZheng Li provides an improved toplevel.
We may want to merge some of its features. [^]
TagsNo tags attached.
Attached Files

- Relationships
related to 0005377closedgarrigue toplevel should provide an option to limit recursion when printing nested modules 

-  Notes
garrigue (manager)
2011-12-16 07:13

The #show_* directives proposed in PR#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).
dim (developer)
2017-01-05 13:11

The link is dead and I can't find enhtop anywhere else, so I'm suspending this issue

- Issue History
Date Modified Username Field Change
2011-12-16 06:59 garrigue New Issue
2011-12-16 07:01 garrigue Relationship added related to 0005377
2011-12-16 07:01 garrigue Assigned To => garrigue
2011-12-16 07:01 garrigue Status new => assigned
2011-12-16 07:13 garrigue Note Added: 0006318
2016-12-08 12:48 shinwell Assigned To garrigue => dim
2017-01-05 13:11 dim Note Added: 0017074
2017-01-05 13:11 dim Status assigned => resolved
2017-01-05 13:11 dim Resolution open => suspended
2017-02-23 16:36 doligez Category OCaml general => -OCaml general
2017-03-03 17:55 doligez Category -OCaml general => -(deprecated) general
2017-03-03 18:01 doligez Category -(deprecated) general => ~deprecated (was: OCaml general)
2017-03-06 17:04 doligez Category ~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general)

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker