[m-dev.] for review: update web pages for 0.9
Fergus Henderson
fjh at cs.mu.OZ.AU
Tue Dec 14 05:20:05 AEDT 1999
I won't commit this until the release is ready, of course.
----------
Estimated hours taken: 1.5
Update the web page for release 0.9.
w3/download/release-0.9.php3:
w3/download/release-0.9-contents.php3:
w3/download/release-0.9-bugs.php3:
w3/download/include/release-0.9.inc:
w3/download/include/release-0.9-contents.inc:
w3/download/include/release-0.9-bugs.inc:
New files.
w3/download/include/release.inc:
w3/download/include/old-release.inc:
Move the stuff about 0.8 from release.inc to old-release.inc.
Replace it with stuff about 0.9.
w3/download/current-release-bugs.php3:
Update to refer to 0.9 rather than 0.7.
w3/Makefile:
Add the new files to the list of html pages.
Workspace: /mnt/murlibobo/home/mercury0/fjh/mercury
Index: w3/download/release-0.9-bugs.php3
===================================================================
RCS file: release-0.9-bugs.php3
diff -N release-0.9-bugs.php3
--- /dev/null Wed May 28 10:49:58 1997
+++ release-0.9-bugs.php3 Tue Dec 14 02:03:11 1999
@@ -0,0 +1,9 @@
+<HTML>
+<?
+ $title="Release 0.9 known problems";
+ $dir="download";
+ $root="..";
+ $include="release-0.9-bugs.inc";
+ include "$root/include/template.inc"
+?>
+</HTML>
Index: w3/download/release-0.9-contents.php3
===================================================================
RCS file: release-0.9-contents.php3
diff -N release-0.9-contents.php3
--- /dev/null Wed May 28 10:49:58 1997
+++ release-0.9-contents.php3 Tue Dec 14 02:03:21 1999
@@ -0,0 +1,9 @@
+<HTML>
+<?
+ $title="Release 0.9 Contents";
+ $dir="download";
+ $root="..";
+ $include="release-0.9-contents.inc";
+ include "$root/include/template.inc"
+?>
+</HTML>
Index: w3/download/release-0.9.php3
===================================================================
RCS file: release-0.9.php3
diff -N release-0.9.php3
--- /dev/null Wed May 28 10:49:58 1997
+++ release-0.9.php3 Tue Dec 14 02:03:28 1999
@@ -0,0 +1,9 @@
+<HTML>
+<?
+ $title="Release 0.9 Notes";
+ $dir="download";
+ $root="..";
+ $include="release-0.9.inc";
+ include "$root/include/template.inc"
+?>
+</HTML>
Index: w3/download/include/old-release.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/old-release.inc,v
retrieving revision 1.5
diff -u -d -r1.5 old-release.inc
--- w3/download/include/old-release.inc 1999/02/28 17:51:09 1.5
+++ w3/download/include/old-release.inc 1999/12/13 15:28:11
@@ -11,6 +11,182 @@
Please note, however, that the source and binaries for these
releases are often no longer available from the FTP site.
+<h3>Release 0.8.1</h3>
+
+Mercury 0.8.1 was released on December 13, 1998.
+The only change in this release was that we fixed some
+problems with the scripts for building the binary release;
+apart from that it was identical to 0.8.
+
+Source and binary distributions of release 0.8.1, and
+a patch file containing the diffs between 0.8 and 0.8.1,
+are available at the following site(s):
+
+<dl>
+<dt> Australia
+<dd> <a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/">
+ ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury</a><br>
+ The Mercury ftp site in Melbourne, Australia.
+<dt> Greece
+<dd> <a href = "ftp://ftp.ntua.gr/pub/lang/mercury/">
+ ftp://ftp.ntua.gr/pub/lang/mercury/</a><br>
+ National Technical University of Athens, Greece.
+<dt> Sweden
+<dd> <a href = "ftp://ftp.csd.uu.se/pub/Mercury/">
+ ftp://ftp.csd.uu.se/pub/Mercury/</a><br>
+ Uppsala University, Sweden.
+</dl>
+
+<h3>Release 0.8</h3>
+
+Mercury 0.8 was released on November 18, 1998.
+
+The NEWS file, detailing differences since the release of 0.7.3,
+is available <a href="release-0.8.html">here</a>.
+Source distributions of release 0.8 are available
+at the sites mentioned above, and also at the following site(s):
+
+<dl>
+<dt> USA
+<dd> <a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/">
+ ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/</a><br>
+ Stonybrook University in New York, USA.
+<dt> USA
+<dd> <a href = "ftp://sunsite.unc.edu/pub/Linux/devel/lang/">
+ ftp://sunsite.unc.edu/pub/Linux/devel/lang/mercury/</a><br>
+ Sunsite in the USA.
+<dt> Elsewhere
+<dd> Sunsite has many
+ <a href="http://sunsite.unc.edu/pub/Linux/MIRRORS.html">mirrors</a>.
+ <br>
+ Mercury is available in the /pub/Linux/devel/lang/mercury directory, or
+ its equivalent place on the mirrors.
+</dl>
+
+<a name="known">
+<h4>Information</h4>
+</a>
+
+<ul>
+ <li>
+ <a href = "release-0.8.html">
+ Release notes for 0.8
+ </a>
+
+ <li>
+ <a href = "release-0.8-contents.html">
+ Contents of release 0.8 distribution
+ </a>
+
+ <li>
+ <a href = "release-0.8-bugs.html">
+ Known problems with release 0.8
+ </a>
+
+ <li>
+ <a href = "limitations.html">
+ Limitations of the current release.
+ </a>
+</ul>
+
+<h4>Source Distribution</h4>
+
+<dl>
+<dt> Compiler (6M)
+<dd>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-compiler-0.8.1.tar.gz">Australia</a>
+<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-compiler-0.8.1.tar.gz">Greece</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-compiler-0.8.1.tar.gz">Sweden</a>
+<dt> Extras (377k)
+<dd>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-extras-0.8.1.tar.gz">Australia</a>
+<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-extras-0.8.1.tar.gz">Greece</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-extras-0.8.1.tar.gz">Sweden</a>
+<dt> Tests (233k)
+<dd>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-tests-0.8.1.tar.gz">Australia</a>
+<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-tests-0.8.1.tar.gz">Greece</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-tests-0.8.1.tar.gz">Sweden</a>
+</dl>
+
+<h4>Binary Distribution</h4>
+
+Binary distributions of Mercury 0.8.1:
+<p>
+
+<dl>
+ <dt>x86 machines running Linux (ELF executable format, libc 6.0)
+ <dd> Note that these binary distributions work ONLY with libc 6.0.x.
+ Unfortunately they do NOT work with libc 6.1. This is due
+ to incompatibilities between libc versions 6.0 and 6.1
+ (i.e. glibc 2.0 and 2.1).
+ <p>
+ Debian Package (*.deb) <br>
+ Compiler only (about 11.6 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury_0.8.1-1.deb">Australia</a>
+<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury_0.8.1-1.deb">Greece</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-tests-0.8.1-1.deb">Sweden</a>
+ <br>
+ If you get this package, we suggest that you also download
+ the "extras" source distribution.
+ <p>
+ RedHat Package (*.rpm) <br>
+ Compiler only (about 11.6 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury_0.8.1-1.deb">Australia</a>
+<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury_0.8.1-1.deb">Greece</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-tests-0.8.1-1.deb">Sweden</a>
+ <br>
+ If you get this package, we suggest that you also download
+ the "extras" source distribution.
+ <p>
+ Ordinary package (*.tar.gz) <br>
+ Compiler + Extras + Tests (about 14.5 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.8.1.i686-pc-linux-gnu.tar.gz">Australia</a>
+<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-0.8.1.i686-pc-linux-gnu.tar.gz">Greece</a>
+<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.8.1.i686-pc-linux-gnu.tar.gz">USA</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.8.1.i686-pc-linux-gnu.tar.gz">Sweden</a>
+ <p>
+
+ <dt>x86 machines running FreeBSD 3.0
+ <dd> Compiler only, minus sample programs (about 14.5 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-compiler-0.8.i386-pc-freebsd3.0.tar.gz">Australia</a>
+<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-compiler-0.8.i386-pc-freebsd3.0.tar.gz">Greece</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-compiler-0.8.i386-pc-freebsd3.0.tar.gz">Sweden</a>
+<br>
+ If you get this distribution, we suggest you also download
+ the "compiler" and "extras" source distributions,
+ so that you can look at some sample programs.
+ <p>
+
+ <dt>Sun SPARC machines running Solaris 2.x and SunOS 5.6
+ <dd> Compiler + Extras + Tests (about 17.9 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.8.1.sparc-sun-solaris2.6.tar.gz">Australia</a>
+<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-0.8.1.sparc-sun-solaris2.6.tar.gz">Greece</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.8.1.sparc-sun-solaris2.6.tar.gz">Sweden</a>
+<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.8.1.sparc-sun-solaris2.6.tar.gz">USA</a><br>
+ <em> <strong>WARNING:</strong>
+We've had reports that some users have had trouble untarring some of
+the binary distributions for Solaris, with tar reporting
+"directory checksum error". This appears to be due to a bug in
+Sun tar. If you encounter this problem, then (1) let us know
+and (2) use GNU tar. </em>
+ <p>
+ <dt>DEC Alpha machines running OSF/1 or Digital Unix
+ <dd> Compiler + Extras + Tests (about 36 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.8.1.alpha-dec-osf3.2.tar.gz">Australia</a>
+<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-0.8.1.alpha-dec-osf3.2.tar.gz">Greece</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.8.1.alpha-dec-osf3.2.tar.gz">Sweden</a>
+<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.8.1.alpha-dec-osf3.2.tar.gz">USA</a>
+
+ <p>
+ <dt>x86 machines running Windows 95 or Windows NT
+ <dd> Compiler + Extras + Tests (about 14 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.8.1.pc-windows-cygwin-b20.1.tar.gz">Australia</a>
+<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-0.8.1.pc-windows-cygwin-b20.1.tar.gz">Greece</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.8.1.pc-windows-cygwin-b20.1.tar.gz">Sweden</a>
+
+</dl>
+
<h3>Release 0.7.3</h3>
On the 1st November, 1997, we released Mercury 0.7.3. Some installation
Index: w3/download/include/release-0.9-bugs.inc
===================================================================
RCS file: release-0.9-bugs.inc
diff -N release-0.9-bugs.inc
--- /dev/null Wed May 28 10:49:58 1997
+++ release-0.9-bugs.inc Tue Dec 14 02:12:28 1999
@@ -0,0 +1,187 @@
+<h2>Release 0.9 - Known Problems</h2>
+
+The following is collected email of reported problems with release
+0.9 of the Mercury distribution. Included, where possible, are
+patches or work-arounds.
+<p>
+In addition to the bugs mentioned here, some bugs related
+to the implementation of particular languages features
+(existential types, nested modules, tabling)
+are also mentioned in the language reference manual, and some
+problems related to using Mercury on specific operating systems
+are described in the README.* files in the distribution.
+See also the LIMITATIONS file.
+<p>
+Note: please do not be alarmed by the fact that this software has some bugs.
+ALL useful software has bugs. During the development of the Mercury
+implementation we have found bugs in gcc, as, ld, the dynamic loader,
+and even the OS kernel. We hope that by listing the known outstanding bugs
+here we are doing our users a service. It would be disappointing if
+anyone were to infer the wrong thing from it.
+<p>
+<hr>
+<p>
+Subject: bug report - Inf and NaN
+<br>
+Date: Wed, 4 Oct 1995
+<p>
+The following module causes an "undefined variable Inf" error in the
+generated C code, because 1E400 == Infinity, which gets printed as `Inf'.
+<p>
+<pre>
+:- module hello.
+:- interface.
+:- import_module io.
+
+:- pred main(io__state::di, io__state::uo) is det.
+
+:- implementation.
+
+main -->
+ io__write_float(1E400),
+ io__write_string("\n").
+</pre>
+<p>
+<hr>
+<p>
+Subject: nit in error msg
+<br>
+Date: Thu, 16 May 1996
+<p>
+Here's another small error in an error message. If you comment out
+the [] clause for the functions car/1 or cdr/1, you get this message:
+<p>
+<pre>
+fntest.m:023: In `car(in) = out':
+fntest.m:023: Error: determinism declaration not satisfied.
+fntest.m:023: Declared `det', inferred `semidet'.
+fntest.m:023: in argument 1 of clause head:
+fntest.m:023: unification of `HeadVar__1' and `[X | V_4]' can fail.
+</pre>
+<p>
+It says Declared `det', inferred `semidet', but I never declared it at
+all. It's a bit misleading. Certainly not a major problem, and the
+later part of the message makes it quite clear what the problem is,
+but I thought I'd point it out to you before I forgot it.
+
+<p>
+<hr>
+<p>
+Subject: missed mode error
+<br>
+Date: Tue, 28 May 1996
+<p>
+Another one for the bug report file:
+<p>
+The goal `some [X, Y] X \= Y' should be a mode error,
+but the current mode checker doesn't report an error.
+Instead, the compiler goes on to generate code which gives
+the wrong answer. For example, the following program prints out `no'.
+The same problem also occurs with `some [X, Y] (X = Y -> fail ; true)'.
+<p>
+<pre>
+:- module bug.
+:- interface.
+:- import_module io.
+
+:- pred main(io__state::di, io__state::uo) is det.
+
+:- implementation.
+
+main -->
+ ( { p } -> io__write_string("yes\n") ; io__write_string("no\n") ).
+
+:- pred p is semidet.
+p :-
+ some [X, Y] X \= Y.
+</pre>
+<p>
+The bug occurs only when the variables being unified inside a negated
+context are not live, i.e. when it is the last occurrence of those variables.
+
+<p>
+<hr>
+<p>
+Subject: bug with PC values on Alpha
+<br>
+Date: Wed, 12 Jun 1996
+<p>
+On the alpha, if the Mercury runtime catches a signal, it
+sometimes prints out the wrong value for the PC (program counter).
+<p>
+<hr>
+Subject: inter-module optimization and abstract exported equivalence types.
+<br>
+Date: Thu, 19 Feb 1998
+<p>
+In some cases the compiler reports spurious ambiguity errors when compiling
+with `--intermodule-optimization'. This is due to the definition of abstract
+exported equivalence types being made visible by inter-module optimization.
+In this example, with `--intermodule-optimization' the compiler sees the
+declaration `:- type var == int' from term.m and then cannot determine whether
+`Elem' has type `int' or `pair(int)'.
+The work-around is to add an explicit type qualification.
+<pre>
+:- module foo.
+:- interface.
+:- import_module list, term.
+:- pred test(list(var)::in) is det.
+:- implementation.
+:- import_module int, std_util.
+
+test(Args0) :-
+ MakeIndex =
+ lambda([Elem0::in, Elem::out, Index0::in, Index::out] is det, (
+ Elem = Elem0 - Index0,
+ Index is Index0 + 1
+ )),
+ list__map_foldl(MakeIndex, Args0, _, 0, _).
+</pre>
+<p>
+<hr>
+Subject: Formatted printing of floating point numbers broken
+<br>
+Date: Thu, 27 May 1999
+<p>
+It seems as though the formatted printing of floating point numbers is
+broken if one uses the %g or %G format specifiers. In particular, if it
+decides that the %f format should be used, everything after the decimal
+point is discarded.
+<p>
+Note also that, from inspection of the code, it seems the "#" format
+modifier is being ignored for the "feEgG" formats, contrary to the
+documentation for string__format. It'd also be nice if, by default, the
+%g/%G format didn't print trailing zeros (as per the C standard [and implied
+by the Mercury docs] and the reason I was trying to use it in the first
+place: I don't like outputting 0.500000000000000, but I don't want to be
+aggressive about pruning the precision in case it's actually significant
+sometime).
+<p>
+<hr>
+<p>
+Subject: `:- pragma does_not_terminate'
+<br>
+Date: Wed, 9 Jun 1999
+<p>
+`:- pragma does_not_terminate' declarations do not work.
+The compiler's termination analysis seems to ignore them.
+<p>
+<hr>
+<p>
+Date: Wed, 1 Dec 1999
+<br>
+Subject: compiler infinite loop for cyclic type classes
+<p>
+According to the language reference manual:
+<p>
+<pre>
+| Typeclass constraints on type class declarations gives rise to a
+| superclass relation. This relation must be acyclic. That is, it is an
+| error if a type class is its own (direct or indirect) superclass.
+</pre>
+<p>
+But if you try to compile modules containing cyclic typeclasses,
+the compiler goes into an infinite loop and eventually gets a
+stack overflow, rather than reporting a proper error message.
+<p>
+<hr>
Index: w3/download/include/release-0.9-contents.inc
===================================================================
RCS file: release-0.9-contents.inc
diff -N release-0.9-contents.inc
--- /dev/null Wed May 28 10:49:58 1997
+++ release-0.9-contents.inc Tue Dec 14 02:18:18 1999
@@ -0,0 +1,41 @@
+<h2>Release 0.9 - Contents</h2>
+
+The Mercury distribution is split into three parts.
+The "mercury-compiler" distribution contains:
+<ul>
+ <li> an autoconfiguration script
+ <li> the Mercury source for the compiler
+ <li> the Mercury source for the standard library
+ <li> the automatically generated C source for the compiler
+ and the standard library
+ <li> the runtime system (written in C)
+ <li> Hans Boehm's conservative garbage collector for C
+ <li> a profiler
+ <li> a debugger
+ <li> some utility programs, including a make front-end for
+ Mercury with automatic dependency recomputation
+ <li> the Mercury language reference manual
+ <li> the Mercury library reference manual
+ <li> the Mercury user's guide
+ <li> the Mercury frequently asked questions list
+ <li> the Prolog to Mercury transition guide
+ <li> some sample Mercury programs
+</ul>
+<p>
+The "mercury-extras" distribution contains:
+<ul>
+ <li> some extra libraries for
+ <ul>
+ <li> processing HTML forms using the CGI interface
+ <li> arithmetic on complex and imaginary numbers
+ <li> graphics using Tk and OpenGL
+ <li> lazy evaluation
+ <li> dynamic linking
+ <li> POSIX interface
+ <li> backtrackable (trailed) destructive update
+ <li> an ODBC database interface
+ <li> a CLP(R) interface, i.e. constraint solving over real numbers
+ </ul>
+ <li> the OPIUM-M debugger/trace analysis system
+</ul>
+The "mercury-tests" distribution contains a test suite.
Index: w3/download/include/release-0.9.inc
===================================================================
RCS file: release-0.9.inc
diff -N release-0.9.inc
--- /dev/null Wed May 28 10:49:58 1997
+++ release-0.9.inc Tue Dec 14 02:36:12 1999
@@ -0,0 +1,293 @@
+<h2>New in release 0.9 of the Mercury distribution</h2>
+
+<h3>HIGHLIGHTS</h3>
+
+Changes to the Mercury language:
+<ul>
+<li> The Mercury type system now supports existentially quantified types.
+<li> We now allow abstract instance declarations.
+<li> We now support a simple form of user-defined infix operators.
+</ul>
+
+Changes to the Mercury standard library:
+<ul>
+<li> Exception handling support is now part of the standard library.
+<li> There are two new standard library modules `time' and `gc'.
+<li> We've added function versions of many of the predicates in the
+ Mercury standard library.
+</ul>
+
+New library packages in the Mercury extras distribution:
+<ul>
+<li> We've added support for optional lazy evaluation.
+<li> The extras distribution now includes support for dynamic linking.
+<li> We've added some bindings to POSIX.3 functionality.
+</ul>
+
+Changes to the Mercury implementation:
+<li> Mmake, the Mercury make tool, now includes better support for
+ installing libraries.
+<li> The Mercury debugger (mdb) is much improved.
+ It now includes support for interactive queries, command-line editing
+ and command-line history, display of source line numbers, and
+ setting breakpoints on source line numbers.
+ The GNU Emacs interface provides a source-linked debugger.
+<li> We've removed the support for using a Prolog debugger on Mercury programs.
+<li> We've added support for user-guided type specialization.
+<li> Numerous bug fixes.
+</ul>
+
+<h3>DETAILED LISTING</h3>
+
+<h4>Changes to the Mercury language:</h4>
+
+<ul>
+<li> The Mercury type system now supports existentially quantified types. <p>
+
+ Existential types let you create heterogenous collections (e.g. lists
+ containing objects of different types). In combination with type
+ classes, they allow you to write code in an OOP-like style.
+ See the "Existential types" chapter of the Mercury Language Reference
+ Manual for details. <p>
+
+ Our current implementation still has a couple of important limitations;
+ see the "Known bugs and limitations" section of the "Existential types"
+ chapter of the Mercury Language Reference Manual. <p>
+
+<li> We now allow abstract instance declarations. <p>
+
+ You can declare in the interface of a module that a type is an
+ instance of a particular type class, and provide the definition
+ of that instance in the implementation section of that module. <p>
+
+<li> We now support a simple form of user-defined infix operators. <p>
+
+ Terms in the form of x `fun` y are transformed into fun(x, y). `fun`
+ is parsed as an infix operator with the highest possible precedence
+ and left associativity. <p>
+
+<li> We've made a small change to the rule for quantification of lambda
+ expressions. <p>
+
+ The new rule is that all variables in the arguments of lambda
+ expressions are treated as locally quantified to that lambda expression.
+ For function lambda expressions, variables in the result term
+ use the normal quantification rules. See the "Data-terms" section
+ of the "Syntax" chapter of the Mercury Language Reference Manual
+ for details. <p>
+
+ Previously, the exact quantification rule for lambda expressions was
+ not documented, but the compiler would locally quantify variables in
+ function return values, and it would only locally quantify variables
+ occuring at the top level of an argument term, not those occurring in
+ subterms. Both of these were rather surprising for functional
+ programmers. <p>
+
+ It is possible that this change may break some existing code using
+ predicate lambda expressions with compound terms as arguments, but we
+ expect this to be extremely rare. If it does occur, the compiler
+ will issue a warning about variables having overlapping scopes, and
+ the work-around is simple: use a fresh variable for the lambda
+ predicate argument and unify it with the compound term in the body of
+ the lambda expression. <p>
+
+<li> The old-style syntax for predicate lambda expressions,
+ `lambda([<Args>] is <Det>, <Goal>)', is now officially deprecated. <p>
+
+ Please use the new syntax-style `(pred([<Args>]) is <Det> :- <Goal>)'
+ instead. The compiler still supports the old-style syntax, but
+ we plan to eventually drop this support in some future release. <p>
+
+</ul>
+
+<h4>Changes to the Mercury standard library:</h4>
+
+<ul>
+<li> Exception handling support is now part of the standard library. <p>
+
+ The module `exception', which was previously part of the "extras"
+ distribution, has been moved into the standard library.
+ The predicate error/1 now throws an exception rather than just
+ terminating execution. <p>
+
+ However, many of the operations in the standard library still handle
+ errors by aborting execution rather than by throwing exceptions. <p>
+
+<li> There's a new standard library module `time'. <p>
+
+ The `time' module provides an interface to the ANSI/ISO C <time.h>
+ functions, and to the POSIX times() function. Thanks to Tomas By
+ for contributing the original version of this module. <p>
+
+<li> There's a new standard library module `gc', for controlling the
+ garbage collector. <p>
+
+ Currently it contains only one predicate, `garbage_collect',
+ which forces a garbage collection. We may add more later. <p>
+
+<li> We've added some new predicates to the Mercury standard library:
+ array__map/3,
+ bag__count_value/3,
+ std_util__do_while/4.
+ <p>
+<li> We've added function versions of many of the predicates in the
+ Mercury standard library. <p>
+
+ One small drawback of this change is that it is not completely
+ backwards compatible; in certain circumstances, there is a potential
+ ambiguity between a function call and a partially applied predicate,
+ and for some occurrences of this the compiler may not be able to
+ resolve the ambiguity unless the user provides additional type
+ declarations (or the like). But such cases should be quite rare,
+ and when they do occur the fix is easy, so we thought the clear
+ advantages of using a functional syntax were well worth this minor
+ glitch in backwards compatibility. <p>
+
+<li> The following predicates have been replaced by functions with
+ the same names, and will be removed in a future release. <p>
+
+ The predicate versions were intended for use in programs which needed
+ to work in both Prolog and Mercury, but executing Mercury programs using
+ Prolog is no longer supported. <p>
+
+ float__ceiling_to_int/2,
+ float__floor_to_int/2,
+ float__round_to_int/2,
+ float__truncate_to_int/2,
+ float__abs/2,
+ float__max/3,
+ float__min/3,
+ float__pow/3,
+ float__hash/2,
+ float__max/1,
+ float__min/1,
+ float__epsilon/1,
+ float__radix/1,
+ float__mantissa_digits/1,
+ float__min_exponent/1,
+ float__max_exponent/1.
+ <p>
+<li> The implementations of `int:>>/2' and `int:<</2' have been changed to define
+ the results for negative shift counts and shift counts greater than the
+ word size. <p>
+
+ For efficiency, we also provide the functions `int:unchecked_left_shift/2'
+ and `int:unchecked_right_shift/2' that, like the previous implementations
+ of `int:>>/2' and `int:<</2', do not check for these cases. <p>
+
+<li> `int:^/2' and `integer:^/2' have been replaced by `int__xor/2' and
+ `integer__xor/2', and will be removed in a future release.
+ The operator `^' will be used by record syntax. <p>
+
+</ul>
+
+<h4>New library packages in the Mercury extras distribution:</h4>
+
+<ul>
+<li> We've added support for optional lazy evaluation. <p>
+
+ The extras distribution now includes a new module `lazy',
+ which provides support for optional lazy evaluation
+ via a type `lazy(T)', with `delay' and `force' operations.
+ There's also a `lazy_list' module which uses the `lazy' module.
+ See the files in extras/lazy_evaluation for details. <p>
+
+<li> The extras distribution now includes support for dynamic linking. <p>
+
+ The interface is based on the C functions dlopen(), dlsym(), and co.,
+ which are supported by most modern Unix systems.
+ See the files in extras/dynamic_linking for details. <p>
+
+<li> We've added some bindings to POSIX.3 functionality. <p>
+
+ At this stage it's quite incomplete.
+ See the files in extras/posix for details. <p>
+
+</ul>
+
+<h4>Changes to the Mercury implementation:</h4>
+
+<ul>
+<li> Mmake, the Mercury make tool, now includes better support for
+ installing libraries. <p>
+
+ It's now much easier to build and install libraries in several
+ different grades (e.g. for debugging, time profiling, and memory
+ profiling) or for more than one architecture. <p>
+
+ See the "Supporting multiple grades and architectures" section
+ of the "Libraries" chapter of the Mercury User's Guide. <p>
+
+<li> We've fixed a bug in switch detection. <p>
+
+ This change may break some code written for Mercury 0.8. Some
+ disjunctions which Mercury 0.8 found to have determinism `det'
+ now have determinism `nondet'. <p>
+
+ Mercury 0.8 (but not Mercury 0.7) allowed switches where a unification
+ to test the switched-on variable against a function symbol occurred after
+ the first call in the disjunct. Doing this may remove infinite loops,
+ violating the strict sequential semantics (see the "Semantics" chapter
+ of the Mercury Language Reference Manual). <p>
+
+ To fix switches for which determinism errors are now reported, simply
+ reorder the goals in each disjunct so that only unifications occur
+ before the test of the switched-on variable. <p>
+
+<li> The Mercury debugger (mdb) now includes support for interactive queries. <p>
+
+ See the "Interactive query commands" subsection of the "Debugger commands"
+ section of the "Debugging" chapter of the Mercury User's Guide for details. <p>
+
+<li> The Mercury debugger (mdb) now optionally supports command-line editing
+ and command-line history. <p>
+
+ This support uses the GNU Readline library. For the source distribution,
+ the Mercury configure script will detect whether readline has been
+ installed and will only enable the command-line editing and history
+ support if readline has been installed. For the binary distribution,
+ if the binary distribution was built with readline, then you will
+ need to install GNU readline in order to use the debugger. <p>
+
+ For information on where to obtain GNU Readline, see the INSTALL file. <p>
+
+<li> The Mercury debugger (mdb) now displays source line numbers and allows
+ setting breakpoints on source line numbers. <p>
+
+ The GNU Emacs interface takes advantage of this to provide a
+ source-linked debugger. <p>
+
+<li> We've removed the support for using a Prolog debugger on Mercury programs. <p>
+
+ Now that we have a working Mercury debugger, there's no longer any need to
+ use a Prolog debugger for debugging Mercury code. <p>
+
+ Normally we would warn at least one or two releases in advance, if
+ any feature is to be removed. However, in this case
+
+ <ul>
+ <li> it was an implementation feature rather than a language feature;
+ <li> the cost of maintaining the feature was quite high;
+ <li> the feature was already broken is various ways [one being that it
+ doesn't work with the latest versions of SICStus Prolog, due to
+ those versions removing support for a SICStus Prolog feature
+ (save/1), apparently without any advance notice]; and
+ <li> a simple work-around is available if anything breaks as a result
+ of the feature being removed.
+ </ul>
+
+ In the unlikely event that anyone happened to have any makefiles or
+ scripts that depended on the support for using Prolog, they can
+ install the latest Mercury distribution and still continue to use the
+ Prolog support from Mercury 0.8, just by including the `bin'
+ directories for both versions in their PATH, with the more recent one
+ first, of course. <p>
+
+<li> We've added support for user-guided type specialization. <p>
+
+ See the "Type specialization" section of the "Pragmas" chapter of the
+ Mercury Language Reference Manual for details.
+
+<li> Numerous bug fixes. <p>
+
+</ul>
Index: w3/download/include/release.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/release.inc,v
retrieving revision 1.11
diff -u -d -r1.11 release.inc
--- w3/download/include/release.inc 1999/03/19 04:25:09 1.11
+++ w3/download/include/release.inc 1999/12/13 16:20:22
@@ -1,14 +1,16 @@
<h2>Current Release</h2>
-Mercury 0.8.1 was released on December 13, 1998.
-The only change in this release was that we fixed some
-problems with the scripts for building the binary release;
-apart from that it is identical to 0.8.
-There is no need for users who already have 0.8 to upgrade.
+XXX fill in the final release date.
+XXX need to update the list of ftp sites
+XXX update the file sizes
-Source and binary distributions of release 0.8.1, and
-a patch file containing the diffs between 0.8 and 0.8.1,
+Mercury 0.9 is due to be released on December 17, 1999.
+
+The NEWS file, detailing differences since the release of 0.8.1,
+is available <a href="release-0.9.html">here</a>.
+Source distributions of release 0.9
are available at the following site(s):
+(note: some of these links may be dangling links for now...)
<dl>
<dt> Australia
@@ -23,16 +25,6 @@
<dd> <a href = "ftp://ftp.csd.uu.se/pub/Mercury/">
ftp://ftp.csd.uu.se/pub/Mercury/</a><br>
Uppsala University, Sweden.
-</dl>
-
-Mercury 0.8 was released on November 18, 1998.
-
-The NEWS file, detailing differences since the release of 0.7.3,
-is available <a href="release-0.8.html">here</a>.
-Source distributions of release 0.8 are available
-at the sites mentioned above, and also at the following site(s):
-
-<dl>
<dt> USA
<dd> <a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/">
ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/</a><br>
@@ -55,18 +47,18 @@
<ul>
<li>
- <a href = "release-0.8.html">
- Release notes for 0.8
+ <a href = "release-0.9.html">
+ Release notes for 0.9
</a>
<li>
- <a href = "release-0.8-contents.html">
- Contents of release 0.8 distribution
+ <a href = "release-0.9-contents.html">
+ Contents of release 0.9 distribution
</a>
<li>
- <a href = "release-0.8-bugs.html">
- Known problems with release 0.8
+ <a href = "release-0.9-bugs.html">
+ Known problems with release 0.9
</a>
<li>
@@ -81,8 +73,7 @@
<p>
<ul>
<li> x86 machines running Linux
- <li> x86 machines running FreeBSD 3.0
- <li> x86 machines running Windows 95
+ <li> x86 machines running Windows NT
<li> Sun SPARC machines running Solaris 2.x and SunOS 5.x
<li> DEC Alpha machines running OSF/1 (Digital Unix)
<li> SGI Mips machines running IRIX 5.x
@@ -92,7 +83,8 @@
not tested the latest release on these:
<p>
<ul>
- <li> x86 machines running Windows NT
+ <li> x86 machines running Windows 95
+ <li> x86 machines running FreeBSD 3.0
<li> x86 machines running other BSD Unix systems
<li> PowerPC machines running Linux
<li> DEC Alpha machines running Linux
@@ -110,7 +102,7 @@
known to have problems compiling Mercury on some architectures, e.g. SPARC)
and GNU make (version 3.69 or higher).
If you are installing the Windows 95 or Windows NT version,
-you will also need gnu-win32, version b17.1, b18, or b20.1 or later.
+you will also need Cygwin, version b17.1, b18, or b20.1 or later.
<h3>How to get the distribution</h3>
@@ -121,7 +113,7 @@
<h3>Source Distribution</h3>
-The main "compiler" source distribution is about 6 Mb.
+The main "compiler" source distribution is about 8 Mb.
This includes the compiler, standard library,
debugger, profiler, and other tools.
@@ -137,26 +129,26 @@
or porting it to a new system.
<dl>
-<dt> Compiler (6M)
+<dt> Compiler (8M)
<dd>
-<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-compiler-0.8.1.tar.gz">Australia</a>
-<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-compiler-0.8.1.tar.gz">Greece</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-compiler-0.8.1.tar.gz">Sweden</a>
-<dt> Extras (377k)
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-compiler-0.9.tar.gz">Australia</a>
+<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-compiler-0.9.tar.gz">Greece</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-compiler-0.9.tar.gz">Sweden</a>
+<dt> Extras (460k)
<dd>
-<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-extras-0.8.1.tar.gz">Australia</a>
-<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-extras-0.8.1.tar.gz">Greece</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-extras-0.8.1.tar.gz">Sweden</a>
-<dt> Tests (233k)
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-extras-0.9.tar.gz">Australia</a>
+<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-extras-0.9.tar.gz">Greece</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-extras-0.9.tar.gz">Sweden</a>
+<dt> Tests (328k)
<dd>
-<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-tests-0.8.1.tar.gz">Australia</a>
-<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-tests-0.8.1.tar.gz">Greece</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-tests-0.8.1.tar.gz">Sweden</a>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-tests-0.9.tar.gz">Australia</a>
+<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-tests-0.9.tar.gz">Greece</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-tests-0.9.tar.gz">Sweden</a>
</dl>
<h3>Binary Distribution</h3>
-Binary distributions of Mercury 0.8.1:
+Binary distributions of Mercury 0.9:
<br>
(Note that some of these URLs will be dangling links until we have
installed all the binary distributions.)
@@ -170,48 +162,37 @@
(i.e. glibc 2.0 and 2.1).
<p>
Debian Package (*.deb) <br>
- Compiler only (about 11.6 Mb): <br>
-<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury_0.8.1-1.deb">Australia</a>
-<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury_0.8.1-1.deb">Greece</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-tests-0.8.1-1.deb">Sweden</a>
+ Compiler only (about 18 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury_0.9-1.deb">Australia</a>
+<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury_0.9-1.deb">Greece</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-tests-0.9-1.deb">Sweden</a>
<br>
If you get this package, we suggest that you also download
the "extras" source distribution.
<p>
RedHat Package (*.rpm) <br>
- Compiler only (about 11.6 Mb): <br>
-<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury_0.8.1-1.deb">Australia</a>
-<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury_0.8.1-1.deb">Greece</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-tests-0.8.1-1.deb">Sweden</a>
+ Compiler only (about 18 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury_0.9-1.deb">Australia</a>
+<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury_0.9-1.deb">Greece</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-tests-0.9-1.deb">Sweden</a>
<br>
If you get this package, we suggest that you also download
the "extras" source distribution.
<p>
Ordinary package (*.tar.gz) <br>
- Compiler + Extras + Tests (about 14.5 Mb): <br>
-<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.8.1.i686-pc-linux-gnu.tar.gz">Australia</a>
-<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-0.8.1.i686-pc-linux-gnu.tar.gz">Greece</a>
-<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.8.1.i686-pc-linux-gnu.tar.gz">USA</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.8.1.i686-pc-linux-gnu.tar.gz">Sweden</a>
- <p>
-
- <dt>x86 machines running FreeBSD 3.0
- <dd> Compiler only, minus sample programs (about 14.5 Mb): <br>
-<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-compiler-0.8.i386-pc-freebsd3.0.tar.gz">Australia</a>
-<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-compiler-0.8.i386-pc-freebsd3.0.tar.gz">Greece</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-compiler-0.8.i386-pc-freebsd3.0.tar.gz">Sweden</a>
-<br>
- If you get this distribution, we suggest you also download
- the "compiler" and "extras" source distributions,
- so that you can look at some sample programs.
+ Compiler + Extras + Tests (about 20 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.9.i686-pc-linux-gnu.tar.gz">Australia</a>
+<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-0.9.i686-pc-linux-gnu.tar.gz">Greece</a>
+<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.9.i686-pc-linux-gnu.tar.gz">USA</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.9.i686-pc-linux-gnu.tar.gz">Sweden</a>
<p>
<dt>Sun SPARC machines running Solaris 2.x and SunOS 5.6
- <dd> Compiler + Extras + Tests (about 17.9 Mb): <br>
-<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.8.1.sparc-sun-solaris2.6.tar.gz">Australia</a>
-<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-0.8.1.sparc-sun-solaris2.6.tar.gz">Greece</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.8.1.sparc-sun-solaris2.6.tar.gz">Sweden</a>
-<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.8.1.sparc-sun-solaris2.6.tar.gz">USA</a><br>
+ <dd> Compiler + Extras + Tests (about 20 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.9.sparc-sun-solaris2.6.tar.gz">Australia</a>
+<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-0.9.sparc-sun-solaris2.6.tar.gz">Greece</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.9.sparc-sun-solaris2.6.tar.gz">Sweden</a>
+<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.9.sparc-sun-solaris2.6.tar.gz">USA</a><br>
<em> <strong>WARNING:</strong>
We've had reports that some users have had trouble untarring some of
the binary distributions for Solaris, with tar reporting
@@ -220,18 +201,18 @@
and (2) use GNU tar. </em>
<p>
<dt>DEC Alpha machines running OSF/1 or Digital Unix
- <dd> Compiler + Extras + Tests (about 36 Mb): <br>
-<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.8.1.alpha-dec-osf3.2.tar.gz">Australia</a>
-<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-0.8.1.alpha-dec-osf3.2.tar.gz">Greece</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.8.1.alpha-dec-osf3.2.tar.gz">Sweden</a>
-<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.8.1.alpha-dec-osf3.2.tar.gz">USA</a>
+ <dd> Compiler + Extras + Tests (about 44 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.9.alpha-dec-osf3.2.tar.gz">Australia</a>
+<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-0.9.alpha-dec-osf3.2.tar.gz">Greece</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.9.alpha-dec-osf3.2.tar.gz">Sweden</a>
+<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.9.alpha-dec-osf3.2.tar.gz">USA</a>
<p>
<dt>x86 machines running Windows 95 or Windows NT
- <dd> Compiler + Extras + Tests (about 14 Mb): <br>
-<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.8.1.pc-windows-cygwin-b20.1.tar.gz">Australia</a>
-<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-0.8.1.pc-windows-cygwin-b20.1.tar.gz">Greece</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.8.1.pc-windows-cygwin-b20.1.tar.gz">Sweden</a>
+ <dd> Compiler + Extras + Tests (about 20 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.9.pc-windows-cygwin-b20.1.tar.gz">Australia</a>
+<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/mercury-0.9.pc-windows-cygwin-b20.1.tar.gz">Greece</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.9.pc-windows-cygwin-b20.1.tar.gz">Sweden</a>
</dl>
@@ -247,7 +228,7 @@
<a href = "ftp://ftp.ntua.gr/pub/lang/mercury/">
ftp://ftp.ntua.gr/pub/lang/mercury/</a>
- <dt> Europe (automatically updated mirror)
+ <dt> Sweden (automatically updated mirror)
<dd>
<a href = "ftp://ftp.csd.uu.se/pub/Mercury/">
ftp://ftp.csd.uu.se/pub/Mercury/</a>
--
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.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to: mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions: mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------
More information about the developers
mailing list