[mercury-users] Passing a multi-mode higher order predicate

Julian Fondren ayrnieu at gmail.com
Sun Feb 5 18:52:22 AEDT 2012


On Sun, Feb 5, 2012 at 1:46 AM, Julian Fondren <ayrnieu at gmail.com> wrote:
>  :- pred numbers(int::out) is det.

Obvious:

  :- pred numbers(int::out) is multi.

>  :- pred foo(producer::out(producer)) is det.

Perhaps less obvious:

  :- pred foo(producer(int)::out(producer)) is det.

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