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