[m-rev.] for review: fix up comments for io.call_system_return_signal
Ian MacLarty
maclarty at cs.mu.OZ.AU
Thu Feb 17 21:21:06 AEDT 2005
For review by anyone.
Estimated hours taken: 0.2
Branches: main and 0.12
Fix up comments for io.call_system_return_signal.
library/io.m
Fix up comments for io.call_system_return_signal.
Index: library/io.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/io.m,v
retrieving revision 1.327
diff -u -r1.327 io.m
--- library/io.m 24 Jan 2005 23:16:37 -0000 1.327
+++ library/io.m 17 Feb 2005 10:17:35 -0000
@@ -1311,13 +1311,16 @@
---> exited(int)
; signalled(int).
+ % call_system_return_signal(Command, Result, !IO).
% Invokes the operating system shell with the specified
% Command. Result is either `ok(ExitStatus)' if it was
- % possible to invoke the command and the it ran to completion,
- % `signal(SignalNum)' if the command was killed by a signal, or
- % `error(ErrorCode)' if the command could not be executed.
- % The `ExitStatus' will be 0 if the command completed
- % successfully or the return value of the command otherwise.
+ % possible to invoke the command or `error(Error)' if the command
+ % could not be executed. If the command could be executed then
+ % ExitStatus is either `exited(ExitCode)' if the command ran to
+ % completion or `signalled(SignalNum)' if the command was killed by
+ % a signal. If the command ran to completion then ExitCode will be 0
+ % if the command ran successfully and the return value of the command
+ % otherwise.
%
:- pred io__call_system_return_signal(string::in,
io__res(io__system_result)::out, io::di, io::uo) is det.
--------------------------------------------------------------------------
mercury-reviews mailing list
post: mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the reviews
mailing list