[mercury-users] Another Mercury Modes Problem

[David Overton]

On Tue, May 28, 2002 at 03:01:07PM +1000, Ralph Becket wrote:
> 
>     % These should be built-in, but aren't...
>     %
> :- mode di(I) == unique(I) >> dead.
> :- mode uo(I) ==      free >> unique(I).

The inst `unique(...)' takes a list of functors separated by `;' (the same
as `bound(...)'), not an inst.

`di/1' is defined in builtin.m as

	:- mode di(I) == (I >> dead).

`uo/1' is not defined, but it would be the same as `out/1' if it were.



David
-- 
David Overton      Computer Science and Software Engineering
PhD Student        The University of Melbourne   +61 3 8344 9159
Research Fellow    Monash University (Clayton)   +61 3 9905 5779
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------