[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