Re: Possible bug?

[Anatoly Chernyshev <achernyshev@gmail.com>]

Right. I guess, I became overrelaxed at Ada's capacity to straighten up whatever stupid things I could put in the code.

> > No. What happens is that it constructs an initialization aggregate whose
> > bounds are (n_d, 2), and then raises Constraint_Error because the bounds
> > of the initial value do not match those of the variable. That's exactly
> > what the warning is telling you.
> 
> Right. More generally, "out of range" errors are always reported at runtime; 
> compilers often give a warning but they're not allowed to reject the 
> program. That's because perfectly sensible programs might contain an "out of 
> range" error in code that will never be executed, and one would be very 
> annoyed if the program was rejected.