compiler support added for precise GC

[Walter Bright]

On 4/16/2012 7:20 PM, Andrei Alexandrescu wrote:
> The scheme Walter proposed has a lot of flexibility - it plants one pointer to
> function per type. This is very flexible because that pointer could point to the
> same function and use a bitmap-based scheme, or (as Walter proposed) point to
> different instances of a template that does scanning in a type-specific manner.


It could also be a pointer to data. It's entirely up to the template what it's a 
pointer to.