safety model in D

[Jesse Phillips]

On Tue, 03 Nov 2009 23:13:14 -0600, Andrei Alexandrescu wrote:

>> I think the only real option is to have the importer decide if it is
>> trusted.
> 
> That can't work. I can't say that stdc.stdlib is trusted no matter how
> hard I try. I mean free is there!

I would like to disagree here.

void free(void *ptr);

free() takes a pointer. There is no way for the coder to get a pointer in 
SafeD, compiler won't let them, so the function is unusable by a "safe" 
module even if the function is imported.