[m-rev.] for post-commit review: fix switch_detection.m

[Julien Fischer]

On Fri, 7 Apr 2006, Zoltan Somogyi wrote:

> For both branches.
>
> Zoltan.
>
> compiler/switch_detection.m:
> 	Fix a limitation: recognize switches in which *all* arms contain
> 	not a single unification of the switched-on variable but a disjunction
> 	of such unifications.
>
> 	Fix some misleading variable names.
>
> tests/hard_coded/disjs_in_switch.{m,exp}:
> 	Add a test case for this bug.
>
> tests/hard_coded/Mmakefile:
> 	Enable the new test case.
>

That looks fine.

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