[m-rev.] for review: improve termination analysis of special preds

[Julien Fischer]

On Tue, 11 Jan 2005, Julien Fischer wrote:

>
> Estimated hours taken: 20
> Branches: main
>
> Improve the termination analyser's handling of user-defined
> special predicates.
>
> Currently termination analysis assumes that all calls
> to special predicates terminate.  For those that are
> user-defined this is not necessarily true.
>
> This diff adds a new pass to the compiler that is run after
> the main termination analysis pass. It checks any user-defined
> special predicates and emits a warning if their termination
> can not be proved.
>
> Add a new option, `--no-warn-non-term-special-preds' that
> disables this warning.  The warning is only emitted when
> termination analysis is enabled.  The new option has
> no effect if termination analysis is not enabled.
>

I intend to commit this on Monday unless there are any
review comments.

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