Is @safe still a work-in-progress?

Walter Bright newshound2 at digitalmars.com
Sat Aug 18 02:17:01 UTC 2018


On 8/17/2018 4:33 AM, Atila Neves wrote:
> I've been using -dip1000 a lot lately.

Great news!

> I hit two bugs yesterday.

In D? or in your code?

> When it works, it's great, _except_:
> 
> . @safe isn't default
> . -dip1000 isn't default
> . Good luck figuring out why your template functions aren't @safe and coaxing 
> the compiler to tell you why it's inferring the attributes it is.

I empathize with that, having run into the same problem. A couple months ago I 
improved the resulting error messages, which make it a lot easier to track down 
why it is inferring what it does.

> Bonus points 
> if it's a Phobos function so you can't slap `@safe` on its definition.

Sometimes I think it is better to just slap them with @safe and to hell with 
unsafe parameters. :-)

> Did I mention the bugs?

Bugs don't count if they're not in bugzilla!


More information about the Digitalmars-d mailing list