[mercury-users] Modes problem

[Peter Schachte]

> The function std_util__pair has only the default forwards mode.
> :- func pair(T1, T2) = pair(T1, T2).
> :- mode pair(in, in) = out is det.

Perhaps it should have the reverse mode as well?  And, at least eventually,
unique versions of these, too?


-- 
Peter Schachte <schachte at cs.mu.OZ.AU>  Yesterday upon the stair I met a man
http://www.cs.mu.oz.au/~schachte/      who wasn't there. He wasn't there
Phone:  +61 3 8344 9166                again today
Fax:    +61 3 9348 1184                    -- I think he's from the CIA. 
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------