Re: generic package with procedure paramter gives "not subtype conformant with declaration"

["cl1" <charles.w.lambert@gmail.com>]

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