[m-rev.] diff: handle nested conjunctions in mode analysis

[Ralph Becket]

Mark Brown, Wednesday,  3 August 2005:
> This addresses a bug reported by Peter Hawkins recently.
> 
> Cheers,
> Mark.
> 
> Estimated hours taken: 2
> Branches: main, release
> 
> Don't assume that conjunctions will be flattened when doing mode
> analysis.  Instead, flatten conjunctions as they are traversed.
> The polymorphism transformation doesn't preserve the invariant that
> conjunctions should be flattened, and this can cause mode errors to
> be reported on code that is type and mode correct.  On the other
> hand, handling nested conjunctions in the mode analyser is not
> particularly expensive.

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