[mercury-users] !foo

[Michael Day]

Idea:

:- pred foo(int, string, !io).
:- mode foo(in, out, !io).

foo(X, Y, !IO) :- ...

Please shoot down in flames. While the !type pair shorthand is excusable,
and indeed something I often (mistakenly) type, the !mode shorthand would
be awkward to get right. Use !io and declare that somewhere? Ugh. Use
!unique for di,uo and !ground for in, out? Even worse. Easier to just say
two modes directly, and then the mode declaration appears to have more
arguments than the type declaration. As I said, down in flames please :)

Michael

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