comp.lang.ada
 help / color / mirror / Atom feed
From: kdevlin@mpinet.net (K. Devlin)
Subject: Re: [Fwd: F22 completes 11% of its Flight tests]
Date: 2000/01/17
Date: 2000-01-17T00:00:00+00:00	[thread overview]
Message-ID: <388274ac.42926465@news.mpinet.net> (raw)
In-Reply-To: yecaem64cny.fsf@king.cts.com

>On 16 Jan 2000 00:57:05 -0800, Keith Thompson <kst@cts.com> wrote:

>"jtarver" <jtarver@tminet.com> writes:
>> Nothing like having the rules change to deliver that Boston pork.  DEC had
>> extensions when their computer became the defacto standard for Ada.  At the
>> time any extensions to Ada were forbidden.  Data General was rightiously
>> upset when this was done.  I was working SDI in the 80s when Ada became the
>> perfered controls language.
>
>Please be specific.  What extensions are you referring to?  (BTW, I
>was working on Ada compilers in the 80s.)
>
>> Ada suxs.
>
>Yeah, whatever.
>
>-- 
>Keith Thompson (The_Other_Keith) kst@cts.com  <http://www.ghoti.net/~kst>
>San Diego Supercomputer Center           <*>  <http://www.sdsc.edu/~kst>
>Welcome to the last year of the 20th century.

I would suggest that attempting to reason with jtarver is a waste of
time.  He clearly hates Ada, appears to hate Lockheed Martin and
NOTHING you can "say" nor can any documented proof, change his
opinions.

I hope he doesn't fly on Boeing 777 A/C as they are as close to 100%
Ada based as possible (see http://adaic.org/docs/flyers/boe-777.shtml)

He doesn't seem to, or want to, understand that (particularly when DoD
"owned" Ada) there was (and still is) only one validation suite. A
compiler either met this and received a validation certificate or it
didn't.  If DEC Ada became the "defacto standard" it was because they
had an excellent product and their computers were widely used in the
area where Ada was mandated.  


Of course there were/are differences between compilers. Among others,
I've used DEC Ada and also a version of Telesoft Ada ported to the
VAX.  In the Telesoft version one had Integer (32 bits) and
Short_Integer (16 bits). DEC Ada had Integer (16 bits) and
Long_Integer (32 Bits).  Both compilers were validated and these types
were clearly defined in the appropriate place of their respect RM.
This particular example wasn't a big deal (nor was it an "extension)
as a simple global replace of integer for long_integer and then
short_integer to integer or vica-versa was sufficient and of course
either compiler would point out the unknown type name. 

My original cut at the program was in DEC Ada as much due to the
excellent error messages as anything else, and then I moved it to
Telesoft which is where the one issue (the integer types) surfaced.
Granted both compilers targeted the VAX but each was validated and the
differences were minor, and those differences were properly
documented.

IIRC, to do anything other than simple text_io required using package
STARLET (which might be jtarver's extension's).  This package was/is
"legal" and was clearly documented in the appropriate section of the
RM in accordance with the standard. 

 

kbd







  parent reply	other threads:[~2000-01-17  0:00 UTC|newest]

Thread overview: 71+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-01-12  0:00 [Fwd: F22 completes 11% of its Flight tests] Rocky
2000-01-12  0:00 ` Marin D. Condic
2000-01-12  0:00   ` jtarver
2000-01-12  0:00     ` Bill Greene
     [not found]       ` <Ft6f4.2216$iy5.114812@typ12.deja.bcandid.com>
2000-01-12  0:00         ` David Tannen
2000-01-13  0:00           ` Harry Andreas
2000-01-12  0:00         ` Bill Greene
2000-01-12  0:00           ` jtarver
2000-01-12  0:00             ` Bill Greene
     [not found]               ` <3d8f4.2267$iy5.117569@typ12.deja.bcandid.com>
2000-01-12  0:00                 ` Bill Greene
2000-01-14  0:00                 ` Keith Thompson
2000-01-13  0:00             ` Ted Dennison
2000-01-13  0:00               ` Jeff Carter
     [not found]                 ` <yxof4.2433$iy5.130692@typ12.deja.bcandid.com>
2000-01-14  0:00                   ` Tarjei T. Jensen
2000-01-13  0:00               ` jtarver
2000-01-13  0:00             ` Richard D Riehle
2000-01-14  0:00         ` Marin D. Condic
2000-01-14  0:00           ` Ed Falis
2000-01-14  0:00             ` Bill Greene
2000-01-15  0:00               ` Keith Willshaw
2000-01-15  0:00                 ` K. Devlin
2000-01-15  0:00                 ` Marin D. Condic
2000-01-15  0:00                   ` Keith Willshaw
2000-01-16  0:00                     ` Gautier
     [not found]                     ` <38821915.B56815F8@maths.unine.ch>
     [not found]                       ` <85t9oa$867$1@ssauraaa-i-1.production.compuserve.com>
2000-01-17  0:00                         ` Gautier
2000-01-17  0:00                           ` Keith Willshaw
     [not found]                   ` <oHcg4.2964$iy5.180009@typ12.deja.bcandid.com>
2000-01-16  0:00                     ` Keith Thompson
2000-01-16  0:00                       ` jtarver
2000-01-16  0:00                         ` Keith Thompson
2000-01-16  0:00                         ` Gautier
2000-01-16  0:00                         ` David Starner
2000-01-17  0:00                         ` Marin D. Condic
2000-01-17  0:00                           ` jtarver
2000-01-17  0:00                             ` Keith Thompson
2000-01-17  0:00                             ` Gautier
2000-01-17  0:00                               ` jtarver
2000-01-17  0:00                                 ` Bill Greene
2000-01-19  0:00                                 ` Robert S. White
2000-01-19  0:00                                   ` Ted Dennison
2000-01-19  0:00                                     ` Robert S. White
2000-01-25  0:00                                       ` Stefan Skoglund
2000-01-25  0:00                                         ` Richard D Riehle
2000-01-26  0:00                                           ` Mark Lundquist
2000-01-26  0:00                                             ` Samuel T. Harris
2000-01-17  0:00                       ` K. Devlin [this message]
2000-01-17  0:00                         ` Chris Douglas
2000-01-18  0:00                           ` P. S. Norby
     [not found]                         ` <QHvg4.3143$iy5.200225@typ12.deja.bcandid.com>
2000-01-17  0:00                           ` David Starner
2000-01-26  0:00                             ` Mark Lundquist
2000-01-17  0:00                           ` David Gillon
2000-01-17  0:00                           ` Stuart Palin
2000-01-17  0:00                             ` jtarver
2000-01-17  0:00                               ` David Tannen
2000-01-18  0:00                               ` K. Devlin
2000-01-18  0:00                           ` K. Devlin
2000-01-18  0:00                             ` Ed Falis
2000-01-18  0:00                               ` Ted Dennison
2000-01-31  0:00                         ` Roga Danar
2000-01-15  0:00               ` Marin D. Condic
2000-01-15  0:00             ` Marin D. Condic
2000-01-15  0:00               ` David Starner
2000-01-15  0:00                 ` Marin D. Condic
2000-01-16  0:00                   ` Keith Willshaw
2000-01-16  0:00                     ` Paul J. Adam
2000-01-16  0:00                       ` John Keeney
2000-01-17  0:00                         ` Paul J. Adam
2000-01-18  0:00                     ` Tarjei T. Jensen
2000-01-18  0:00                       ` Keith WIllshaw
2000-01-25  0:00                         ` Stefan Skoglund
2000-01-14  0:00     ` Marin D. Condic
     [not found] <sBvg4.3142$iy5.199834@typ12.deja.bcandid.com>
2000-01-17  0:00 ` tmoran
replies disabled

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