[m-dev.] diff: io.nu.nl: io__write, io__read, io__get_output_line_num

[Fergus Henderson]

Tyson Richard DOWD, you wrote:
> > -io__read_anything(S, Result) -->
> > +io__read_anything(S, R) -->
> > +	io__read(S, R).
> > +
> 
> Is there any reason this needs to be defined in here?
> (Apart from the fact that it used to be defined in here).
> 
> It's just this is the same as the definition in io.m.

No.

library/io.nu.nl:
	Delete definitions of `io__read_anything' and `io__write_anything';
	the definitions here were unnecessary, since these are already
	defined in io.m.

Index: io.nu.nl
===================================================================
RCS file: /home/staff/zs/imp/mercury/library/io.nu.nl,v
retrieving revision 1.56
diff -u -u -r1.56 io.nu.nl
--- io.nu.nl	1997/09/26 12:37:54	1.56
+++ io.nu.nl	1997/09/27 03:10:36
@@ -298,9 +298,6 @@
 io__putback_byte(_Stream, _Char, IO, IO) :-
 	error("io__putback_byte: binary IO is not implemented for Prolog.").
 
-io__read_anything(S, R) -->
-	io__read(S, R).
-
 io__read(S, Result) -->
 	{ read(S, Term) },
 	{ eof(Term) ->
@@ -309,9 +306,6 @@
 		Result = ok(Term)
 	}.
 
-io__read_anything(R) -->
-	io__read(R).
-
 io__read(Result) -->
 	{ read(Term) },
 	{ eof(Term) ->
@@ -344,9 +338,6 @@
 	{ (format(Stream, "~s", [String]), fail ; true) },
 	io__update_state.
 	
-io__write_anything(S, I) -->
-	io__write(S, I).
-
 io__write(S, I) -->
 	{ write(S, I) },
 	io__update_state.
@@ -377,9 +368,6 @@
 io__write_float(Float) -->
 	io__output_stream(Stream),
 	io__write_float(Stream, Float).
-
-io__write_anything(Term) -->
-	io__write(Term).
 
 io__write(Term) -->
 	io__output_stream(Stream),

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