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: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!1.eu.feeder.erje.net!feeder.erje.net!2.us.feeder.erje.net!nntp.club.cc.cmu.edu!micro-heart-of-gold.mit.edu!newsswitch.lcs.mit.edu!nntp.TheWorld.com!.POSTED!not-for-mail
From: Robert A Duff <bobduff@TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: I am not understanding user defined exceptions
Date: Thu, 09 Feb 2017 18:08:32 -0500
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wccbmubezdb.fsf@TheWorld.com>
References: <6cb6e781-c6df-4962-99e3-760e7c7fab88@googlegroups.com>
	<k3ba9chta4hqdcv4q6npmrdbffsnfeoi8l@4ax.com>
	<o73tvs$je$1@dont-email.me> <lyshntg9yh.fsf@pushface.org>
	<o7fm37$4ir$1@dont-email.me> <wcc4m04jj3c.fsf@TheWorld.com>
	<lyo9ybg678.fsf@pushface.org> <wcck28zfa69.fsf@TheWorld.com>
	<o7illh$484$1@franka.jacob-sparre.dk>
NNTP-Posting-Host: shell02.theworld.com
Mime-Version: 1.0
Content-Type: text/plain
X-Trace: pcls7.std.com 1486681712 1856 192.74.137.72 (9 Feb 2017 23:08:32 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Thu, 9 Feb 2017 23:08:32 +0000 (UTC)
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)
Cancel-Lock: sha1:bjixDtrRxqwUWhwZzj2bxZh+b5k=
Xref: news.eternal-september.org comp.lang.ada:33305
Date: 2017-02-09T18:08:32-05:00
List-Id: <comp.lang.ada>

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

> (4) <rant> GNAT effectively nullifying a carefully considered and heavily 
> debated decision in the ARG because a couple of people didn't like it is 
> about the most evil behavior that an implementer could take. ...

First of all, compiler vendors can provide whatever extensions they
like, and there's nothing "evil" about that.  If you don't want to
use extensions, don't, and select the options that give you an
error if you use extensions by accident.

GNAT fully supports the standard Static_Predicate and Dynamic_Predicate.

Second of all, if I remember the history correctly, GNAT implemented
this feature as originally designed, which was Predicate.  Then ARG
stepped in and changed that design, so GNAT implemented the other
two attributes.  It seems perfectly reasonable to me to also keep
the Predicate aspect, since people were already using it.

> You're just plain wrong, considering that we discussed this extensively in 
> the ARG and the "maintenance is important" position carried the day. The 
> flaw is that you can't declare most things static to avoid future problems.

Sorry, but majority rule doesn't prove that anyone is "just plain
wrong".  I realize my opinion is in the minority (of ARG anyway),
but I still think I'm right on this point.  (Of course I do -- if
I thought I was wrong, I would change my mind!)

You are using sophistry when you say "maintenance is important".
Of course I agree that maintenance is important; characterizing
my opinion as anti-maintenance is "just plain wrong".  ;-)

- Bob