[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