[m-rev.] updates to library changes in NEWS file

Fergus Henderson fjh at cs.mu.OZ.AU
Fri Dec 5 20:15:34 AEDT 2003


Estimated hours taken: 0.75
Branches: main

NEWS:
	- Reduce the amount of detail about library changes that is listed
	  in the "HIGHLIGHTS" section.
	- In the "DETAILED LISTING" section, list a few library
	  interface changes that had previously not been mentioned, and
	  mention the need to declare solver types using ":- solver type".

Workspace: /home/ceres/fjh/mercury
Index: NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.320
diff -u -d -r1.320 NEWS
--- NEWS	31 Oct 2003 03:27:13 -0000	1.320
+++ NEWS	5 Dec 2003 09:09:55 -0000
@@ -26,35 +26,13 @@
   with `mmc --make'.
 
 Changes to the Mercury standard library:
-* We've added a new module, cord, for sequences with O(1) consing and
-  concatenation.
-* Several new functions have been added to the string module, namely
-  elem/2, unsafe_elem/2, chomp/1, lstrip/1, lstrip/2, rstrip/1, rstrip/2,
-  strip/1, prefix_length/2, and suffix_length/2.
+* We've added two new modules: cord, for sequences with O(1) consing and
+  concatenation, and array2d, for two-dimensional arrays.
+* 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
+  accessibility, for detecting floating point infinities and NaNs.
 * The dir module now handles Microsoft Windows pathnames correctly.
-* dir__split_name and dir__basename are now semidet, not det.
-* We've added some new predicates and functions to the dir module:
-	basename_det/1,
-	expand_braces/1,
-	is_directory_separator/1,
-	make_directory/4,
-	make_single_directory/4,
-	foldl2/6,
-	parent_directory/0,
-	path_name_is_absolute/1,
-	path_name_is_root_directory/1,
-	recursive_foldl2/7.
-* We've added several new predicates to the io module:
-	have_symlinks/0,
-	make_symlink/4,
-	follow_symlink/4,
-	check_file_accessibility/5,
-	file_type/4,
-	input_stream_foldl2_io_maybe_stop/{6,7},
-	binary_input_stream_foldl2_io_maybe_stop/{6,7}.
-* exception.m now contains a predicate finally/6 which can be used to
-  ensure that resources are released whether a called closure exits
-  normally or throws an exception.
 
 Portability improvements:
 * Nothing yet.
@@ -106,8 +84,14 @@
   For details, see the "Higher-order impurity" section of the "Impurity"
   chapter of the Mercury Language Reference Manual.
 
+* The (undocumented) support for dynamic modes and constraint solving
+  has changed.  Types which may have dynamic modes must now be declared
+  using ":- solver type" instead of ":- type".
+  
 Changes to the Mercury standard library:
 
+* We've added a new library module, `array2d', for two-dimensional arrays.
+
 * We've added a new module, cord, for sequences with O(1) consing and
   concatenation.  A cord is essentially a tree structure with data stored
   in the leaf nodes.  Joining two cords together to construct a new cord
@@ -149,10 +133,8 @@
   elem/2, unsafe_elem/2, chomp/1, lstrip/1, lstrip/2, rstrip/1, rstrip/2,
   strip/1, prefix_length/2, and suffix_length/2.
 
-* We've added a new library module, `array2d'.
-
-* We've added some new predicates, list__map2_foldl and list__foldl4,
-  to list.m.
+* We've added some new predicates, list__map2_foldl, list__map_foldl3,
+  and list__foldl4 to list.m.
 
 * We've added some new predicates, map__common_subset and map__foldl3,
   to map.m.
@@ -168,6 +150,10 @@
 * We've added a function version of `hash_table__search/3'.
 
 * getopt.m now accepts a `maybe_string_special' option type.
+
+* We've added a predicate, copy_mutvar, to store.m.
+
+* We've added a function, clk_tck, to time.m.
 
 * builtin.m now contains types and insts `unify' and `compare' for use
   in defining user-defined equality and comparison predicates.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list