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.7 required=5.0 tests=BAYES_00,MSGID_RANDY
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,ca3376f0e2c72c58
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2000-12-27 01:10:03 PST
Path: 
 supernews.google.com!sn-xit-02!supernews.com!newsfeed.mesh.ad.jp!portc03.blue.aol.com!newsfeed.mathworks.com!news.maxwell.syr.edu!nntp2.deja.com!nnrp1.deja.com!not-for-mail
From: mark_lundquist@my-deja.com
Newsgroups: comp.lang.ada
Subject: Re: better way?
Date: Wed, 27 Dec 2000 09:00:18 GMT
Organization: Deja.com
Message-ID: <92cb31$tf6$1@nnrp1.deja.com>
References: <16D06.22140$A06.845242@news1.frmt1.sfba.home.com>
NNTP-Posting-Host: 130.213.202.149
X-Article-Creation-Date: Wed Dec 27 09:00:18 2000 GMT
X-Http-User-Agent: Mozilla/4.0 (compatible; MSIE 5.0; Windows NT; DigExt)
X-Http-Proxy: 1.1 x61.deja.com:80 (Squid/1.1.22) for client 130.213.202.149
X-MyDeja-Info: XMYDJUIDmark_lundquist
Xref: supernews.google.com comp.lang.ada:3402
Date: 2000-12-27T09:00:18+00:00
List-Id: <comp.lang.ada>



Well, it's _almost_ the "withing problem", and if you're using GNAT you
can use the "with type" language extension if you can live with making
the two "inner" packages child packages of the "outer" instead of
nesting them in "outer".

In article <16D06.22140$A06.845242@news1.frmt1.sfba.home.com>,
  tmoran@acm.org wrote:
> I'd like to do something like:
>   package Outer is
>
>     type Inner_A_Thing_Type;
>     type Inner_B_Thing_Type;
>
>     package Inner_A is
>       type Thing_Type is ...
>       procedre P(X : access Inner_B_Thing_Type);
>     end Inner_A;
>     subtype Inner_A_Thing_Type is Inner_A.Thing_Type;
>
>     package Inner_B is
>       type Thing_Type is ...
>       procedre Q(X : access Inner_A_Thing_Type);
>     end Inner_B;
>     subtype Inner_B_Thing_Type is Inner_B.Thing_Type;
>     ...
>   end Outer;
>
> but the "subtype" instead of "type" prevents it.  Suggestions?
>


Sent via Deja.com
http://www.deja.com/