[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: There is no returning
From: |
Bruce Korb |
Subject: |
Re: There is no returning |
Date: |
Sun, 17 Nov 2013 12:31:35 -0800 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130922 Icedove/17.0.9 |
On 11/17/13 13:18, Ludovic Courtès wrote:
What would you think of sticking to the standard and less problematic
‘_Noreturn’ identifier in Gnulib?
(I also agree that it’s better for Guile’s public headers to use
‘__noreturn__’, but using ‘noreturn’ was not completely silly either.)
"noreturn" is a C11 keyword and does not need #define-ing, except as
a C11 compatibility thing. When you #include <stdnoreturn.h>, that
token should work as expected. gnulib makes that available.