On Saturday, 8 July 2017 at 12:18:38 UTC, Andrei Alexandrescu wrote:
On 7/8/17 7:07 AM, bachmeier wrote:
On Saturday, 8 July 2017 at 10:15:39 UTC, Walter Bright wrote:

Having an @noreturn attribute will take care of that:

   @noreturn void ThisFunctionExits();

Why should this be an attribute rather than a pragma?

So it's part of the summary of the function. -- Andrei

But it's additional clutter being added for the benefit of the compiler. Additions like this make it hard for those of us showing the language to others.

Reply via email to