comp.lang.ada
 help / color / mirror / Atom feed
From: Keith Thompson <kst@cts.com>
Subject: Re: [Fwd: F22 completes 11% of its Flight tests]
Date: 2000/01/14
Date: 2000-01-14T00:00:00+00:00	[thread overview]
Message-ID: <yecpuv4mgc6.fsf@king.cts.com> (raw)
In-Reply-To: 3d8f4.2267$iy5.117569@typ12.deja.bcandid.com

"jtarver" <jtarver@tminet.com> writes:
> Bill Greene <wrg@Ganymede.com> wrote in message
> news:387D0C1B.9D2@Ganymede.com...
> Who wrote the Ada reference manual you V/V to?  Was it Digital Equipment?

No.  The Ada reference manual and the validation suite are the same
for all compilers and systems.

> > > > But what does it mean to say that "VAX" violated a rule?  Are you
> > > > talking about a particular Ada compiler for the VAX?  If so, which
> > > > compiler is it and what sort of extensions are you referring to?
> > > > Implementation-defined attributes and pragmas?
> > >
> > > "extended instruction set" is what I am refering to.
> >
> > ???
> 
> That is what I thought.

What is what you thought?

I'm afraid I have no idea what you mean by "extended instruction set".
Certainly Ada compilers for the VAX can provide
implementation-specific pragmas and attributes, this is allowed by the
standard.  They also provide machine-code insertions (which aren't
expected to be portable) and additional library packages (which are
implemented *in* Ada; they aren't extensions to the language itself).
None of this makes it particularly difficult to write portable code
that will work properly on a VAX or anywhere else.

Can you provide an example of what you're talking about?

-- 
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.




  parent reply	other threads:[~2000-01-14  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         ` 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 [this message]
2000-01-13  0:00             ` Ted Dennison
2000-01-13  0:00               ` jtarver
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             ` Richard D Riehle
2000-01-12  0:00         ` David Tannen
2000-01-13  0:00           ` Harry Andreas
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               ` Marin D. Condic
2000-01-15  0:00               ` Keith Willshaw
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                         ` Gautier
2000-01-16  0:00                         ` Keith Thompson
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
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 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-17  0:00                           ` David Starner
2000-01-26  0:00                             ` Mark Lundquist
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                 ` K. Devlin
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