@safe, pure and nothrow at the beginning of a module

Philippe Sigaud via Digitalmars-d-learn digitalmars-d-learn at puremagic.com
Sat Aug 16 04:58:46 PDT 2014


On Sat, Aug 16, 2014 at 1:30 PM, Artur Skawina via Digitalmars-d-learn
<digitalmars-d-learn at puremagic.com> wrote:
> On 08/16/14 13:18, Philippe Sigaud via Digitalmars-d-learn wrote:
>> We indeed need to put annotations inside aggregates to
>> affect their innards.
>>
>> If that's true, I have a lot of annotation sprinkling to do.
>
> It's not true for @safe, but true for some other attributes.
>
> http://forum.dlang.org/post/mailman.125.1397731134.2763.digitalmars-d@puremagic.com

Okay...

So @safe includes child scopes. I suppose @trusted and @system work in
the same way.

*but*

nothrow, @nogc and UDA's do not include child scopes. Putting them at
the beginning of a module will not affect methods in aggregates...

What's the situation for pure? (I don't have a D compiler handy right
now, or I would test it myself).


More information about the Digitalmars-d-learn mailing list