On Monday, 1 June 2015 at 21:32:32 UTC, Andrei Alexandrescu wrote:
On 6/1/15 2:02 PM, Walter Bright wrote:
3/ union and @safe is currently undefined. I proposed to
make everything
involving unions @system, and we will figure it out from
there.
No.
What should we do here then? -- Andrei
The fact that we essentially decided that everything was @safe
until proven otherwise - i.e. used a blacklist for @safety rather
than a whitelist - has already proven to be a problem in that we
keep missing stuff, and changing the rules later (like we will
need to fix @safety issues) will break existing code. It minimum,
if we're not sure that something is @safe, we need to make it
@system. As it stands, we've definitely dropped the ball on this.
https://issues.dlang.org/show_bug.cgi?id=8838
is one example of that.
- Jonathan M Davis
