[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