[m-rev.] Re: for review: fix simplification of multi-arm switch

Peter Wang novalazy at gmail.com
Thu Jul 2 15:33:42 AEST 2009


2009/6/26 Peter Wang <novalazy at gmail.com>:
> Branches: main
>
> Fix a simplification bug which was introduced with multi-cons_id switch arms.
> Previously a singleton switch could be replaced by the case goal, possibly
> with a functor test beforehand, but that's only true if the case arm is
> applicable to only a single functor.

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