[m-rev.] for review: analysis of generic calls for old termination analyser

[Julien Fischer]

On Mon, 4 Jul 2005, Julien Fischer wrote:

>
> For review by anyone.
>
> Estimated hours taken: 5
> Branches: main
>
> Add the capability for the old termination analyser to make use of the
> results of closure analysis when analysing generic calls.  This is part
> of a larger set of changes to add support for analysing higher-order
> constructs to both termination analysers and the exception analysis.
>
Is anyone planning to review this?  I'd like to commit it because
it's holding up quite a bit of other stuff.

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