[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