[m-rev.] diff: update HISTORY file

Julien Fischer juliensf at csse.unimelb.edu.au
Mon Jun 27 00:12:25 AEST 2011


Branches: main

Prepare for the 11.07 fork.

NEWS:
HISTORY:
 	Shift the 11.01 NEWS entries into the HISTORY file.

RELEASE_NOTES:
 	Update the version number.

Julien.

Index: HISTORY
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/HISTORY,v
retrieving revision 1.32
diff -u -r1.32 HISTORY
--- HISTORY	19 Dec 2010 04:08:25 -0000	1.32
+++ HISTORY	26 Jun 2011 14:09:30 -0000
@@ -3932,6 +3932,169 @@
    in sourced files.  This is useful for commenting mdb scripts.


+NEWS for Mercury 11.01, 27 April 2011
+-------------------------------------
+
+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
+==========
+
+Changes to the Mercury language:
+
+* We have added two new kinds of scopes to the language.
+
+  A scope introduced by one of the new keywords require_det, require_semidet,
+  require_multi, require_nondet, require_cc_multi, require_cc_nondet,
+  require_erroneous and require_failure, as the name implies, requires
+  the goal inside the scope to have the given determinism.
+ 
+  A scope introduced by the keyword require_complete_switch requires the
+  goal inside the scope, if it is a switch on the variable named by the scope,
+  to be a complete switch, i.e. to have arms for all the function symbols
+  in the type of the switched-on variable.
+
+Changes to the Mercury standard library:
+
+* We have added semidet modes for hash_table.fold/4 and
+  version_hash_table.fold/4.
+
+* We have added new predicates and functions added to the assoc_list module.
+  The predicates map_keys_only/3 map_values_only/3 and map_values/3 complement
+  the functions of the same name. The predicates filter/3, negated_filter/3,
+  filter/4, merge/3, which also have function versions, do jobs very similar
+  to the predicates of the same name in the list module, but do the relevant
+  operations on keys instead of entire list elements.
+
++ We have moved the lazy evaluation module out of the extras distribution and
+  into a new standard library module called `lazy'.  It has also been made
+  backend-agnostic.
+
+* We have made changes to the list module of the standard library:
+
+  + We added a new predicate list.member_index0/3.  It is like list.member/2
+    except that it also takes a parameter representing the zero-based index of
+    the element within the list.
+
+  + We added a new predicate list.map3_foldl/7 which maps over a list producing
+    three lists and one folded value.
+ 
+  + We added semidet modes with unique accumulators for list.foldl3/8,
+    list.foldl4/10, list.foldl5/12, and list.foldl6/14.
+
+* We have added the predicates divide/4 and divide_by_set/4 to the tree_bitset
+  module of the standard library.
+
+* We have added the predicates set_ctree234.member/2 and
+  set_ctree234.non_empty/1.  We have add the function
+  set_ctree234.from_list/1.
+
+* We have added the the predicate set_bbbtree.count/2 and the
+  function set_bbbtree.count/1.  These replace the predicate
+  set_bbbtree.size/2 which is now deprecated. 
+
+* We have added the predicate set_ordlist.non_empty/1.
+
+* We have added the predicate set_tree234.non_empty/1 and the
+  function set_tree234.from_list/1.
+
+* We have added the predicates set_unordlist.non_empty/1 and
+  set_unordlist.count/2, and the function set_unordlist.count/1. 
+
+* All of the modules in the standard library that implement the set ADT,
+  (set, set_ordlist, set_unordlist, set_bbbtree, set_tree234,
+  and set_ctree234), now support folding over sets with up to six
+  accumulators.  Modes that provide unique and mostly-unique accumulators
+  for set fold have also been added.
+
+* We have made the following changes to the array module of the standard
+  library:
+
+  + We have added the functions unsafe_elem/2 and append/2.
+
+  + We have added the predicates svset/4, unsafe_svset/4, foldl2/4, foldl2/6,
+    foldr/4, foldr2/6, map_foldl/5, map_corresponding_foldl/6, and member/2.
+
+* We have added the predicates version_array.foldl2/6, version_array.foldr/4,
+  and version_array.foldr2/6 to the standard library.
+
+* We have added semidet modes with unique and mostly-unique accumulators for
+  the following predicates:
+	bimap.foldl2/6
+	bimap.foldl3/8
+	cord.foldl_pred/4
+  	cord.map_foldl/5
+	list.map_corresponding_foldl2/8
+	list.map_corresponding_foldl3/10
+	list.map_corresponding3_foldl/7
+	map.foldl3/8
+
+* We have added the predicate unsorted_aggregate2/6 to the solutions module
+  of the standard library.
+
+* We have added several predicates and functions to the require module
+  of the standard library. The predicates sorry/2 and sorry/3 report
+  the absence of a feature, while the predicates unexpected/2 and unexpected/3
+  report an internal error in the program; all have function versions too.
+  The predicate expect/3 calls unexpected if a condition isn't satisfied.
+  We now have expect/4 as well as expect/3. For expect/4 as well as expect/3,
+  the first and last arguments are the expected condition and the error message
+  respectively, but with expect/4, there are two arguments in the middle
+  to specify the location of the error (normally the name of the module
+  and of the predicate respectively). We also added expect_not/3 and
+  expect_not/4, which are like expect/3 and expect/4 respectively,
+  except they expect the condition to be *false*, not true.
+
+Changes to the Mercury compiler:
+
+* We have added a new backend that generates C#.
+
+* Support for building and linking against frameworks on Mac OS X has
+  been improved.
+
+Changes to the extras distribution:
+
+* We have added a binding to the Cairo 2D graphics library.
+
+
+DETAILED LISTING
+================
+
+Changes to the Mercury compiler:
+
+* We have added a new backend that generates C#.
+  For more details, see the README.CSharp.
+
+  The new backend was contributed by Mission Critical IT
+  <http://www.missioncriticalit.com/>.
+
+* We have added two new options, --framework and --framework-directory
+  in order to simplify building and linking against frameworks on Mac OS X.
+  (-F is supported as a synonym for --framework-directory.)
+
+* Switches on strings in which all output arguments in all switch arms are
+  bound to constants are now implemented using lookup tables on the LLDS
+  back end. This should make the generated code more compact as well as faster.
+
+
  .NET CLR back-end history
  -------------------------
  As mentioned above, we started working on the MLDS back-end in July 1999.
Index: NEWS
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/NEWS,v
retrieving revision 1.586
diff -u -r1.586 NEWS
--- NEWS	23 Jun 2011 03:36:10 -0000	1.586
+++ NEWS	26 Jun 2011 14:08:37 -0000
@@ -1,5 +1,5 @@
-NEWS since Mercury 11.01
-------------------------
+NEWS for Mercury 11.07-beta
+---------------------------

  HIGHLIGHTS
  ==========
@@ -193,166 +193,4 @@
    additional modes for maybe.fold_maybe/4, maybe.map_fold_maybe/5,
    and maybe.map_fold2_maybe/7.

-NEWS for Mercury 11.01
-----------------------
-
-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
-==========
-
-Changes to the Mercury language:
-
-* We have added two new kinds of scopes to the language.
-
-  A scope introduced by one of the new keywords require_det, require_semidet,
-  require_multi, require_nondet, require_cc_multi, require_cc_nondet,
-  require_erroneous and require_failure, as the name implies, requires
-  the goal inside the scope to have the given determinism.
- 
-  A scope introduced by the keyword require_complete_switch requires the
-  goal inside the scope, if it is a switch on the variable named by the scope,
-  to be a complete switch, i.e. to have arms for all the function symbols
-  in the type of the switched-on variable.
-
-Changes to the Mercury standard library:
-
-* We have added semidet modes for hash_table.fold/4 and
-  version_hash_table.fold/4.
-
-* We have added new predicates and functions added to the assoc_list module.
-  The predicates map_keys_only/3 map_values_only/3 and map_values/3 complement
-  the functions of the same name. The predicates filter/3, negated_filter/3,
-  filter/4, merge/3, which also have function versions, do jobs very similar
-  to the predicates of the same name in the list module, but do the relevant
-  operations on keys instead of entire list elements.
-
-+ We have moved the lazy evaluation module out of the extras distribution and
-  into a new standard library module called `lazy'.  It has also been made
-  backend-agnostic.
-
-* We have made changes to the list module of the standard library:
-
-  + We added a new predicate list.member_index0/3.  It is like list.member/2
-    except that it also takes a parameter representing the zero-based index of
-    the element within the list.
-
-  + We added a new predicate list.map3_foldl/7 which maps over a list producing
-    three lists and one folded value.
- 
-  + We added semidet modes with unique accumulators for list.foldl3/8,
-    list.foldl4/10, list.foldl5/12, and list.foldl6/14.
-
-* We have added the predicates divide/4 and divide_by_set/4 to the tree_bitset
-  module of the standard library.
-
-* We have added the predicates set_ctree234.member/2 and
-  set_ctree234.non_empty/1.  We have add the function
-  set_ctree234.from_list/1.
-
-* We have added the the predicate set_bbbtree.count/2 and the
-  function set_bbbtree.count/1.  These replace the predicate
-  set_bbbtree.size/2 which is now deprecated. 
-
-* We have added the predicate set_ordlist.non_empty/1.
-
-* We have added the predicate set_tree234.non_empty/1 and the
-  function set_tree234.from_list/1.
-
-* We have added the predicates set_unordlist.non_empty/1 and
-  set_unordlist.count/2, and the function set_unordlist.count/1. 
-
-* All of the modules in the standard library that implement the set ADT,
-  (set, set_ordlist, set_unordlist, set_bbbtree, set_tree234,
-  and set_ctree234), now support folding over sets with up to six
-  accumulators.  Modes that provide unique and mostly-unique accumulators
-  for set fold have also been added.
-
-* We have made the following changes to the array module of the standard
-  library:
-
-  + We have added the functions unsafe_elem/2 and append/2.
-
-  + We have added the predicates svset/4, unsafe_svset/4, foldl2/4, foldl2/6,
-    foldr/4, foldr2/6, map_foldl/5, map_corresponding_foldl/6, and member/2.
-
-* We have added the predicates version_array.foldl2/6, version_array.foldr/4,
-  and version_array.foldr2/6 to the standard library.
-
-* We have added semidet modes with unique and mostly-unique accumulators for
-  the following predicates:
-	bimap.foldl2/6
-	bimap.foldl3/8
-	cord.foldl_pred/4
-  	cord.map_foldl/5
-	list.map_corresponding_foldl2/8
-	list.map_corresponding_foldl3/10
-	list.map_corresponding3_foldl/7
-	map.foldl3/8
-
-* We have added the predicate unsorted_aggregate2/6 to the solutions module
-  of the standard library.
-
-* We have added several predicates and functions to the require module
-  of the standard library. The predicates sorry/2 and sorry/3 report
-  the absence of a feature, while the predicates unexpected/2 and unexpected/3
-  report an internal error in the program; all have function versions too.
-  The predicate expect/3 calls unexpected if a condition isn't satisfied.
-  We now have expect/4 as well as expect/3. For expect/4 as well as expect/3,
-  the first and last arguments are the expected condition and the error message
-  respectively, but with expect/4, there are two arguments in the middle
-  to specify the location of the error (normally the name of the module
-  and of the predicate respectively). We also added expect_not/3 and
-  expect_not/4, which are like expect/3 and expect/4 respectively,
-  except they expect the condition to be *false*, not true.
-
-Changes to the Mercury compiler:
-
-* We have added a new backend that generates C#.
-
-* Support for building and linking against frameworks on Mac OS X has
-  been improved.
-
-Changes to the extras distribution:
-
-* We have added a binding to the Cairo 2D graphics library.
-
-
-DETAILED LISTING
-================
-
-Changes to the Mercury compiler:
-
-* We have added a new backend that generates C#.
-  For more details, see the README.CSharp.
-
-  The new backend was contributed by Mission Critical IT
-  <http://www.missioncriticalit.com/>.
-
-* We have added two new options, --framework and --framework-directory
-  in order to simplify building and linking against frameworks on Mac OS X.
-  (-F is supported as a synonym for --framework-directory.)
-
-* Switches on strings in which all output arguments in all switch arms are
-  bound to constants are now implemented using lookup tables on the LLDS
-  back end. This should make the generated code more compact as well as faster.
-
  For news about earlier versions, see the HISTORY file.
Index: RELEASE_NOTES
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/RELEASE_NOTES,v
retrieving revision 1.37
diff -u -r1.37 RELEASE_NOTES
--- RELEASE_NOTES	10 Jan 2011 04:35:47 -0000	1.37
+++ RELEASE_NOTES	26 Jun 2011 14:10:21 -0000
@@ -1,5 +1,5 @@

-We are pleased to announce the release of version 11.01 of the Mercury system.
+We are pleased to announce the release of version 11.07 of the Mercury system.

  Mercury is a modern general-purpose programming language, designed and
  implemented by a small group of researchers at the University of

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



More information about the reviews mailing list