[m-rev.] For review: Add --dump-xml-hlds option to compiler

[Julien Fischer]

On Thu, 9 Dec 2004, Ian MacLarty wrote:

> Estimated hours taken: 0.5
> Branches: main
>
> Add --dump-xml-hlds option to compiler to dump the HLDS in XML format (some
> code thanks to Julien).
>
> compiler/mercury_compile.m
> 	Handle --dump-xml-hlds option.
>
> compiler/options.m
> 	Add --dump-xml-hlds option.
>
> doc/user_guide.texi
> 	Document --dump-xml-hlds option.
>
I suggest not adding this until we've done something
about the size of the generated XML dumps, e.g. break
them up into smaller bits.

Cheers,
Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------