• bearophile <bearophileHUGS lycos.com> Oct 22 2010
• Andrei Alexandrescu <SeeWebsiteForEmail erdani.org> Oct 22 2010

bearophile <bearophileHUGS lycos.com> writes:

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/

Bye,
bearophile

Andrei Alexandrescu <SeeWebsiteForEmail erdani.org> writes:

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