[m-dev.] Transitive Intermodule Optimization

[Fergus Henderson]

Simon Taylor wrote:
> I think using the .order file and warning when the dependencies change
> is probably good enough. You need to do most of that for the more involved 
> methods anyway, so if you later want something more accurate you haven't
> wasted too much effort. Just document somewhere that mutually recursive 
> module imports are bad for termination analysis.

I'm inclined to agree with this.
This solution has the advantage of being relatively simple,
and (in comparison to the status quo) correct, albeit perhaps
a bit conservative.  It would make sense to get this working
before we try the more complicated schemes.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.