From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,6327f05d4989a68d
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.180.97.198 with SMTP id ec6mr8399725wib.5.1356837411919;
        Sat, 29 Dec 2012 19:16:51 -0800 (PST)
Path: 
 i11ni337233wiw.0!nntp.google.com!feeder3.cambriumusenet.nl!82.197.223.108.MISMATCH!feeder2.cambriumusenet.nl!feeder1.cambriumusenet.nl!feed.tweaknews.nl!193.141.40.65.MISMATCH!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!border2.nntp.ams2.giganews.com!border4.nntp.ams.giganews.com!border2.nntp.ams.giganews.com!border3.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!newsreader4.netcologne.de!news.netcologne.de!feeder.erje.net!eu.feeder.erje.net!news.szaf.org!news.gnuher.de!news.enyo.de!.POSTED!not-for-mail
From: Florian Weimer <fw@deneb.enyo.de>
Newsgroups: comp.lang.ada
Subject: Re: Press Release - Ada 2012 Language Standard Approved by ISO
Date: Tue, 25 Dec 2012 22:51:59 +0100
Message-ID: <87sj6tre9s.fsf@mid.deneb.enyo.de>
References: <kap6v8$mr7$1@dont-email.me>
	<wcc8v8vti17.fsf@shell01.TheWorld.com>
	<CCF68CB9.22EB9%yaldnif.w@blueyonder.co.uk>
	<7wrdmbre6jw9.qww9l0uzj6mg.dlg@40tude.net> <katr14$sef$2@munin.nbi.dk>
	<14oqoq06zhlu2.tcasif3hdyhw.dlg@40tude.net>
	<kb333b$tcg$1@munin.nbi.dk>
	<1drh1q1ln2dfh$.a9hwlg01fjfy.dlg@40tude.net>
	<50d6365d$0$6577$9b4e6d93@newsspool3.arcor-online.net>
	<1pbg79bz92j3t$.sz41zduivjfp.dlg@40tude.net>
	<c174226a-b519-4cc0-b37c-eee4e7825e00@googlegroups.com>
	<4c101d74-c8cb-45a6-82d4-91923bb950b0@googlegroups.com>
Mime-Version: 1.0
X-Trace: news.enyo.de 1356472318 26951 172.17.135.6 (25 Dec 2012 21:51:58 GMT)
X-Complaints-To: news@enyo.de
Cancel-Lock: sha1:CvQn6DsdKKPl/G/qK3EbxhXpGiw=
Content-Type: text/plain; charset=us-ascii
Date: 2012-12-25T22:51:59+01:00
List-Id: <comp.lang.ada>

* sbelmont:

> Recall that exception specifications in C++ was a god-awful
> nightmare, and has since been depreciated.

But not completely.  Code which is used to implement exception
correctness cannot itself throw exceptions, and there is the noexcept
specifier to express that.

For Ada, we'd need something similar for the Finalize operation on
controlled types, and actually, for initializers, too, because the
exception handlers do not cover the declarations preceeding the block
(so that dealing with exceptions in initializers is syntactically
rather awkward).