Re: NVRAM or how can I enforce a range check in Ada83.

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

Bob Duff said

"This is not right.  1.1.3(1,4) say, "A conforming implementation shall
... Identify all programs or program units that contain errors ...".
Well, to me, that seems to imply that the implementation has to give
some indication on errors -- I would call that an "error message"."


identify = some indication of an error = pretty vague.

For example, a compiler is conforming if it says the following:

In accordance with 1.1.3(1,4), this compiler identifies program units
that contain errors by not generating an object file for any such units.