[m-dev.] pretty vs raw_pretty

[Julien Fischer]

On Thu, 4 Nov 2004, Ian MacLarty wrote:

> In mdb I think the "raw_pretty" browser format is a lot prettier than
> the "pretty" format, especially when printing maps and lists.
>
> Does anyone feel the same way?
>
Yes (and I think I can safely say Ralph feels the same way ;) )


> I propose swapping the two format names, so "raw_pretty" would become
> "pretty" and "pretty" would become "raw_pretty".
>
> I suspect a few test expected outputs will need to change, but I don't
> mind doing this.
>
I've got no objections to this - I never use the current "pretty" format
anyway.

Cheers,
Julien.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------