[m-rev.] for review: new termination analyser (part 1 of 6)

[Mark Brown]

On 24-Mar-2005, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> compiler/module_qual.m:
> compiler/modules.m:
> compiler/recompilation.version.m:
> 	Minor changes caused by the above.

This also applies to:

compiler/term_pass2.m:
compiler/term_util.m:
compiler/termination.m:

Other than this, this change is fine.  There were no major changes required
so I'm happy for you to go ahead and commit it after you have addressed
the review comments.

Cheers,
Mark.

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