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=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,67b6ac0b061212bf
X-Google-Attributes: gid103376,public
From: Florian Weimer <fw@deneb.cygnus.argh.org>
Subject: Re: GNAT Problem with variable length Arrays
Date: 2000/03/22
Message-ID: <87ya7bgzbu.fsf@deneb.cygnus.argh.org>#1/1
X-Deja-AN: 600785359
References: <8b9v4e$cve1@dsit03.atlas.de>
Mail-Copies-To: never
Content-Type: text/plain; charset=us-ascii
X-Complaints-To: abuse@cygnus.argh.org
X-Trace: deneb.cygnus.argh.org 953715237 8410 192.168.1.2 (22 Mar 2000
 08:53:57 GMT)
Organization: Penguin on board
User-Agent: Gnus/5.0804 (Gnus v5.8.4) Emacs/20.6
Mime-Version: 1.0
Reply-To: Florian Weimer <fw-usenet@deneb.cygnus.argh.org>
NNTP-Posting-Date: 22 Mar 2000 08:53:57 GMT
Newsgroups: comp.lang.ada
Date: 2000-03-22T08:53:57+00:00
List-Id: <comp.lang.ada>

"Torsten Leistikow" <leistikow@stn-atlas.de> writes:

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

It's certainly a bug.  Sometimes, when using a type before it is
actually declared, GNAT runs into an infinite loop.  Another (quite
silly) example is:

package type_test_problem is

   type Some_Type_Class is private;

private

   type Some_Type_Class is new Some_Type_Class'Class;

end type_test_problem;