[m-rev.] ssdb minor modifications

Julien Fischer juliensf at csse.unimelb.edu.au
Thu Dec 13 11:57:08 AEDT 2007


On Wed, 12 Dec 2007, Olivier Annet wrote:

> ===================================================================
>
>
> Estimated hours taken: 8
> Branches: main
>
> Some minor modifications of the code.
>
> compiler/ssdebug.m:
> 	Some minor corrections in the comments.
>
> ssdb/ssdb.m:
> 	Modification of some commands : print, up, down to print details on
> 	what is going on at the screen more clearly.
> 	I use pprint instead of pretty_printer to print the argument list of a
> 	predicate because there was a strange behavior with pretty_printer:

pprint is deprecated.  What is the strange behaviour you are
encountering?

> 	Sometimes, when I tried to print the arguments of a procedure, all
> 	values of an input argument was not print in front of the corresponding
> 	variable but in the next ssdb prompt.
> 	A bug with the command <retry N> had been corrected.

The log message should (briefly) mention what the bug was, e.g.


 	Fix a bug with <rety N> where it was ...


> Index: compiler/ssdebug.m
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/compiler/ssdebug.m,v
> retrieving revision 1.14
> diff -u -r1.14 ssdebug.m
> --- compiler/ssdebug.m	5 Dec 2007 05:38:54 -0000	1.14
> +++ compiler/ssdebug.m	12 Dec 2007 03:55:52 -0000
> @@ -12,7 +12,9 @@
> % The ssdebug module does a source to source tranformation on each procedure
> % which allows the procedure to be debugged.
> %
> -% Here is the transformation (note currently we don't do all of this)
> +% XXX Only user-made procedures are debugged, not yet the library procedures.

s/user-mode/user defined/

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