proposed @noreturn attribute
bachmeier via Digitalmars-d
digitalmars-d at puremagic.com
Sat Jul 8 06:47:40 PDT 2017
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.
More information about the Digitalmars-d
mailing list