[m-dev.] status of the new intermodule analysis framework

Simon Taylor stayl at cs.mu.OZ.AU
Tue Oct 7 20:21:49 AEST 2003

On 07-Oct-2003, Peter Ross <pro at missioncriticalit.com> wrote:
> What is the current status of the new intermodule analysis framework?
> At some point I will need to begin to port the compile time garbage
> collection analysis of Nancy to use this framework, and was wondering
> when I could start.

You can start now.  The interface from the compiler's point of view
is complete.  The tools to perform invalidation and least fixpoint
computation still need to be implemented.  That will be done before
I leave at the end of the year.

See analysis/README for more information.

mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au

More information about the developers mailing list