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
