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

Jörg Roman Rudnick joerg.rudnick at t-online.de
Sun Nov 26 00:47:31 AEDT 2006


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.


-------------- 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>

More information about the users mailing list