[mercury-users] Strange mode of univ.m:univ_to_type/2

[Jörg Roman Rudnick]

Hi,

The third mode of univ.m:univ_to_type/2 looks strange, doesn't it?


     :- pred univ_to_type(univ, T).
     :- mode univ_to_type(in, out) is semidet.
     :- mode univ_to_type(out, in) is det.

=>   :- mode univ_to_type(uo, di) is det.    <=====

I suppose you meant: ":- mode univ_to_type(di, uo) is det."

I enclosed a patch, now in unified format.


Cheers,

           Nick
-------------- next part --------------
A non-text attachment was scrubbed...
Name: univ.diff.m
Type: text/x-objcsrc
Size: 441 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/users/attachments/20061125/f4d699b5/attachment.bin>