DIP1028 - Rationale for accepting as is

jmh530 john.michael.hall at gmail.com
Fri May 22 18:43:48 UTC 2020


On Friday, 22 May 2020 at 18:34:32 UTC, Gregory wrote:
> [snip]
>
> Why are you assuming that the only thing wrong with 
> useClibrary() is that it would use a C declaration that is 
> @system? All @system code I've written is @system and wouldn't 
> compile to @safe even if extern(C) declarations are wrongly 
> annotated as @safe.
>
> What if app uses core.stdc? All those functions have already 
> been annotated as @system. Any code that uses the C stdlib is 
> going to break right now anyways.
>
> [snip]

The breakage would produce error messages. Annoying to fix, but 
at least obvious. The worry is more about not receiving any error 
messages. In other words, some code would compile as @system 
previously, but now would compile as @safe with nothing else 
changing. It's @safe, but is it really safe?


More information about the Digitalmars-d-announce mailing list