[m-rev.] For review: Allow custom functor to element mappings in term_to_xml

[Ian MacLarty]

Hi,

I've also mentioned term_to_xml in the NEWS file:

Index: NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.350
diff -u -r1.350 NEWS
--- NEWS	11 Nov 2004 13:46:41 -0000	1.350
+++ NEWS	9 Dec 2004 07:26:15 -0000
@@ -20,7 +20,8 @@
   concatenation, array2d, for two-dimensional arrays, and version_array,
   version_array2d, version_bitmap, version_hash_table, and version_store,
   implementing non-unique versions of these types supporting O(1) access for
-  non-persistent use.
+  non-persistent use.  A new module term_to_xml has been added for converting
+  arbitrary terms to XML documents.
 * New procedures have been added to many of the existing standard library
   modules.  Most notably, these include procedures for creating
   directories and symbolic links, for checking file types and file
@@ -713,6 +714,12 @@
 * We've added random__random/5, which produces a random integer in a
   given range, and random__randcount/3, which returns the number of
   distinct random numbers that can be generated.
+
+* A new module `term_to_xml' has been added to the standard library.  The
+  module contains predicates to write arbitrary Mercury terms to an output
+  stream as XML.  Automatic generation of DTDs for Mercury types is also
+  supported.  Once a Mercury term is in XML it can be converted to many other
+  formats such as HTML or XUL using an appropriate stylesheet.
 
 Changes to the extras distribution:
 

And added the following to the CVS log:

NEWS
	Mention term_to_xml module.

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