[m-rev.] diff: fix profiler/globals.m

[Zoltan Somogyi]

profiler/globals.m:
	Delete the semidet mode of globals__io_lookup_bool_option,
	which is now detected to be illegal due to its pair of I/O states.

Zoltan.

cvs diff: Diffing .
Index: globals.m
===================================================================
RCS file: /home/mercury1/repository/mercury/profiler/globals.m,v
retrieving revision 1.7
diff -u -b -r1.7 globals.m
--- globals.m	1 Mar 2001 16:55:19 -0000	1.7
+++ globals.m	16 May 2004 06:05:03 -0000
@@ -11,7 +11,7 @@
 % This module exports the `globals' type and associated access predicates.
 % The globals type is used to collect together all the various data
 % that would be global variables in an imperative language.
-% This global data is stored in the io__state.
+% This global data is stored in the io.
 
 %-----------------------------------------------------------------------------%
 
@@ -52,7 +52,6 @@
 
 :- pred globals__lookup_bool_option(globals, option, bool).
 :- mode globals__lookup_bool_option(in, in, out) is det.
-:- mode globals__lookup_bool_option(in, in, in) is semidet. % implied
 :- pred globals__lookup_int_option(globals::in, option::in, int::out) is det.
 :- pred globals__lookup_string_option(globals::in, option::in, string::out)
 	is det.
@@ -62,34 +61,32 @@
 %-----------------------------------------------------------------------------%
 
 	% Access predicates for storing a `globals' structure in the
-	% io__state using io__set_globals and io__get_globals.
+	% io using io__set_globals and io__get_globals.
 
-:- pred globals__io_init(option_table::in, io__state::di, io__state::uo) is det.
+:- pred globals__io_init(option_table::in, io::di, io::uo) is det.
 
-:- pred globals__io_get_globals(globals::out, io__state::di, io__state::uo)
-	is det.
+:- pred globals__io_get_globals(globals::out, io::di, io::uo) is det.
 
-:- pred globals__io_set_globals(globals::in, io__state::di, io__state::uo)
-	is det.
+:- pred globals__io_set_globals(globals::in, io::di, io::uo) is det.
 
 :- pred globals__io_lookup_option(option::in, option_data::out,
-			io__state::di, io__state::uo) is det.
+	io::di, io::uo) is det.
 
 :- pred globals__io_set_option(option::in, option_data::in,
-			io__state::di, io__state::uo) is det.
+	io::di, io::uo) is det.
 
-:- pred globals__io_lookup_bool_option(option, bool, io__state, io__state).
+:- pred globals__io_lookup_bool_option(option, bool, io, io).
 :- 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.
+	io::di, io::uo) is det.
 
 :- pred globals__io_lookup_string_option(option::in, string::out,
-			io__state::di, io__state::uo) is det.
+	io::di, io::uo) is det.
 
 :- pred globals__io_lookup_accumulating_option(option::in, list(string)::out,
-			io__state::di, io__state::uo) is det.
+	io::di, io::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
--------------------------------------------------------------------------