[m-dev.] diff: fix documentation bug: s/stdout/stderr/

[Fergus Henderson]

Estimated hours taken: 0.1

library/io.m:
library/benchmarking.m:
	Fix a documentation bug reported by Robert Jeschofnik
	<rejj at cat.cs.mu.OZ.AU>: the messages from report_stats
	and report_full_memory_stats go to stderr, not to stdout.

Workspace: /home/mercury0/fjh/mercury
Index: library/benchmarking.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/benchmarking.m,v
retrieving revision 1.26
diff -u -d -r1.26 benchmarking.m
--- benchmarking.m	1999/10/18 15:46:26	1.26
+++ benchmarking.m	1999/11/22 04:22:59
@@ -21,13 +21,13 @@
 % `report_stats' is a non-logical procedure intended for use in profiling
 % the performance of a program.
 % It has the side-effect of reporting some memory and time usage statistics
-% about the time period since the last call to report_stats to stdout.
+% about the time period since the last call to report_stats to stderr.
 
 :- impure pred report_stats is det.
 
 % `report_full_memory_stats' is a non-logical procedure intended for use
 % in profiling the memory usage of a program.  It has the side-effect of
-% reporting a full memory profile to stdout.
+% reporting a full memory profile to stderr.
 
 :- impure pred report_full_memory_stats is det.
 
Index: library/io.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/io.m,v
retrieving revision 1.188
diff -u -d -r1.188 io.m
--- io.m	1999/11/15 10:12:06	1.188
+++ io.m	1999/11/22 04:23:12
@@ -970,12 +970,12 @@
 
 % Memory management predicates.
 
-	% Write memory/time usage statistics to stdout.
+	% Write memory/time usage statistics to stderr.
 
 :- pred io__report_stats(io__state, io__state).
 :- mode io__report_stats(di, uo) is det.
 
-	% Write complete memory usage statistics to stdout,
+	% Write complete memory usage statistics to stderr,
 	% including information about all procedures and types.
 	% (You need to compile with memory profiling enabled.)
 

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