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=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!Xl.tags.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!news.giganews.com.POSTED!not-for-mail NNTP-Posting-Date: Fri, 17 Apr 2015 14:12:14 -0500 Newsgroups: comp.lang.ada Date: Fri, 17 Apr 2015 15:12:12 -0400 From: Peter Chapin X-X-Sender: pcc09070@WIL414CHAPIN.vtc.vsc.edu Subject: Re: Interesting containers problem. In-Reply-To: <8def4a86-5835-4368-b414-63e12f1074e8@googlegroups.com> Message-ID: References: <8def4a86-5835-4368-b414-63e12f1074e8@googlegroups.com> User-Agent: Alpine 2.11 (CYG 23 2013-08-11) Organization: Vermont Technical College MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Usenet-Provider: http://www.giganews.com X-Trace: sv3-qigcXL09HUPWrOeRbhSyGeDOyUFUgfO/o0MFY/C/1lOE0uz00qNNFDHlcxCNKg4QuKhoGy+ZKsPbrBZ!h2vH6rVXXH5JrRSChr8yZ4RYYrIZrbMzrOqGCLzo7WDifFvhQEfVmgxRM5tITqT6VqnqiIMsY5Cg!SZ5ojweXsvYPauitmA== X-Complaints-To: abuse@giganews.com X-DMCA-Notifications: http://www.giganews.com/info/dmca.html X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.40 X-Original-Bytes: 1992 Xref: news.eternal-september.org comp.lang.ada:25537 Date: 2015-04-17T15:12:12-04:00 List-Id: On Fri, 17 Apr 2015, Shark8 wrote: > Ok, so let's say we have a type for Identifiers: [snip] > And that's all well and good; however, there is one limitation here that > is revealed when you need nesting scopes -- there is, apparently, no way > to define an Element_Type to feed to Indefinite_Ordered_Maps which is an > instance of Indefinite_Ordered_Maps.Maps or an instance of Variable_Data > (by way of a variant record; even one which is forward declared). > > What would be the proper way to handle this sort of situation? Perhaps using access types directly? What if the Element_Type of the Map is an access type that points at an incomplete type, where the completion follows the instantiation of the Maps generic? Peter