[m-rev.] For review: deconstruct non-canonical terms in pretty_printer.m

[Mark Brown]

On 09-Oct-2007, Ralph Becket <rafe at csse.unimelb.edu.au> wrote:
> Mark Brown, Monday,  8 October 2007:
> > On 08-Oct-2007, Mark Brown <mark at csse.unimelb.edu.au> wrote:
> > > 	- Export format/8 which is det, which only operates on io streams,
> > > 	  and which calls format/8 inside promise_equivalent_solutions.
> > 
> > That should be format_io/8 (like Ian suggested on the developers list), and
> > format/9, respectively.
> 
> Okay, to summarise:
> - we want to rename format/[8,3,4] to write_doc/[8,3,4];
> - convert write_doc/8 to write_doc/9 by adding a noncanon_handling argument
>   (`is det' for canonicalize, `is cc_multi' for include_details_cc);
> - call write_doc/9 with include_details_cc from write_doc/[3,4], but
>   write_doc/[3,4] will be `is det' because these variants write to an
>   IO stream;
> - add a comment to this effect for write_doc/[3,4];
> - mention these changes in NEWS.
> 
> Have I missed anything?

That sounds good.  Maybe the last name should be write_doc_io/[3,4], but
I don't really mind.

Cheers,
Mark.

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