[m-dev.] Reuse question

Nancy Mazur Nancy.Mazur at cs.kuleuven.ac.be
Tue Oct 3 19:52:08 AEDT 2000


> On Mon, Oct 02, 2000 at 04:08:20PM +0200, Peter Ross wrote:
> > On Mon, Oct 02, 2000 at 06:38:33AM -0700, Ralph Becket wrote:
> > > How low-level does the reuse analysis go?  It would be nice if, when
> > > mapping over a list of cells that are then up for reuse, the list cells
> > > were updated in place.
> > > 
> > Yes the current analysis detects that there is reuse available there
> > provided that the original list is never needed again.
> 
> I lied the current analysis doesn't mark it for reuse because the
> predicate contains an higher order call.  Higher order calls are
> currently handled by setting the possible aliasing to top (everything is
> possibly aliased with everything else).
> 
> However Nancy told me that we should detect reuse in this situation, I
> will find out why we don't currently.

It should detect, and it always detected it. Peter, are you again trying
to make me find your bugs? ;-)) 

ciao,
Nancy

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