[m-dev.] Stack layouts.

[Tyson Richard DOWD]

> Tyson Richard DOWD, you wrote:
> > 
> > Any comments at this stage?
> 
> How are you going to handle partially instantiated data structures?

I'm going to add a structure that describes insts, that you traverse at
the same time as traversing the types. Deep copy has to be modified to
handle partially instantiated data structures anyway (although, because
of the modes of solutions, it doesn't have to for the current usage).

-- 
       Tyson Dowd           #
                            #             Sign on refrigerator:
     trd at cs.mu.oz.au        #           Refrigerate after opening. 
http://www.cs.mu.oz.au/~trd #                  - C. J. Owen.