[m-rev.] For review: use XML browser to browse terms in mdb

Julien Fischer juliensf at cs.mu.OZ.AU
Thu Dec 9 03:15:01 AEDT 2004


Would it be possible to split this diff up into separate changes?

Cheers,
Julien.


On Thu, 9 Dec 2004, Ian MacLarty wrote:

> For review by anyone.
>
> Estimated hours taken: 15
> Branches: main
>
> Allow custom functor to element mappings in term_to_xml library.
>
> Add --dump-xml-hlds option to compiler to dump the HLDS in XML format (thanks
> to Julien).
>
> Allow terms to be saved as XML in mdb and allow an XML browser to be invoked on
> browsable objects in mdb.  The user can set two options which control where the
> XML is dumped and the command used to browse the XML.  The defaults assume
> xsltproc and mozilla are installed.
>
> Disable setting of the `field' attribute in generated XML until a bug in the
> runtime system has been fixed.  The bug causes a seg fault when
> construct.get_functor is called on a functor with an existentially quantified
> argument type.
>
> Add a check to see if a DTD can be generated for a type under a custom mapping
> scheme.  This involves check that the mapping scheme does not generate the same
> element for any two distinct functors that could appear in ground terms of
> the type.
>
--------------------------------------------------------------------------
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