[m-rev.] Converting univ values to strings

Simon Taylor stayl at cs.mu.OZ.AU
Fri Jul 18 15:28:20 AEST 2003


On 18-Jul-2003, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> Simon Taylor, Thursday, 17 July 2003:
> > 
> > I'm not sure that this is a good idea. The performance of this approach
> > will really suck for large data structures. The double maintenance
> > problem will go away if/when we implement string streams.
> 
> I'm not sure it's that bad.  The string representation will almost
> certainly be smaller than the term represented and will be junk straight
> after it's output.  Just how often do we print out huge terms anyway?
> The pretty printer can handle giant terms economically if this is an
> issue.  I think it's a Very Bad Thing when you can print something, but
> you can't turn it into a string...

I was just suggesting leaving the code in io.m as it is, rather than
removing it and calling string.m.

Simon.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list