[m-dev.] diff: use pretty printer in mdb

[Ralph Becket]

> -----Original Message-----
> From: Mark Anthony BROWN [mailto:dougl at cs.mu.OZ.AU]
> Sent: 22 May 2000 07:46
>
> [...]
> +% Print using the pretty printer from the standard library.
> +% XXX the size of the term is not limited---the pretty printer
> +% provides no way of doing this.

In what sense are you using `size' here?  The existing code (which
will go horribly wrong on very large terms [performance bug - a 
fix is in the pipeline]) allows you to specify the depth to which
pretty printing will go - as you've made provision for - and it
allows you to specify the notional display width (which it will
overrun if that cannot be avoided).

Do you mean that you'd like pprint to have a facility to clip
output to a given n x m character cell window?  If so, something
like that could probably be arranged.

Ralph

--
Ralph Becket      |      MSR Cambridge      |      rbeck at microsoft.com 
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------