[m-rev.] diff: io_lookup_int_option

Zoltan Somogyi zs at cs.mu.OZ.AU
Wed Nov 6 17:38:06 AEDT 2002


Maybe we should consider adding a check to the front end to warn about
procedures that take I/O state pairs but aren't det, cc_multi or erroneous)

Zoltan.

compiler/globals.m:
	Delete an implied mode that cannot possibly be called.

Index: globals.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/globals.m,v
retrieving revision 1.51
diff -u -b -r1.51 globals.m
--- globals.m	21 Aug 2002 11:27:12 -0000	1.51
+++ globals.m	5 Nov 2002 22:39:30 -0000
@@ -201,7 +201,6 @@
 
 :- pred globals__io_lookup_bool_option(option, bool, io__state, io__state).
 :- mode globals__io_lookup_bool_option(in, out, di, uo) is det.
-:- mode globals__io_lookup_bool_option(in, in, di, uo) is semidet. % implied
 
 :- pred globals__io_lookup_int_option(option::in, int::out,
 	io__state::di, io__state::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