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

[Fergus Henderson]

On 17-May-2004, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> 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.
...
> -:- 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

I missed the part where you actually deleted that mode...

-- 
Fergus Henderson                    |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------