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

[Mark Brown]

On 07-Mar-2002, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> 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.
> 

At the time, I didn't realise there were io__print versions as well.

'Exception' has type univ, and the original code used io__print as a short
way of getting the univ value before printing.  This turned out to be a
less than useful abbreviation, because it wasn't as clear to me where values
were inside a univ, and where they were not.  So I think it is better to
use univ_value explicitly here, and I will therefore leave the above code
as it is.

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