0005430: Enhanced toplevel - MantisBT

Mantis Bug Tracker

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0005430

OCaml

OCaml general

public

2011-12-16 06:59

2011-12-16 16:37

Reporter

garrigue

Assigned To

garrigue

Priority

normal

Severity

feature

Reproducibility

have not tried

Status

assigned

Resolution

open

Platform

OS

OS Version

Product Version

Target Version

Fixed in Version

Summary

0005430: Enhanced toplevel

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 [^]

Tags

No tags attached.

Relationships

related to

acknowledged

toplevel should provide an option to limit recursion when printing nested modules

Notes
(0006318) 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).

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

Copyright © 2000 - 2011 MantisBT Group