worley@eddie.mit.edu.uucp (Dale Worley) (08/30/88)
The idea of an Ada validation suite always struck me as a great idea.
However, several programmers here have been using several Ada
compilers, and we keep finding differences between validated
compilers. When we look up the differences, we usually find that one
or the other compiler is deviating from the Reference Manual in some
minor way.
This leads me to believe that the validation suite is pretty weak.
(This may be a little harsh -- Ada is a huge and complicated language,
and an exhaustive validation suite would be very difficult to build.)
Does the DoD intend the validation suite to verify compiler
compliance? If so, are they actively upgrading the suite as compiler
bugs are found? Etc., etc.
Dale
compass!worley@think.com
Compass, Inc. -- the usual disclaimers apply
--
Send compilers articles to ima!compilers or, in a pinch, to Levine@YALE.EDU
Plausible paths are { ihnp4 | decvax | cbosgd | harvard | yale | bbn}!ima
Please send responses to the originator of the message -- I cannot forward
mail accidentally sent back to compilers. Meta-mail to ima!compilers-request