diff: update NEWS file

Fergus Henderson fjh at cs.mu.OZ.AU
Thu Jul 23 01:19:50 AEST 1998


NEWS:
	Expand the description of tabling.
	Mention exception handling.

Index: NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.109
diff -u -r1.109 NEWS
--- NEWS	1998/07/22 14:58:10	1.109
+++ NEWS	1998/07/22 15:16:51
@@ -282,7 +282,26 @@
   XXX These features are not yet documented.
   XXX (See tests/hard_coded/pragma_import.m for some examples.)
 
-* We have added tabling. XXX
+* We have added support for automatic tabling (memoization).
+
+  See the "Tabled evaluation" subsection of the "Implementation-dependent
+  pragmas" section of the "Pragmas" chapter of the Mercury language
+  reference manual.
+
+* We have added (tentative) support for exception handling.
+
+  The interface to exception handling is actually via an `exception.m'
+  library module rather than a new language construct.  
+  For now, this module is located in the `extras/exceptions'
+  directory, which is part of the `mercury-extras' distribution,
+  but our intent is to eventually migrate this into the Mercury
+  standard library if experience with its use proves positive.
+
+  The exception handling interface uses committed choice nondeterminism
+  to avoid some semantic problems with previous exception handling
+  proposals.
+
+  See the documentation in the interface of `exception.m' for details.
 
 Changes to the Mercury standard library:
 ****************************************

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.



More information about the developers mailing list