On Tuesday, 18 December 2012 at 16:58:32 UTC, Iain Buclaw wrote:
Provide a situation where @noreturn attribute would mean
anything other
than telling the compiler to assume that the function cannot
return, and I
might please you on *that* particular attribute.
On *that* particular attribute, I will accept that there isn't
much you could do differently from a theoretical standardised
version. The problem is, as soon as you add one compiler specific
attribute, it will be used as a precedence for adding others.
pragma exists for the purpose of compiler-specific extensions.
Can we just keep using that, and if an attribute comes up that
could be truly useful for all compiler then it can be added to
the spec.
