GNAT Problem with variable length Arrays

["Torsten Leistikow" <leistikow@stn-atlas.de>]

Hi,

as I am trying to get used to Ada, I stumble into many errors. So I am also
getting used to the GNAT error messages. But with the example listed below,
GNAT 3.12.a2 under NT just didn't stop compiling in a reasonable ammount of
time.

I know now, that the type declarations are in a wrong order, but it took me
quite a long time to figure it out, caused by the missing response from the
compiler.

Is this an exspected behaviour of the compiler, or some kind of a bug?


package type_test_problem is

  type a_type is range 0..2;

  type internal_array_type is array (a_type range <>, b_type range <>) of
integer;

  type c_type (first_bound  : a_type :=0;
               second_bound : b_type :=0) is
       record

         internal_array : internal_array_type (1..first_bound,
                                               1..second_bound);
       end record;

  type b_type is range 0..1;

end type_test_problem;