Iain Buclaw:
> @noreturn void fatal()
> {
> print("Error");
> exit(1);
> }See also the same feature in GNU C: http://gcc.gnu.org/onlinedocs/gcc/Function-Attributes.html#index-g_t_0040code_007bnoreturn_007d-function-attribute-2455 Bye, bearophile
