@noreturn property

[Andrei Alexandrescu]

On 10/22/10 19:24 CDT, bearophile wrote:
> Ada 95 too has a No_return pragma, see page 12-14 of the PDF file here, it explains various things:
> http://www.adacore.com/2006/02/02/ada-2005-rationale-exceptions-generics-etc-part-6-of-8/

The one cool and interesting thing about non-returning functions was 
that they returned a type that could be substituted for any other.

Andrei