safety model in D

[Andrei Alexandrescu]

Nick Sabalausky wrote:
> "Andrei Alexandrescu" <SeeWebsiteForEmail at erdani.org> wrote in message 
> news:hcqc3m$1pgl$2 at digitalmars.com...
>> Nick Sabalausky wrote:
>>> module(system, trusted) calvin;
>>> ?
>> Yah, I was thinking of something along those lines. What I don't like is 
>> that trust is taken, not granted. But then a model with granted trust 
>> would be more difficult to define.
>>
>> Andrei
> 
> import(trust) someSystemModule;
> ?
> 
> I get the feeling there's more to this issue than what I'm seeing...

There's a lot more, but there are a few useful subspaces. One is, if an 
entire application only uses module(safe) that means there is no memory 
error in that application, ever.

Andrei