[m-dev.] diff: Reorganisation of inst types and operations

[Fergus Henderson]

Andrew Bromage, you wrote:
> Alias tracking requires a new kind of inst, alias(inst_key), where
> an inst_key is a handle on some other sub-inst.  With it goes a
> data structure in which to store dereferenced insts and all the
> operations which go with it.  This code will go in the new module
> inst.m.

You still didn't explain one thing: prog_data.m is only 400 lines, why
should it go in a new module inst.m rather than just being in prog_data.m?
(Answer: because that would cause hlds.m to depend on prog_data.m,
but we have designed things so that the dependencies go in the
other direction.)

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