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

[Ralph Becket]

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