[m-rev.] diff/for review: make closure analysis work with intermodule optimization

[Julien Fischer]

On Wed, 3 Aug 2005, Julien Fischer wrote:

>
> Estimated hours taken: 1
> Branches: main
>
> Transform lambda expressions into separate predicates when
> building the (transitive-)intermodule interfaces.  Closure
> analysis will not work unless this has been done.
>
> Add a test case for the termination analysis of generic calls.
>
> compiler/mercury_compile.m:
> 	When building the (transitive-)intermodule optimization
> 	interface for a module, make sure that we transform
> 	lambda expressions if we are also going to run
> 	closure analysis.
>
> tests/term/Mercury.options:
> tests/term/Mmakefile:
> tests/term/generic_call.m:
> tests/term/generic_call.trans_opt_exp:
> 	A test case for the termination analysis of generic calls.
>

I've committed this one; I'll deal with any review comments
separately.

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