[mercury-users] currying does not work with higher order predicates ?

[Tyson Dowd]

Perhaps we should adopt "pair-emailing" as a new XP idea.

On 24-Jul-2001, Ralph Becket <rbeck at microsoft.com> wrote:
> > From: Tyson Dowd [mailto:trd at cs.mu.OZ.AU]
> > Sent: 24 July 2001 11:43
> > 
> > So try:
> > 
> > io__write_list(XForms, ",\n",
> > 	(pred(A::in, di, uo) ---> WriteXForm("di", "uo", A) )),
> > io__write_list(XForms, ",\n",
> > 	(pred(A::in, di, uo) ---> WriteXForm("in", "out", A) )),
> 
> [Trainspotting:]
> You need to add `is det' before the arrows; the arrows also
> have to be `-->' rather than `--->'.
> 
> - Ralph
> --------------------------------------------------------------------------
> 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
> --------------------------------------------------------------------------
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------