Re: Aeonix Ada 95

[dewar@merv.cs.nyu.edu (Robert Dewar)]

Robert Eachus said

<<  If he could pass the B-tests,
certificate.  (For those who have never dealt with the ACVC, the
B-tests are--in 1.x--about 1000 test which not only require you to
find every error at compile time, but to diagnose it correctly.  Some
tests have/had hundreds of errors. Every compiler vendor I know spent
most of their effort during validation getting the B-tests right.
Most of the rest was spent on C-tests, and A,D,E and L collectively
accounted for at most 1-2% of the effort.)>>

First of all, there is no requirement that you diagnose the error correctly,
merely that you output an error message that refers to the affected line,
it would be fine as far as the ACVC is concerned to simply flag every
error line with a message that said ERROR.

Given that every line has a comment on it that says ERROR, I have no doubt
that the amazing Kruchten compiler would be able to read through a B test
and announce ERROR on all appropriate lines :-)