stack size?

[Matthew Fluet]

> Did you guys look into why the stack size growth was so bad on the
> 70,000 open-xxx-70,000 close case?  I.e., one would naively think that
> converting things to tail calls and manually keeping a stack should not save
> you any space.

Not really.  I just guessed stack overflow when I saw the "Out of memory",
but there's no reason that it wasn't something else.  Steve pointed out
that just holding onto a couple of document trees and meanings could use a
lot or memory.