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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,23ca868289d9f0c
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!b28g2000cwb.googlegroups.com!not-for-mail
From: "cl1" <charles.w.lambert@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: generic package with procedure paramter gives "not subtype
 conformant with declaration"
Date: 1 Oct 2006 14:32:01 -0700
Organization: http://groups.google.com
Message-ID: <1159738320.992327.75460@b28g2000cwb.googlegroups.com>
References: <1159651201.121690.130430@b28g2000cwb.googlegroups.com>
   <m2k63kh5bi.fsf@grendel.local>
   <1159731751.062918.160520@b28g2000cwb.googlegroups.com>
   <wcclknzokmp.fsf@shell01.TheWorld.com>
NNTP-Posting-Host: 66.160.210.89
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1159738324 15204 127.0.0.1 (1 Oct 2006 21:32:04
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sun, 1 Oct 2006 21:32:04 +0000 (UTC)
In-Reply-To: <wcclknzokmp.fsf@shell01.TheWorld.com>
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; PPC Mac OS X;
 en) AppleWebKit/418.9 (KHTML, like Gecko) Safari/419.3,gzip(gfe),gzip(gfe)
Complaints-To: groups-abuse@google.com
Injection-Info: b28g2000cwb.googlegroups.com; posting-host=66.160.210.89;
   posting-account=MCxsfw0AAABxs2rB6FOIOk-6XLUrvbBM
Xref: g2news2.google.com comp.lang.ada:6829
Date: 2006-10-01T14:32:01-07:00
List-Id: <comp.lang.ada>


Robert A Duff wrote:
> "cl1" <charles.w.lambert@gmail.com> writes:
>
> > Thank you very much.
> > It fixed the problem, but i do not understand why:
> > with procedure Av_Param_Instance(Av_List, Value : System.Address);
> > does not work. If anyone knows why, I would be greatfull for an
> > explination.
>
> And you wanted to do Av_Param_Instance'Access inside the generic?
>
> That won't work, because the compiler can't check the rules about
> X'Access, because it doesn't know enough about the actual parameter
> passed to Av_Param_Instance.  The accessibility rules come to mind.
> Also, the fact that you can't do X'Access if X is intrinsic.

Now that I know that is the rule, everything is clear once again. I had
made the assumption that it would work based on the definition in the
arm on how generic packages are elaborated. I love how Ada is so well
defined. Now if i could just memorize the ARM ... :-D


> 
> - Bob