Safety, undefined behavior, @safe, @trusted

rmcguire rjmcguire at gmail.com
Thu Nov 5 22:51:29 PST 2009


Ellery Newcomer <ellery-newcomer at utulsa.edu> wrote:
 
> Walter Bright wrote:
>>> Well, if that's a problem you could fix it by making immutable not
>>> shared unless you also put the shared attribute:
>>>
>>>     immutable Object o;        // thread-local
>>>     shared immutable Object o; // visible from all threads
>> 
>> 
>> Aaggghhhh !!! <g>
>> 
> 
> ditto
> 
agreed, but why can't their just be a space for immutable data to be 
allocated?
That way you could prove? that the data is immutable.

-Rory




More information about the Digitalmars-d mailing list