diff: update NEWS file
fjh at cs.mu.OZ.AU
Thu Jul 23 01:19:50 AEST 1998
Expand the description of tabling.
Mention exception handling.
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
+ 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 184.108.40.206 | -- the last words of T. S. Garp.
More information about the developers