[m-dev.] diff: doc/library.texi: delete some obsolete stuff re module qualifiers

Fergus Henderson fjh at cs.mu.OZ.AU
Fri Oct 29 18:15:51 AEST 1999


Estimated hours taken: 0.1

doc/library.texi:
	Delete some obsolete documentation about module qualifiers.
	They are documented in the language reference manual anyway,
	and there is little point saying the same thing again here,
	so I simply deleted the obsolete documentation rather than
	updating to reflect the current status quo.

Workspace: /home/mercury0/fjh/mercury
Index: doc/library.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/library.texi,v
retrieving revision 1.15
diff -u -d -r1.15 library.texi
--- library.texi	1999/03/24 13:08:56	1.15
+++ library.texi	1999/10/29 08:13:31
@@ -99,14 +99,6 @@
 modules whose stability is described as either ``medium to high'' or
 ``high''.
 
-Sometime in the near future, we will implement module qualifiers,
-and then all of the double-underscores will be replaced with module
-qualifiers, so that e.g. @samp{list__append} will become @samp{list:append}
-(and in fact the @samp{list:} prefix will become optional).
-At that time, some reorganization of the library may occur.
-When this change happens, we will provide users with a tool to
-automate conversion of existing programs.
-
 @menu
 @include library-menu.texi
 @end menu

-- 
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