[Issue 7616] aggregates don't inherit pure nothrow from outer scope

Aug 18, 2014

hsteoh@quickfur.ath.cx

Dec 13, 2018

Dec 14, 2018

Neia Neutuladh

Dec 17, 2018

Radu Racariu

Dec 17, 2022

Iain Buclaw

https://issues.dlang.org/show_bug.cgi?id=7616 hsteoh@quickfur.ath.cx changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |hsteoh@quickfur.ath.cx --- Comment #2 from hsteoh@quickfur.ath.cx --- Gah, this is a mess. On git HEAD, the original produces this output: ------ @safe void() pure nothrow @safe void() ------ which seems to indicate that "pure nothrow:" has no effect. Commenting out the "pure nothrow:" line in Foo2 produces: ------ @safe void() @safe void() ------ So basically, "pure nothrow:" doesn't work at all. --

https://issues.dlang.org/show_bug.cgi?id=7616 | <dhasenan@gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |dhasenan@gmail.com --- Comment #3 from | <dhasenan@gmail.com> --- https://github.com/dlang/dmd/pull/9076 --

December 14, 2018

[Issue 7616] aggregates don't inherit pure nothrow from outer scope

Posted by Neia Neutuladh

Permalink

Neia Neutuladh

Permalink

https://issues.dlang.org/show_bug.cgi?id=7616

Neia Neutuladh <dhasenan@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid

--- Comment #4 from Neia Neutuladh <dhasenan@gmail.com> ---
The spec at https://dlang.org/spec/attribute.html says:

attribute:     // affects all declarations until the end of
               // the current scope

The obvious interpretation is that any declaration between `attribute:` and the end of the current scope should have `attribute` applied. This includes nested declarations.

A version that doesn't include nested declarations would say something like "affects all declarations within the current scope after `attribute:`", ideally with clarification about nested scopes.

If there were any such text, then @safe would need to *not* propagate for consistency, *or* there would need to be other text saying that @safe propagates differently (which currently there isn't).

More illustrative test case:

---
nothrow pure
{
struct Foo
{
  int b() { return 1; }
}
}
int k() nothrow pure
{
  Foo foo;
  return foo.b();
}
---

Expected result: k() returns 1.
Actual result:
scratch.d(11): Error: pure function scratch.k cannot call impure function
scratch.Foo.b
scratch.d(11): Error: function scratch.Foo.b is not nothrow
scratch.d(8): Error: nothrow function scratch.k may throw

--

https://issues.dlang.org/show_bug.cgi?id=7616 Radu Racariu <radu.racariu@gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- See Also| |https://issues.dlang.org/sh | |ow_bug.cgi?id=19472 --

https://issues.dlang.org/show_bug.cgi?id=7616 Iain Buclaw <ibuclaw@gdcproject.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Priority|P2 |P3 --

https://issues.dlang.org/show_bug.cgi?id=7616 --- Comment #5 from Dlang Bot <dlang-bot@dlang.rocks> --- @ntrel created dlang/dlang.org pull request #3893 "[spec] Improve attribute propagation docs" mentioning this issue: - [spec] Improve attribute propagation docs Part of Bugzilla 7616 - aggregates don't inherit pure nothrow from outer scope Add grammar heading. `@nogc`, `nothrow` and `pure` do not propagate inside aggregates. Add example. Add link to core.attribute. https://github.com/dlang/dlang.org/pull/3893 --

https://issues.dlang.org/show_bug.cgi?id=7616 --- Comment #6 from Dlang Bot <dlang-bot@dlang.rocks> --- dlang/dlang.org pull request #3893 "[spec] Improve attribute propagation docs" was merged into master: - d55c919d5de5e34235c24f40eb734d54d40f83e1 by Nick Treleaven: [spec] Improve attribute propagation docs Part of Bugzilla 7616 - aggregates don't inherit pure nothrow from outer scope Add grammar heading. `@nogc`, `nothrow` and `pure` do not propagate inside aggregates. Add example. Add link to core.attribute. https://github.com/dlang/dlang.org/pull/3893 --

https://issues.dlang.org/show_bug.cgi?id=7616 --- Comment #7 from dlangBugzillaToGithub <robert.schadek@posteo.de> --- THIS ISSUE HAS BEEN MOVED TO GITHUB https://github.com/dlang/dmd/issues/18420 DO NOT COMMENT HERE ANYMORE, NOBODY WILL SEE IT, THIS ISSUE HAS BEEN MOVED TO GITHUB --

Forums