[m-rev.] for review: enhanced switch detection

[Ralph Becket]

Zoltan Somogyi, Friday,  2 September 2005:
> For review by anyone.
> 
> compiler/switch_detect.m:
> 	Allow the detection of switches in which some disjuncts start not
> 	with a unification, but with disjunction of unifications. In such
> 	cases, the rest of the disjunct is duplicated for all the switch arms
> 	we can create.

That looks good.  I think the reference manual needs changing, since it
currently reads

	Only unifications may occur before the test of the switched-on
	variable in each disjunct. Tests of the switched-on variable may
	occur within existential quantification goals.

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