[m-rev.] diff: use intermodule analysis for termination analysis (stage 1)

Julien Fischer juliensf at cs.mu.OZ.AU
Wed Feb 1 15:31:52 AEDT 2006


On Wed, 1 Feb 2006, Julien Fischer wrote:

>
> Estimated hours taken: 4
> Branches: main
>
> Preliminary working on converting the termination analyser to use the
> intermodule analysis framework.  This mainly involves threading the
> module_info and io.state through more of the code and changing some code that
> was semidet to det returning a boolean (because it now takes the
> io.state).  I've put placeholders , XXX intermod, in the spots that need to be
> further modified.
>

BTW, the other termination analyser already has the the module_info and
io.state threaded through to the correct place which is why it isn't
included here.

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



More information about the reviews mailing list