From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,67b6ac0b061212bf,start
X-Google-Attributes: gid103376,public
From: "Torsten Leistikow" <leistikow@stn-atlas.de>
Subject: GNAT Problem with variable length Arrays
Date: 2000/03/22
Message-ID: <8b9v4e$cve1@dsit03.atlas.de>#1/1
X-Deja-AN: 600762942
Organization: STN ATLAS Elektronik GmbH
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3612.1700
Newsgroups: comp.lang.ada
Date: 2000-03-22T00:00:00+00:00
List-Id: <comp.lang.ada>

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;