Timon Gehr:

> Maybe a better solution would be to have @noreturn functions in the language. 
> (or,
> prettier, a type of which no values exist).

Yeah. Recently Walter has added something like that inside the DMD source code. 
GNU C uses (noreturn).

Bye,
bearophile

Reply via email to