[m-dev.] Even more minimal diff

[Michael Day]

Here is a diff that just adds make_io_error to io.m, which should be 
enough to allow the general cleaning up of stream.m.

Michael


--- io2.m	Thu Oct  3 13:08:02 2002
+++ ../mercury-compiler-rotd-2002-10-01/library/io.m	Tue Sep 24 16:55:17 2002
@@ -1211,11 +1211,6 @@
 %		The `ExitStatus' will be 0 if the command completed
 %		successfully or the return value of the command otherwise.
 
-:- func io__make_io_error(string) = io__error.
-%	io__make_io_error(ErrorMessage) = ErrorCode.
-%		Construct an error code including the specified error message.
-%		(This is necessary for stream implementations).
-
 :- func io__error_message(io__error) = string.
 :- pred io__error_message(io__error, string).
 :- mode io__error_message(in, out) is det.
@@ -3288,8 +3283,6 @@
 	% exception if there is no exception hander, does not print out
 	% the module name.
 
-io__make_io_error(Error) = io_error(Error).
-
 io__error_message(io_error(Error), Error).
 
 %-----------------------------------------------------------------------------%

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