DIP 1028 "Make @safe the Default" is dead

Avrina avrina12309412342 at gmail.com
Sun May 31 20:29:49 UTC 2020


On Sunday, 31 May 2020 at 19:15:19 UTC, Walter Bright wrote:
> On 5/30/2020 4:39 AM, Nick Treleaven wrote:
>> To preserve this, then please can we have `@safe module foo;`. 
>> This would change the default on a module basis to @safe, but 
>> still infer e.g. function template bodies as @system where 
>> necessary. This feature would allow modules from different 
>> projects, including ones written before this feature would be 
>> added can coexist happily. There would be no breakage, unlike 
>> DIP 1028 (which I BTW would support at a lower preference than 
>> the above feature, apart from unmarked extern(C) declarations 
>> being @safe).
>
> The implementation PR for DIP1028 still allowed inference for 
> templates as before.

In a safe-by-default world, `@system:` doesn't.
In a system-by-default world, `@safe:` doesn't.

This has been discussed verbatim in the DIP1028 threads.


More information about the Digitalmars-d-announce mailing list