[m-rev.] for review: concurrency additions

Julien Fischer juliensf at csse.unimelb.edu.au
Thu Apr 12 14:18:54 AEST 2007


On Thu, 12 Apr 2007, Peter Wang wrote:

> Branches: main
>
> Add predicates from MC's versions of the concurrency modules.
>
> library/thread.channel.m:
> 	Add channel.try_take/4, a non-blocking version of channel.take/4.
>
> library/thread.mvar.m:
> 	Add mvar.try_take/4, a non-blocking version of mvar.take/4.
>
> NEWS:
> 	Announce the additions.

That looks fine.

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



More information about the reviews mailing list