[m-rev.] diff: fix incorrect argument type for io.read_binary_file/4

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main, release

library/io.m:
 	io.read_binary_file/4 should take binary_input_stream as its
 	first argument, *not* an input_stream.

Julien.

Index: io.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/io.m,v
retrieving revision 1.348
diff -u -r1.348 io.m
--- io.m	22 Jun 2006 03:49:27 -0000	1.348
+++ io.m	25 Jul 2006 02:49:01 -0000
@@ -752,8 +752,8 @@
      % Reads all the bytes from the given binary input stream until
      % eof or error.
      %
-:- pred io.read_binary_file(io.input_stream::in, io.result(list(int))::out,
-    io::di, io::uo) is det.
+:- pred io.read_binary_file(io.binary_input_stream::in,
+    io.result(list(int))::out, io::di, io::uo) is det.

      % Applies the given closure to each byte read from the current binary
      % input stream in turn, until eof or error.

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at csse.unimelb.edu.au
administrative address: owner-mercury-reviews at csse.unimelb.edu.au
unsubscribe: Address: mercury-reviews-request at csse.unimelb.edu.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at csse.unimelb.edu.au Message: subscribe
--------------------------------------------------------------------------