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

Julien Fischer juliensf at csse.unimelb.edu.au
Thu Aug 31 17:45:08 AEST 2006


On Thu, 31 Aug 2006, Peter Wang wrote:

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

I'm still not sure that I agree with this ... could you put an XXX comment
at the beginning of dep_par_conj.m (or wherever is appropriate) reminding 
us to revisit this at some point.

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