compiler support added for precise GC

[Walter Bright]

On 4/17/2012 1:47 AM, deadalnix wrote:
> Le 17/04/2012 05:22, Walter Bright a écrit :
>> 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.
>
> Data can eventually be stored IN the pointer if needed. Does the system allow
> that ? If it doesn't, is it possible to enable it ?

I don't know what you mean.