On 12/19/2011 12:24 AM, Vladimir Panteleev wrote:
On Sunday, 18 December 2011 at 23:18:22 UTC, Timon Gehr wrote:
You are right. I have had in mind a generational GC that uses a
copying collector for the nursery as this is what most
state-of-the-art VM GCs do.
...
We can change the way unions are layed out. The compiler can mark GC
memory passed to a C function as non-movable, or passing GC memory to
a C function can be made illegal if the GC is enabled.
These changes are too invasive for the language at this point, I
believe. We need to work with what we have.
I disagree. Code that relies on other semantics would just have to use
conservative GC.
