[m-rev.] for post-commit review: announce new capabilities of switch detection

[Julien Fischer]

On Wed, 28 Sep 2005, Zoltan Somogyi wrote:

> NEWS:
> 	Mention the recent expansion in the capabilities of switch detection.
>
> doc/reference_manual.texi:
> 	Document the recent expansion in the capabilities of switch detection.
>
> tests/hard_codes/switch_detect.{m,exp}:
> 	Toughen this existing test to make it test what the documentation
> 	promises: the ability to handle unifications before the inner
> 	disjunction, and code after the unifications in the inner disjunction.
>

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