DIP 1028---Make @safe the Default---Community Review Round 1

jmh530 john.michael.hall at gmail.com
Thu Jan 2 12:18:04 UTC 2020

On Thursday, 2 January 2020 at 11:31:59 UTC, bachmeier wrote:
> [snip]
>> I believe this DIP should be not be accepted until 1) it is 
>> possible to write a @safe RC type, 2) someone writes a tool 
>> that adds @system to every function that is not annotated 
>> @safe or @trusted (or already @system) (probably not that 
>> hard).
> If a function is not annotated, why should it default to 
> @system? That has a specific meaning that probably shouldn't 
> apply to most code.

I'm thinking about the transition. (non-template) Functions are 
currently implicitly @system, but that will change to @safe. So 
there should be a way to easily transition from the old default 
to the new one. Not really different from what someone mentioned 
above with putting @system: at the top of the file.

More information about the Digitalmars-d mailing list