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=unavailable autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca1.giganews.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!newspeer1.nac.net!feeder.erje.net!eu.feeder.erje.net!newsfeed.fsmpi.rwth-aachen.de!eternal-september.org!feeder.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: How to get nice with GNAT?
Date: Tue, 25 Nov 2014 23:30:19 +0000
Organization: A noiseless patient Spider
Message-ID: <lyh9xm3lkk.fsf@pushface.org>
References: <slrnm6u97f.nrc.lithiumcat@nat.rebma.instinctive.eu>
 <dda292cb-97ac-4ab5-b29d-b3c0ec232c5b@googlegroups.com>
 <m4th8h$jce$1@dont-email.me>
 <0d8452a9-68c9-4835-b6f3-17407132ca9f@googlegroups.com>
 <jtq67a5ffb7fm44joao6a7nbvav7mdq29o@4ax.com>
 <8194a204-7b15-463d-a2fd-4d3ba342fe97@googlegroups.com>
 <8f203a9a-6c7c-4614-bc7d-efa65bf10776@googlegroups.com>
 <m52urp$9nc$1@loke.gir.dk>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org;
 posting-host="0ae4cc8b8d80483add419fa719d67148";
 logging-data="23053"; mail-complaints-to="abuse@eternal-september.org";
 posting-account="U2FsdGVkX19EpiFuatJp+OAMqRos4CMcTErLp5YSOJE="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (darwin)
Cancel-Lock: sha1:dhaMSKaInU7VUOdncRvqZYCoEr8=
 sha1:7sYziOyvJN6y/SwCjrf1At9iHz4=
Xref: number.nntp.giganews.com comp.lang.ada:191029
Date: 2014-11-25T23:30:19+00:00
List-Id: <comp.lang.ada>

"Randy Brukardt" <randy@rrsoftware.com> writes:

> The reason I feel so strongly about this is that exceptions
> (especially Constraint_Error and Program_Error) point out bugs in your
> code. Whenever you "eat" an exception (turning it into an error code,
> or simply ignoring it), you've put an opportunity to ignore a bug into
> your code. With all of the potential problems that entails.

We discovered that some misguided people had used

   exception
      when others => null;
   end;

and I had the fun of using ASIS to check the whole application for this
pattern via ASIS2XML and an xslt-based report.

Today I expect we'd use AdaControl. I have to say I don't remember
whether we could have then (probably about 2007).