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

Ralph Becket rafe at cs.mu.OZ.AU
Mon Jul 11 16:13:41 AEST 2005


Julien Fischer, Monday,  4 July 2005:
> 
> 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.
> 
> XXX This change is not particularly useful at the moment because the
> procedure dependency graphs we construct do not record information
> about higher-order calls.  I'll add some test cases for termination
> analysis of generic calls when this is fixed.

I found nothing wrong with the diff - looks fine to me.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list