Componentizing D's garbage collector

[Andrei Alexandrescu]

On 1/10/14 8:26 PM, Timon Gehr wrote:
> On 01/10/2014 09:03 AM, Andrei Alexandrescu wrote:
>>
>> * There will be no possibility to change the type of certain objects
>> once allocated. An allocation for an immutable object cannot e.g. make
>> it later a mutable one. (This is an essential issue with the current
>> allocator, I think.)
>
> I assume you are aware that there is implicit casting to immutable upon
> return from a strongly pure function. What about it?

I don't know. Need to think about it. Maybe it's a wrong design decision 
(or maybe separate heaps are wrong).

Andrei