cvs diff: NEWS

[Tyson Richard DOWD]

Hi,

	This one's for whoever wants to take an interest.

===================================================================

Estimated hours taken: 0.1

NEWS:
	Update NEWS, since you can now construct types, and the order of
	arguments in `arg' issue has been resolved.

Index: NEWS
===================================================================
RCS file: /home/staff/zs/imp/mercury/NEWS,v
retrieving revision 1.47
diff -u -r1.47 NEWS
--- NEWS	1997/04/21 03:34:45	1.47
+++ NEWS	1997/04/23 06:49:07
@@ -110,14 +110,17 @@
 
   - We've finally implemented a generic `io__write' predicate.
 
-  - The std_util.m module now contains predicates for traversing
-    terms of arbitrary type: arg/3, det_arg/3, functor/3, and
-    expand/4.  These are similar to Prolog's arg/3, functor/3,
-    and '=..'.  (There is as yet no method for _constructing_
-    terms of arbitrary type, however.)
-    XXX we need to fix the order of the arguments to arg/3 to
-    match the standard Prolog ordering
+  - The std_util.m module now contains functions and predicates for
+    traversing and constructing terms of arbitrary type. 
+    	For traversal: 
+    		predicates argument/3, det_argument/3, functor/3,
+		and expand/4.
+    	These are similar to Prolog's arg/3, functor/3, and '=..'.
 
+	For construction: 
+		functions type_of/1, num_functors/1, construct/3 and
+		predicate get_functor/5.
+    
   - We have a new module called time.m XXX to make benchmarking easier.
     The predicate report_stats, which used to be in std_util, is now
     in this module.
-- 
       Tyson Dowd           #
                            #             Sign on refrigerator:
     trd at cs.mu.oz.au        #           Refrigerate after opening. 
http://www.cs.mu.oz.au/~trd #                  - C. J. Owen.