[mercury-users] Function modes

[Michael Day]

This is legal:

:- func f(x, y) = z is semidet.

But this is not:

:- func f(x::ui, y) = z is semidet.

Any reason why functions must have either all modes specified or none? It 
is handy sometimes to override just one or two of the modes and leave the 
rest at their defaults.

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