Re: safety model in D

[Andrei Alexandrescu]

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