Sharing in D

[mort]

Walter Bright Wrote:
> Shared unifies shared and unshared.

It seems that you want the semantics for shared to be ``allocated on either the shared heap or the local heap'' and for non-shared to be ``allocated on a thread local heap''.  Is that right?  If so, then it seems the only safe cast is from non-shared to *const* shared.  I think that was what Steven's example was meant to demonstrate (though I had trouble following it).