Re: Safe mode in D?

[Meta]

On Thursday, 17 October 2013 at 23:18:21 UTC, DDD wrote:
I tried this code and the compiler allowed it (runtime I get 
object.Error: Access Violation). What am I doing wrong?

Thanks I didn't notice

@safe
import std.stdio;
class A {
        int x  = 1;
}
@safe void main() {
        A a;
        a.x=9;
}

This is more or less a different thing. SafeD doesn't guarantee 
that your class references will not be null. Trying to call a 
method on a null reference is perfectly valid in SafeD. There's a 
pull request sitting in GitHub for a NotNull type that should be 
reasonable good for ensuring that your references are not null, 
but it hasn't been pulled yet.