comp.lang.ada
 help / color / mirror / Atom feed
From: Ted Dennison <dennison@telepath.com>
Subject: Re: storage size pragmas
Date: 2000/05/08
Date: 2000-05-08T00:00:00+00:00	[thread overview]
Message-ID: <8f76u1$vac$1@nnrp1.deja.com> (raw)
In-Reply-To: 8f754a$t03$1@nnrp1.deja.com

In article <8f754a$t03$1@nnrp1.deja.com>,
  Robert Dewar <robert_dewar@my-deja.com> wrote:

> In article <8f6kko$944$1@nnrp1.deja.com>,
>   Ted Dennison <dennison@telepath.com> wrote:
>
> > Certian checks that are deemed by the compiler writers to be
> > more expensive than they are worth are turned off by default
>
> False (Ted, you don't know GNAT that well, so be careful about
> claims like this :-)
>
> There are many reasons why we choose to have certain modes
> as the default, the one you gave above is NOT the most
...

That's right. You have discussed all that here before. Blame my faulty
memory again. Perhaps I should start eating more beets or something.
:-)

> > even if that means it technicly isn't following the Ada
> standard.
>
> Nope, that's completely inaccurate. The standard has nothing to
> say
> about default options, and neither do the validation tests. All

Well, that was a simplification which I suppose was bound to draw ire.
What I was trying to get at is that if you just use the default flags,
you do *not* get a standard Ada compilation.

That's a bit odd in the Ada world as far as I can tell. But that kind of
thing is quite common in the C and C++ world, so I guess it shouldn't
really suprise anyone.

--
T.E.D.

http://www.telepath.com/~dennison/Ted/TED.html


Sent via Deja.com http://www.deja.com/
Before you buy.




  reply	other threads:[~2000-05-08  0:00 UTC|newest]

Thread overview: 22+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-05-07  0:00 storage size pragmas ANTHONY GAIR
2000-05-07  0:00 ` Ted Dennison
2000-05-07  0:00   ` Robert Dewar
2000-05-07  0:00   ` Robert Dewar
2000-05-07  0:00   ` Robert Dewar
2000-05-07  0:00   ` ANTHONY GAIR
2000-05-07  0:00     ` Robert Dewar
2000-05-07  0:00     ` Robert Dewar
2000-05-09  0:00       ` ANTHONY GAIR
2000-05-09  0:00         ` Robert A Duff
2000-05-09  0:00           ` Robert Dewar
2000-05-09  0:00             ` Robert A Duff
2000-05-10  0:00               ` Laurent Guerby
2000-05-09  0:00             ` Ted Dennison
2000-05-09  0:00             ` Larry Kilgallen
2000-05-09  0:00         ` Robert Dewar
2000-05-08  0:00     ` Ted Dennison
2000-05-08  0:00       ` Robert Dewar
2000-05-08  0:00         ` Ted Dennison [this message]
2000-05-08  0:00           ` Robert Dewar
2000-05-07  0:00 ` Pascal Obry
2000-05-07  0:00 ` Keith Thompson
replies disabled

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