[m-rev.] for review: disallow impure parallel conjuncts

Peter Wang wangp at students.cs.mu.oz.au
Thu Aug 31 17:19:03 AEST 2006


On 2006-08-15, Peter Wang <wangp at students.csse.unimelb.edu.au> wrote:
> Estimated hours taken: 1.5
> Branches: main
> 
> Disallow impure parallel conjuncts as they can introduce concurrency issues.
> e.g. in the following X could be bound to `foo' or `bar' in different runs.
> 
>     impure set_mutvar(foo),
>     (
> 	semipure get_mutvar(X)
>     &
> 	impure set_mutvar(bar)
>     )

Committed this.

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