[m-dev.] diff: delete obsolete comments in library/*.m

[Fergus Henderson]

Estimated hours taken: 0.25

library/string.m:
library/math.m:
library/std_util.m:
	Delete some obsolete comments (mostly ones about Prolog
	compatibility, which is no longer important).

Workspace: /home/mercury0/fjh/mercury
Index: library/math.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/math.m,v
retrieving revision 1.22
diff -u -r1.22 math.m
--- math.m	1998/11/13 14:06:55	1.22
+++ math.m	1999/10/04 02:48:12
@@ -6,15 +6,12 @@
 %
 % File: math.m
 % Main author: bromage
-% Stability: high (but as yet no Prolog implementation)
+% Stability: high
 %
 % Higher mathematical operations.  (The basics are in float.m.)
-% The predicates in this module are not yet implemented in Prolog.
 %
 % By default, domain errors are currently handled by a program abort.
-% This is because Mercury currently does not have exceptions built in.
-% Exception-handling would be nice, but it's kind of low on the
-% priority scale.
+% This is because Mercury originally did not have exceptions built in.
 %
 % For better performance, it is possible to disable the Mercury domain
 % checking by compiling with `--intermodule-optimization' and the C macro
Index: library/std_util.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/std_util.m,v
retrieving revision 1.162
diff -u -r1.162 std_util.m
--- std_util.m	1999/10/13 07:01:29	1.162
+++ std_util.m	1999/10/15 21:07:22
@@ -28,12 +28,6 @@
 % The universal type `univ'.
 % An object of type `univ' can hold the type and value of an object of any
 % other type.
-%
-% Note that the current NU-Prolog/SICStus Prolog implementation of
-% univ_to_type is buggy in that it always succeeds, even if the types didn't
-% match, so until this gets implemented correctly, don't use
-% univ_to_type unless you are sure that the types will definitely match,
-% or you don't care about debugging with Prolog.
 
 :- type univ.
 
Index: library/string.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/string.m,v
retrieving revision 1.116
diff -u -r1.116 string.m
--- string.m	1999/09/30 22:07:51	1.116
+++ string.m	1999/10/04 02:39:03
@@ -11,9 +11,6 @@
 
 % This modules provides basic string handling facilities.
 
-% Beware that char_to_string/2 won't work with NU-Prolog 1.5.33 because
-% of a NU-Prolog bug (fixed in NU-Prolog 1.5.35).
-
 %-----------------------------------------------------------------------------%
 
 :- interface.

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