On 12/19/2011 12:16 AM, Andrei Alexandrescu wrote:
On 12/18/11 5:11 PM, Vladimir Panteleev wrote:Also, D can't have a completely precise GC as long as it has unions and can pass managed memory to C code.Also casts pointer <-> integrals.
Casting a pointer to GC memory to an integral results in undefined behavior: http://www.d-programming-language.org/garbage.html
These arguments don't blunt the desirability of precise GC. Andrei