Componentizing D's garbage collector

[Ola Fosheim Grøstad" <ola.fosheim.grostad+dlang at gmail.com>]

On Monday, 13 January 2014 at 17:56:12 UTC, Dmitry Olshansky 
wrote:
> Precisely. Since C space has no type information you have to 
> conservatively assume that everything can be a pointer.

I think we are misunderstanding each other? I don't think a Boehm 
style GC can do compaction, since you cannot modify the 
"pointer", hence you have to "pin down" the object it possibly 
points to (to prevent it from moving)?