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: 103376,86c750b8474bf6d5 X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!feeder.erje.net!news.mixmin.net!eweka.nl!hq-usenetpeers.eweka.nl!69.16.177.246.MISMATCH!cyclone03.ams!news.ams.newshosting.com!npeersf01.ams!newsfe17.ams2.POSTED!53ab2750!not-for-mail From: Chris Moore User-Agent: Thunderbird 2.0.0.14 (Windows/20080421) MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: About String References: <484ABED3.8040909@obry.net> <484b802a$0$23844$4f793bc4@news.tdc.fi> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: <5vV2k.100215$x55.53072@newsfe17.ams2> NNTP-Posting-Host: 82.18.136.196 X-Complaints-To: http://netreport.virginmedia.com X-Trace: newsfe17.ams2 1212949569 82.18.136.196 (Sun, 08 Jun 2008 14:26:09 EDT) NNTP-Posting-Date: Sun, 08 Jun 2008 14:26:09 EDT Organization: virginmedia.com Date: Sun, 08 Jun 2008 19:26:21 +0100 Xref: g2news1.google.com comp.lang.ada:616 Date: 2008-06-08T19:26:21+01:00 List-Id: > On Sun, 08 Jun 2008 09:47:30 +0300, Niklas Holsti wrote: > >> That said, I admit that I, too, have made this mistake once or >> twice. But not lately. Me too. I think it's one of those mistakes that sticks in the mind. Dmitry A. Kazakov wrote: > But then, for regularity sake, you would need to add exception handling to > all declarative parts: > > package A is > > exception > (:-)) > end A; > It might make tracing elaboration errors easier. :) Barnes says "... in any handler we are assured that all declarations of the unit were successfully elaborated and so there's no risk of referring to something that does not exist." That's sensible but it does mean the compiler has to undo memory allocations if they occur in a declaration and a subsequent declaration raises an exception. Chris