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

[Ralph Becket]

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/

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