Re: Why does this happen?

["Anders Wirzenius" <anders.wirzenius@pp.qnet.fi>]

<tmoran@acm.org> wrote in message news:D64r9.59604$rz6.10428@sccrnsc02...
> >   Type Mtr_Type is array (Positive range <>,
> >                           Positive range <>) of integer;
> >
> >   type T_typ (Ns : Positive) is record
> >      M : Mtr_Type (1..2, 1 .. ns);  -- does not compile
> >   end record;
>
> Gnat 3.14 on my Windows system compiles those lines without complaint.

... but not on my Gnat 3.14, Windows NT.
I get the same error message as OP.

instead
       M : Mtr_Type (-1..ns, -1..ns);
compiles without errors.

Could it be a question of elaboration, because a compilation, having
       M : Mtr_Type (-1..ns, -1..ns);
in test.ads,
of a test_test.adb

with test;
with Ada.Text_IO;
procedure test_test is
   A: test.T_typ(2);
begin
   null;
end;

gives the warning

test.ads:7:22: warning: static value out of range of type
"Standard.positive"
test.ads:7:22: warning: "constraint_error" will be raised at run time

Anders Wirzenius