[gclist] Compiler specialized GC's

[Charles Fiterman]

> Charles Fiterman wrote:
> > > Our GC generates a marking routine for each type in the system rather than
> > > interpreting a type description during GC. Makes for quite a fast 
> > > traversal.
> >
> > Do you allow user defined mark functions. We have found those very useful. 
> > The classic example is the stack where the mark function should only look in
> > the live section. I have a good compiler hash table example where the table's
> ...
> 
> We don't have user mark functions as the type system is sufficient to find all
> available pointers (we *only* trace the live stack(s) - follow up the frames, 
> find where we are in the code and then check the REFmap for pointers off the 
> stack).

You miss the point. What if that is a user stack not the system stack. Yacc
for example keeps a large user stack.