[m-dev.] pprint performance

Michael Day mikeday at bigpond.net.au
Mon Feb 25 14:10:16 AEDT 2002

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


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

More information about the developers mailing list