[m-dev.] pprint performance

[Ralph Becket]

Michael Day, Monday, 25 February 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?

Yes; this should wait for v.2 of the library once I've got constructor
classes and functional dependencies added to the language (next month's
job).

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