@noreturn ?

[Jonathan M Davis]

On Saturday, December 24, 2011 22:26:02 Andrei Alexandrescu wrote:
> On 12/24/2011 06:58 PM, Vladimir Panteleev wrote:
> > On Saturday, 24 December 2011 at 20:09:46 UTC, bearophile wrote:
> >> GNU C has a noreturn attribute since a lot of time. I don't fully
> >> understand why such attribute is so useful in C programs, but is
> >> something like a @noreturn function attribute useful in D too? Maybe
> >> to implement a better halt assert(0)?
> > 
> > How about: scope(success) assert(0); ?
> 
> The attribute should be migrated to the signature of the function such
> that calling code can take advantage of it.
> 
> I personally think this is a small matter. Right now we have bigger
> rocks to move. It would be great if 2.058 had all [tdpl] bugs fixed.

It's the sort of thing that we could add at any time without breaking 
backwards compatibility, so there's no rush unless it solves a burning 
problem. But at best, it solves a minor inconvenience. Solving the TDPL on the 
other hand would resolve a major usability issue for the language - 
particularly how it affects newbies reading TDPL. But completely aside from the 
newbies, it's a major milestone in actually having the full language 
implemented so that there's a lot less of a distinction between the design and 
the implementation.

- Jonathan M Davis