Re: "silly" (?) Ada semantics

[ken@minster.york.ac.uk]

In article <1919@sparko.gwu.edu> mfeldman@seas.gwu.edu (Michael Feldman) writes:
>constraint_error would be raised at execution time. What is the point
>about the "silly" semantics: that the compiler should treat it as fatal?
>Well, OK, maybe it should. As a teacher of compiler construction, I know
>well that the question of what to treat as a fatal error is really a
>matter of taste. Let's not turn this into a religious thing, OK?

It's not a matter of taste for the _compiler vendor_. They _must_
compile it because it is legal Ada! It's not the fact that the compiler
spotted it - all Ada compilers I've seen spotted it! They all have to
generate code, which always generates a constrant error.

I thought Ada was targetted at high integrity mission critical
software? Is it a good idea to defer errors to run-time? I remember
being told by a FORTRAN diehard that the language was OK because a good
compiler spotted all the bad bits and warned the user. Great.

Ken