comp.lang.ada
 help / color / mirror / Atom feed
From: "Eric G. Miller" <egm2@jps-nospam.net>
Subject: Re: parent type must not be outside generic body
Date: Sun, 17 Nov 2002 02:28:00 GMT
Date: 2002-11-17T02:28:00+00:00	[thread overview]
Message-ID: <pan.2002.11.17.02.31.43.127610@jps-nospam.net> (raw)
In-Reply-To: 3dd6c668$0$301$bed64819@news.gradwell.net

In <3dd6c668$0$301$bed64819@news.gradwell.net>, Victor Porton wrote:

> 1. What in ARM95 deprecated this?

Maybe...

                      3.9.1 Type Extensions 

   4
      A type extension shall not be declared in a generic body if the parent
      type is declared outside that body.

> 2. What are methods of workaround of this where to
> declare this type?

Maybe use a private section in the generic spec?

generic
package Foo_Generic is

   type Foo is tagged null record;
   
private

   type Bar is new Foo with null record;

end Foo_Generic;





      reply	other threads:[~2002-11-17  2:28 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-11-16 22:26 parent type must not be outside generic body Victor Porton
2002-11-17  2:28 ` Eric G. Miller [this message]
replies disabled

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