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

[Ian MacLarty]

On 10 Dec 2004, at 02:23, Julien Fischer wrote:

>
> 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.
>
I agree with that.  An HLDS specific style sheet also probably needs to 
be developed.

Ian.

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