[m-rev.] For review: user-configurable pretty printer

[Ralph Becket]

Peter Ross, Wednesday,  6 June 2007:
> Who is responsible for passing the name "map" the user, or is it done
> automatically?

That would be the user.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------