[m-dev.] [reuse] fixes of some naughty bugs

[Nancy Mazur]

> > Now we just need to get people to write *all* the modes for their foreign
> > code, so we can take advantage of this.
> 
> It strikes me that Nancy's optimization is not unadjacent to the compiler
> automatically inferring possible di/uo modes for arguments and local
> variables (and then taking advantage of them).

Euhm, the analysis is still adjacent to the di/uo inference. Only
in the case of foreign-code, it will try to make correct and precise
guesses about the aliasing behaviour. In that situation, all the 
available existing di/uo annotations come in handy. But those 
annotations are not inferred, are they? 

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