From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: win32ada with Object Ada
Date: 1997/06/20
Date: 1997-06-20T00:00:00+00:00 [thread overview]
Message-ID: <dewar.866847608@merv> (raw)
In-Reply-To: 33A690CB.5A64@edv.mpi-stuttgart.mpg.de
H-J S asks
<<> If the code in winnt.ads really illegal, I ask, "How could it be compiled
> on Gnat 3.02 (as is mentioned in the readme file)?" Normally all the
> validated compilers should be able to compile a code or not to compile a
> code. If some compilers can compile it and other not, then one cannot
> talk about compatibility of compilers.>>
Yes, the code is really illegal.
Yes, GNAT 3.02, an unvalidated Ada 95 compiler that became obsoleted by
subsequent versions well over a year ago did compile it.
No, validation does not guarantee that all compiler compile exactly the
same code. Validation is a form of testing. Testing does not guarantee
absence of bugs.
Yes, normally reasonably conformant and mature compilers, one useful, but
not totally adequate indication of which is validation, will have this
problem less often.
Now that Object Ada and GNAT are both validated, they disagree less often,
but they do not promise to agree 100%
prev parent reply other threads:[~1997-06-20 0:00 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-06-03 0:00 win32ada with Object Ada Saif-Ali Butt
1997-06-03 0:00 ` Tom Moran
1997-06-03 0:00 ` Martin C. Carlisle
1997-06-09 0:00 ` Robert Dewar
1997-06-14 0:00 ` Ginny Wood
1997-06-05 0:00 ` Ed Falis
1997-06-07 0:00 ` Robert Dewar
1997-06-09 0:00 ` Pascal Obry
1997-06-09 0:00 ` Robert Dewar
1997-06-10 0:00 ` Pascal Obry
1997-06-09 0:00 ` Robert Dewar
1997-06-10 0:00 ` Geert Bosch
1997-06-17 0:00 ` Heinz-Joachim Staerke
1997-06-20 0:00 ` Robert Dewar [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox