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.