[mercury-users] io__io == io__state

[Michael Day]

Estimated hours taken: 0.1
Branches: main

Provides an alternative type "io__io" to "io__state".

Michael


Index: io.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/io.m,v
retrieving revision 1.228
diff -u -r1.228 io.m
--- io.m	2001/07/16 10:10:40	1.228
+++ io.m	2001/07/25 05:20:19
@@ -43,6 +43,8 @@

 :- type io__state.

+:- type io__io == io__state.
+
 	% Opaque handles for text I/O streams.

 :- type io__input_stream.

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------