comp.lang.ada
 help / color / mirror / Atom feed
From: porton@ex-code.com (Victor Porton)
Subject: Bug: compiler hangs on circular type dependency
Date: Tue, 21 Jan 2003 07:06:00 +0500
Date: 2003-01-21T02:50:11+00:00	[thread overview]
Message-ID: <3e2cb563$0$33929$bed64819@news.gradwell.net> (raw)

This is sent to report@gnat.com and duplicated in comp.lang.ada

Gnat (both 3.14 and 3.15) hangs on compiling the following
(erraneous) stuff:

package P is
    type A is tagged null record;
    type B is new A with private;
    type C is new A with private;
private
    type B is new C with null record;
    type C is new B with null record;
end P;

BTW, comp.lang.ada, what in Ada Standard deprecated such circularity?
Isn't it forgotten in the Standard itself?



             reply	other threads:[~2003-01-21  2:06 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-01-21  2:06 Victor Porton [this message]
2003-01-21  5:09 ` compiler hangs on circular type dependency James S. Rogers
2003-01-21  6:24   ` tmoran
2003-01-21  7:12   ` Victor Porton
2003-01-21 14:02   ` Wes Groleau
2003-01-21 18:43 ` Victor Porton
2003-01-23 17:12   ` Stephen Leake
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox