[m-rev.] diff: fix too lax det warning in det_arg

[Fergus Henderson]

On 02-Dec-2002, Peter Ross <pro at missioncriticalit.com> wrote:
> library/deconstruct.m:
>     Fix a too lax determinism warning in det_arg.
> 
> Index: library/deconstruct.m
> ===================================================================
> RCS file: /home/staff/zs/imp/mercury/library/deconstruct.m,v
> retrieving revision 1.16
> diff -u -r1.16 deconstruct.m
> --- library/deconstruct.m	2 Dec 2002 12:16:04 -0000	1.16
> +++ library/deconstruct.m	2 Dec 2002 12:50:10 -0000
> @@ -150,7 +150,7 @@
>  :- mode det_arg(in, in(do_not_allow), in, out) is det.
>  :- mode det_arg(in, in(canonicalize), in, out) is det.
>  :- mode det_arg(in, in(include_details_cc), in, out) is cc_multi.
> -:- mode det_arg(in, in, in, out) is cc_multi.
> +:- mode det_arg(in, in, in, out) is det.

That doesn't make any sense.  Why is the third mode cc_multi, but the
fourth mode det?  The fourth mode is a superset of the third mode, so
its determinism should not be tighter than the determinism of the
third mode.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  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
--------------------------------------------------------------------------