comp.lang.ada
 help / color / mirror / Atom feed
From: porton@ex-code.com (Victor Porton)
Subject: Re: compiler hangs on circular type dependency
Date: Tue, 21 Jan 2003 12:12:44 +0500
Date: 2003-01-21T07:17:32+00:00	[thread overview]
Message-ID: <3e2cf40c$0$33930$bed64819@news.gradwell.net> (raw)
In-Reply-To: NB4X9.5484$zF6.455042@bgtnsc04-news.ops.worldnet.att.net

In article <OI5X9.76286$1q3.11915@sccrnsc01>,
	tmoran@acm.org writes:
>> >     type B is new A with private;
>> > private
>> >     type B is new C with null record;
>>...
>> A type shall be completely defined (see 3.11.1) prior to being specified
>>...
>> Your private definitions violate this rule.
>   The private definition of B also contradicts the public one.

No, in private a base type can be replaced to its derivative.



  parent reply	other threads:[~2003-01-21  7:12 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-01-21  2:06 Bug: compiler hangs on circular type dependency Victor Porton
2003-01-21  5:09 ` James S. Rogers
2003-01-21  6:24   ` tmoran
2003-01-21  7:12   ` Victor Porton [this message]
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