[m-rev.] for review: printing higher order values and typeinfos in the debugger

[Zoltan Somogyi]

On 05-Mar-2002, Mark Brown <dougl at cs.mu.OZ.AU> wrote:
> @@ -351,7 +351,7 @@
>  write_decl_question(unexpected_exception(Call, Exception), User) -->
>  	write_decl_atom(User, "Call ", Call),
>  	io__write_string(User^outstr, "Throws "),
> -	io__print(User^outstr, Exception),
> +	io__write(User^outstr, include_details_cc, univ_value(Exception)),
>  	io__nl(User^outstr).

Why the change from io__print to io__write? io__print also has versions
which take include_details_cc as an argument.

>  write_decl_atom_arg(OutStr, yes(Arg)) -->
> -	io__print(OutStr, Arg).
> +	io__write(OutStr, include_details_cc, univ_value(Arg)).

Same here.

Zoltan.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------