[m-rev.] For review: new constraint based mode analysis

[David Overton]

On Wed, Feb 09, 2005 at 03:54:25PM +1100, Zoltan Somogyi wrote:
> > Parallel conjuncts must be independent and must produce the same set of
> > variables, so this will look quite similar to the constraint for a
> > disjuntion.
> 
> Parallel conjuncts must produce *disjoint* sets of variables. In fact,
> no conjunct in a parallel conjunction may produce any variable that is
> nonlocal to any of the other conjucts, at least with the current notion
> of parallel conjuncts.

Oops, yes.  Of course you are right.

David
-- 
David Overton
WWW: http://www.overtons.id.au/
Mobile Phone (UK): +44 7799 344 322
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------