On Thu, Jul 07, 2016 at 10:57:23PM +0100, Rainer Weikusat wrote:

> Didier Kryn <kryn@???> writes:
> > Le 07/07/2016 19:25, Rainer Weikusat a écrit :
> >> The conversion happened implicitly as part of an assignment and the Ada
> >     There isn't implicit conversion in Ada.

>
> I vaguely imagine writing somewhat more than 'the Ada runtime threw an
> exception because it was asked to do a lossy assignment' (specifically,
> 'conversion' was you term and I just used it because you did).

It was more than that. Someone believed that "this program is writted in
Ada and thus is perfect", and so software errors are unpossible, thus any
exception implies a hardware error. For hardware errors, they had a second
identical computer, and on both, any exception, no matter how trivial, by
their policy was intentionally uncaught and forced a shutdown (not a
restart) of the computer. Both computers ran the same program on the same
data...

--
An imaginary friend squared is a real enemy.