[mercury-users] constructor class syntax

[Michael Day]

Replying to myself in incredibly pedantic style to turn:

> 		pred map(pred(X, Y), F(A), F(B)),
> 		mode map(in, in, out) is det

into:

		pred map(pred(X, Y), F(A), F(B)),
		mode map(pred(in, out) is det, in, out) is det

can't go making mistakes like that. But now I'm wondering, is it possible
to "return" a predicate from another predicate? To have a higher order
argument that has mode out, even.

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