[m-rev.] for review: ssdebug enhancements
Julien Fischer
juliensf at csse.unimelb.edu.au
Wed Jun 16 01:33:11 AEST 2010
On Tue, 15 Jun 2010, Peter Wang wrote:
> Branches: main, 10.04
>
> ssdebug enhancements.
>
> ssdb/ssdb.m:
> Make `print' (no arguments) print the goal, like mdb, instead of
> printing all variables.
>
> Make `print *' print all variables. Add `P' as an alias.
>
> Use browser to print terms.
>
> Add `format' and `format_param' commands to set browser parameters.
>
> Support browsing the goal term with `browse' (no argument).
>
> Add `return', `level' and `current' commands.
>
> Support an optional line limit for the `stack' command.
>
> Support compressing duplicate stack frames in stack traces.
>
> Support an integer argument to `step' command.
>
> Treat a bare integer as a `step N' command.
>
> Support `quit -y' option.
>
> browser/browse.m:
> browser/util.m:
> trace/mercury_trace_vars.c:
> Move definition of type `unbound' to a public module.
>
> README.ssdebug:
> Note down two more limitations.
That looks okay - please be sure to check that the regular debugging
grades work with the above change to the browser and trace directories
before committing.
Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to: mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions: mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------
More information about the reviews
mailing list