comp.lang.ada
 help / color / mirror / Atom feed
From: Robert A Duff <bobduff@TheWorld.com>
Subject: Re: I am not understanding user defined exceptions
Date: Thu, 09 Feb 2017 18:08:32 -0500
Date: 2017-02-09T18:08:32-05:00	[thread overview]
Message-ID: <wccbmubezdb.fsf@TheWorld.com> (raw)
In-Reply-To: o7illh$484$1@franka.jacob-sparre.dk

"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


  reply	other threads:[~2017-02-09 23:08 UTC|newest]

Thread overview: 28+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-02-03 20:27 I am not understanding user defined exceptions patrick
2017-02-03 21:08 ` Randy Brukardt
2017-02-03 22:41   ` patrick
2017-02-04  1:26 ` Dennis Lee Bieber
2017-02-04  6:58   ` J-P. Rosen
2017-02-04 17:08     ` Simon Wright
2017-02-08 17:55       ` Georg Bauhaus
2017-02-08 23:37         ` Randy Brukardt
2017-02-09 19:08           ` Robert A Duff
2017-02-09 21:47             ` Randy Brukardt
2017-02-09 22:52               ` Robert A Duff
2017-02-10  9:52                 ` Simon Wright
2017-02-10 10:11                   ` Dmitry A. Kazakov
2017-02-10 20:56                 ` Randy Brukardt
2017-02-10 21:09                 ` Randy Brukardt
2017-02-10 22:07                   ` Dmitry A. Kazakov
2017-02-13 23:20                     ` Randy Brukardt
2017-02-14  8:39                       ` Dmitry A. Kazakov
2017-02-14 20:07                         ` Randy Brukardt
2017-02-15  9:32                           ` Dmitry A. Kazakov
2017-02-10 23:53                   ` Shark8
2017-02-09  0:36         ` Robert A Duff
2017-02-09  7:43           ` Simon Wright
2017-02-09 19:15             ` Robert A Duff
2017-02-09 20:39               ` Randy Brukardt
2017-02-09 21:06               ` Randy Brukardt
2017-02-09 23:08                 ` Robert A Duff [this message]
2017-02-04  8:41 ` Simon Wright
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox