[mercury-users] Newbie Q on type parameters

Tom Davies tgdavies at gmail.com
Tue Aug 28 10:54:09 AEST 2007


On 28/08/2007, at 9:56 AM, Ondrej Bojar wrote:

> (pred(in, out) is nondet)

Aha -- thank you Ondrej!

I had been wondering why I couldn't put the determinism of the higher  
order pred in the predicate declarations -- I'd expected to be able  
to say something like:

:- pred foo((pred(T::in) is nondet)::in) ...

Perhaps some more examples in the reference would be nice? (although  
I could have figured it out from 15.8.3 if I'd looked closely enough)

Thanks,
   Tom

--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the users mailing list