[m-rev.] For review: Convert Mercury terms to XML

[Zoltan Somogyi]

On 06-Dec-2004, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> > I'm not really keen on the name `to_xml'.  How about either
> > `xml' or `xml_util'?
> 
> I'm unhappy with all three suggestions.
> term_to_xml would describe what it does.

I am happy with either to_xml or term_to_xml.

> > > Index: library/to_xml.m
> 
> I don't think this is of sufficiently general utility to belong in the
> standard library.  It should go in extras.

I think it is OK to go into the standard library.

> > Using memoing in the standard library is going to mean that it no
> > longer compiles for those grades that don't support it, e.g. the java
> > and il grades.
> 
> I agree.  It's not a good idea.  For a start, memo tables persist
> through GC, so they are likely to be a type of space leak for
> long-running applications (this is a hole in the memoing API IMHO).
> 
> I'd leave it to the user to add memoed wrapper predicates if they need
> them.

I agree with Ralph here on general principles, but I would like to know
what the efficiency hit for the C backend is if you take out the pragma
memo.

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