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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,37d1760a19f7ae57
X-Google-Attributes: gid103376,public
From: dewar@schonberg.cs.nyu.edu (Robert Dewar)
Subject: Q. on Automatic Package Finalization
Date: 1996/09/28
Message-ID: <dewar.843919951@schonberg>#1/1
X-Deja-AN: 185843209
organization: New York University
newsgroups: comp.lang.ada
Date: 1996-09-28T00:00:00+00:00
List-Id: <comp.lang.ada>



rman said that we (Ada 9X) considered

">   begin
>      ...
>   exception
>      ...
>   at end
>      < sequence of frame finalization statements >
>   end"


Interestingly, internally GNAT implements at end, but does not allow it
to be mixed with an exception handler, and at end, unlike an exception
handler, covers the associated declarations.

It would be trivial (but a bit naughty) to make this available as a language
extension :-)