[mercury-users] About functional notation and IO

[Fergus Henderson]

On 14-Jun-1999, Gustavo A. Ospina <gos at info.fundp.ac.be> wrote:
> Possibly this is an older matter, since Ralph Becket has already mentioned
> this, but, just to know...
> 
> Will be there in the future versions of list__map and higher order
> predicates with functional notation?

Yes.  Ralph Becket has provided source code patches to add those to
the Mercury standard library.  These patches will be incorporated into
our development version sometime soon (definitely before the next release).

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------