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

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

Ken Garlington says

"There is an Ada 83 interpretation that says compilers are permitted to warn
you if the Source and Target are of different sizes on an unchecked conversion,
but as I understand it this isn't a requirement."

This is not right. No interpretation is needed to permit a compiler to 
generate warning messages, a compiler can generate whatever warning
messages it likes, since these are entirely outside the language.

As for requirements, there is not even a requirement that error messages
be generated for illegal programs, since again messages are entirely outside
the language definition. The only semantic requirement is that the library
(Ada 83) or compilation environment (Ada 95) not be affected by compiling
an illegal unit.