diff: update NEWS
Zoltan Somogyi
zs at cs.mu.oz.au
Mon Oct 13 07:43:55 AEST 1997
NEWS:
Mention the change to the representation of token lists.
Change "We've" to "We have" for clarity, and "4th" to "Fourth".
Zoltan.
Index: NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.82
diff -u -u -r1.82 NEWS
--- NEWS 1997/10/12 13:32:21 1.82
+++ NEWS 1997/10/12 23:41:34
@@ -8,7 +8,7 @@
Changes to the Mercury language:
********************************
-* We've added support for constraint handling.
+* We have added support for constraint handling.
To support constraint handling, we've made the mode system a bit
more flexible. There is a new inst `any' for variables whose value
@@ -48,7 +48,7 @@
(though rest assured that when we do have type classes,
this feature will indeed be useful).
-* We've introduced new syntax to allow higher-order predicate expressions
+* We have introduced new syntax to allow higher-order predicate expressions
to use DCG notation.
For details, see the "Data-terms" section of the "Syntax" chapter
@@ -59,7 +59,7 @@
Changes to the Mercury standard library:
****************************************
-* We've rewritten the `store' module to use unique modes.
+* We have rewritten the `store' module to use unique modes.
The `store' module provides a declarative interface to mutable variables
with destructive update.
@@ -70,19 +70,23 @@
solutions and then aggregating them. This allows you
to print out solutions as they are found, for example.
-* We've added a few new predicates, namely list__takewhile/4,
+* We have added a few new predicates, namely list__takewhile/4,
bag__to_list/2, and varset__new_named_var/4.
-* We've fixed a problem where io__call_system/4 was not returning the
+* We have changed the interface to lexer__get_token_list to use a more
+ efficient representation of lists of tokens. The functionality is
+ unchanged.
+
+* We have fixed a problem where io__call_system/4 was not returning the
the exit code of the invoked command on some operating systems.
-* We've fixed a bug in relation__rtc/4.
+* We have fixed a bug in relation__rtc/4.
New library packages in the `extras' distribution:
**************************************************
-* We've added a CLP(R) interface.
+* We have added a CLP(R) interface.
The new library package `cfloat_lib', in the extras/clpr directory,
is a Mercury interface to the CLP(R) constraint solver. The module
@@ -105,7 +109,7 @@
transparency -- the interface provided is a completely pure declarative
interface.
-* We've added some support for Prolog-style variables and coroutining.
+* We have added some support for Prolog-style variables and coroutining.
The module extras/trailed_updated/var.m provides a type `var(T)'
which is a Prolog-style variable that holds a value of type T.
@@ -114,7 +118,7 @@
(dynamic scheduling). The extras/trailed_update/samples subdirectory
has an example of the use of freeze/2 to solve the N-queens problem.
-* We've added library modules for backtrackable destructive update.
+* We have added library modules for backtrackable destructive update.
See the new modules `tr_array' and `tr_store' in the extras/trailed_update.
These are versions of `array' and `store' that use trailed backtrackable
@@ -131,7 +135,7 @@
Changes to the Mercury compiler:
********************************
-* We've added support for termination analysis.
+* We have added support for termination analysis.
For details, see the "Termination analysis" subsection of the
"Implementation-dependent pragmas" section of the "Pragmas" chapter
@@ -149,12 +153,12 @@
Details of the analysis is available in "Termination Analysis for
Mercury" by Chris Speirs, Zoltan Somogyi and Harald Sondergaard. In P.
- Van Hentenryck, editor, "Static Analysis: Proceedings of the 4th
+ Van Hentenryck, editor, "Static Analysis: Proceedings of the Fourth
International Symposium", Lecture Notes in Computer Science. Springer,
1997. A longer version is available for download from
<http://www.cs.mu.oz.au/publications/tr_db/mu_97_09.ps.gz>.
-* We've made it easier to use different compilation models ("grades").
+* We have made it easier to use different compilation models ("grades").
The Mercury compiler (mmc), the Mercury front-end to GNU C (mgnuc),
and the Mercury linker (ml) now figure out which grade to use based
@@ -165,7 +169,7 @@
Attempts to mix object files compiled with different grades should now
result in errors at link time rather than undefined behaviour.
-* We've improved the C interface.
+* We have improved the C interface.
We now handle the case when `main' is defined in C rather than in Mercury
slightly more cleanly -- there are functions mercury_init()
@@ -176,5 +180,5 @@
* The compiler does a better job of constant-propagation optimization.
-* We've fixed a few minor bugs.
+* We have fixed a few minor bugs.
More information about the developers
mailing list