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=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,5f5a48f21d7f7525 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!news3.google.com!feeder.news-service.com!85.214.198.2.MISMATCH!eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: Inferring array index type from array object Date: Wed, 23 Jun 2010 14:52:44 +0200 Organization: Adalog Message-ID: References: <6b20ed09-efc1-4df7-90f9-5e141482e8d0@d37g2000yqm.googlegroups.com> <1305oqccr1h2t$.x33x4oxwd84d$.dlg@40tude.net> <4c21fd04$0$6769$9b4e6d93@newsspool3.arcor-online.net> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Injection-Date: Wed, 23 Jun 2010 12:52:52 +0000 (UTC) Injection-Info: mx03.eternal-september.org; posting-host="Dn22F68J9CHYFQQlT81DGA"; logging-data="25507"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18PcTDMM71GfV0dVFEu3+eV" User-Agent: Thunderbird 2.0.0.24 (Windows/20100228) In-Reply-To: <4c21fd04$0$6769$9b4e6d93@newsspool3.arcor-online.net> Cancel-Lock: sha1:siSAQk5OxUG0A9SKXoeznVayFO4= Xref: g2news2.google.com comp.lang.ada:12857 Date: 2010-06-23T14:52:44+02:00 List-Id: Georg Bauhaus a �crit : > Is the required name somehow related to why the Ada.Container generics > do not re-export the formal types? > Not sure what you meant by this, but outside the instantiation, you are supposed to know how it was instantiated, therefore you have access to the actuals. Why would you need to reexport the formals? -- --------------------------------------------------------- J-P. Rosen (rosen@adalog.fr) Visit Adalog's web site at http://www.adalog.fr