Re: CONSTRAINT_ERROR - why?

[Alfred Hilscher <Alfred.Hilscher@t-online.de>]

Robert A Duff schrieb:
> 
> Alfred Hilscher <Alfred.Hilscher@t-online.de> writes:
> 
> > So could it be a way if I define a function "/" (a, b : Integer) return
> > BYTE within my code? Or wouldn`t it be used?
> 
> Probably both "/" operators would be directly visible,
> so it would be ambiguous.  What's wrong with this:
> 
>     X.Struct_Length := BYTE(Integer'(Fac_Conf_Struct'Size / 8));


I have written a lot of code and there a many such assignments, because
the (C-)interface expects always the first component of a structure to
contain the structure length in bytes. So I want reduce the effort to
change the code. 
The main problem is, that GNAT does the compile without error and
without warning (at least when invoked from AdaGide), and the exception
is detected only during runtime (Aonix shows a warning during
compilation). I had to write a lot of code before I could do the first
run. If I'd got an warning during compilation then the problem had been
detected in an early phase and the changes were minimal.