[m-dev.] pprint performance

[Michael Day]

> Most of the time we are just printing these strings, so we might as well
> do it as we go rather than first collecting them in a list (the other
> functionality provided is to concatenate them into a single string, but
> that's a much lower priority problem.)

A problem that would be solved with a generic streams interface and a
string buffer stream instance?

Michael

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