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

[Ralph Becket]

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