[m-dev.] trivial diff: fix for 0.10 bugs web page
Fergus Henderson
fjh at cs.mu.OZ.AU
Sat Feb 24 23:53:30 AEDT 2001
Estimated hours taken: 0.25
w3/download/include/release-0.10-bugs.inc
Delete "existential types" from the list of language features
with documented bugs, since those bugs have been fixed now.
Index: include/release-0.10-bugs.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/release-0.10-bugs.inc,v
retrieving revision 1.1
diff -u -d -u -r1.1 release-0.10-bugs.inc
--- include/release-0.10-bugs.inc 2001/02/23 04:37:37 1.1
+++ include/release-0.10-bugs.inc 2001/02/24 12:50:01
@@ -9,7 +9,7 @@
<p>
In addition to the bugs mentioned here, some bugs related
to the implementation of particular languages features
-(existential types, nested modules, tabling)
+(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.
--
Fergus Henderson <fjh at cs.mu.oz.au> | "I have always known that the pursuit
| of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh> | -- 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