Re: tools to make non-conservative GC feasible.

["Perry E. Metzger" <perry@piermont.com>]

Greg Harvey writes:
> "Perry E. Metzger" <perry@piermont.com> writes:
> > Maybe the trick is to build a simple tool that catches mistakes in
> > handing things to the collector. I suspect that some hacks to the
> > freely redistributable version of lint that comes with NetBSD these
> > days could be made to catch places where things weren't explicitly
> > handled.
> > 
> > Anyone have any thoughts?
> 
> Instead of building something to find mistakes, we'd be better off
> building something to do the work for us. Changing all of guile to use
> exact marking would be quite tedious for a human, and if we can figure
> out what does and doesn't need to be protected, why not eliminate the
> buggy wetware?

Well, I think that humans can be more intelligent about how they
handle the exact marking and such. I think we *could* take a tool that 
found errors and turn it into one that helped with conversions,
though.

Perry