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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,2e4612f5662e062e
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-09-23 14:00:18 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news.tele.dk!small.news.tele.dk!194.25.134.62!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!dns.phoenix-ag.de!news.uni-stuttgart.de!news.fh-hannover.de!news.cid.net!news.enyo.de!news1.enyo.de!not-for-mail
From: Florian Weimer <fw@deneb.enyo.de>
Newsgroups: comp.lang.ada
Subject: Re: Possible Bug, Need Second Opinion
Date: Sun, 23 Sep 2001 23:18:06 +0200
Organization: Enyo's not your organization
Message-ID: <87lmj5fvxt.fsf@deneb.enyo.de>
References: <mailman.1001275761.28439.comp.lang.ada@ada.eu.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Xref: archiver1.google.com comp.lang.ada:13273
Date: 2001-09-23T23:18:06+02:00
List-Id: <comp.lang.ada>

ANH_VO@udlp.com writes:

> However, when compiled using GNAT 3.13p on Windows 95, the compiler
> complains with an error message of 'index_rejection.ads:14:32: index
> types of actual do not match those of formal "Element_Array"'.

Further experiments suggest that GNAT performs the name resolution for
generic actual parameters in the context of the generic, and not in
instantiating context.  (Sorry, the terminology is probably
non-standard.)

I don't know if this is a property of the Ada language, but I would be
surprised if it was.