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

[Ian MacLarty]

On 21 Jan 2005, at 14:53, Julien Fischer wrote:

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

I posted some comments on the 19th.

Ian.

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