[m-rev.] for review: announce upcoming change to stdlib preds

[Julien Fischer]

For review by anyone.

The request for review is for the wording of the annoucement, not
the proposed change.

--------

Branches: main, 11.01

NEWS:
 	Announce an upcoming standard library change.

Julien.

Index: NEWS
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/NEWS,v
retrieving revision 1.555
diff -u -r1.555 NEWS
--- NEWS	29 Dec 2010 04:52:13 -0000	1.555
+++ NEWS	16 Feb 2011 06:36:14 -0000
@@ -7,6 +7,26 @@
  NEWS for Mercury 11.01-beta
  ---------------------------

+Upcoming changes to the Mercury standard library:
+
+* In the next release after 11.01 we intend to change the argument order of
+  many of the predicates in the standard library so as to make them more
+  conducive to the use of state variable notation.
+
+  For example, map.insert/4 will be changed from
+ 
+     map.insert(map(K, V)::in, K::in, V::in, map(K, V)::out) is semidet.
+
+  to
+
+     map.insert(K::in, V::in, map(K, V)::in, map(K, V)::out) is semidet.
+
+  As part of this change, the sv* modules will be deprecated; they will
+  be removed from the library in a later release.
+
+  Note that none of these upcoming changes affect the 11.01 release.
+
+
  HIGHLIGHTS
  ==========


--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------