[m-rev.] for review: atoms in the debugger

[Mark Brown]

On 11-Jan-2002, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> Here is an updated log message and diff, followed by a relative diff.
> 
> Zoltan.
> 
> Estimated hours taken: 20
> Branches: main
> 
> Give the debugger the ability to print goals.
> 

This is fine, aside from the following:

> diff -u browser/browse.m browser/browse.m
> --- browser/browse.m
> +++ browser/browse.m
> @@ -1117,5 +1173,61 @@
>  	write(Term),
>  	print(".\n"),
>  	flush_output.
> +
> +%---------------------------------------------------------------------------%
> +
> +    % These two functions are just like like pprint:to_doc, except their input
> +    % is not a natural term, but a synthetic term defined by a functor, a list
> +    % of arguments, and a boolean that is true iff the synthetic term is a
> +    % function application, and thus should be printed not as f(a1, ... an)
> +    % but as f(a1, ... an-1) = an.

This comment needs to be updated to reflect the new data structure.

Cheers,
Mark.

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------