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

[Ian MacLarty]

On 9 Dec 2004, at 13:18, Ralph Becket wrote:

> Ian MacLarty, Thursday,  9 December 2004:
>> Index: doc/user_guide.texi
>> ===================================================================
>> RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
>> retrieving revision 1.399
>> diff -u -r1.399 user_guide.texi
>> --- doc/user_guide.texi	9 Dec 2004 01:03:09 -0000	1.399
>> +++ doc/user_guide.texi	9 Dec 2004 02:05:17 -0000
>> @@ -5104,6 +5104,14 @@
>>  to the HLDS of the predicate or function with the specified pred id.
>>
>>  @sp 1
>> + at item --dump-xml-hlds
>> +This option must be specified in conjunction with the --dump-hlds 
>> option and
>> +causes an additional dump of the entire HLDS in XML format.  The 
>> filename
>> +used is the same as for the regular HLDS dump except with `.xml' as 
>> a suffix.
>> +The `simple' mapping defined in the term_to_xml standard library is 
>> used to map
>> +functors to XML elements.  Beware that the XML dumps are very big.
>
> s/Beware that/Beware:/ or s/Beware/Be aware/

Have changed to "Be aware".

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