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.
next prev parent 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