default(attributes..) is no needed. You can already do this by:
pure @safe:
// your code
But what is needed is some way to disable those attributes. As you
mentioned one way could be done by allowing this:
pure(false) or pure!false or @disable(pure,@nogc...)
>From implementation point of view it is not hard. I have already
implemented this before. I have even write some old DIP. But there is new
DIP process so someone need to write a new one and need to be able to get
it throw new DIP process. And I do not feel I have enough strength to do
this right now.
čt 20. 12. 2018 8:50 odesílatel Dgame via Digitalmars-d-announce <
digitalmars-d-announce@puremagic.com> napsal:
> On Thursday, 13 December 2018 at 18:29:39 UTC, Adam D. Ruppe
> wrote:
> > The attribute spam is almost longer than the function itself.
>
> I often wished for something like
>
> ----
> module foo.bar;
>
> default(@safe, pure);
>
> function foo() { } // is annotated with @safe & pure
>
> @deny(pure) // or pure(false) as I suggested a long time ago
> function bar() { } // is annotated only with @safe
> ----
>
> That would IMO lighten the burden.
>
