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

["Jeffrey R. Carter" <spam.not.jrcarter@acm.not.spam.org>]

cl1 wrote:
> --avcall-register_type.adb:13:34: not subtype conformant with
> declaration at avcall.ads:37
> --avcall-register_type.adb:13:34: formal subprograms not allowed
> 		Info.Av_Param := Av_Param_Instance'Access;
> <end of code post>

You seem to have cut things down a bit too much. avcall.ads has no line 
37. If you're going to cut things down this much, please post messages 
that result from compiling the cut-down code.

You shouldn't use System.Address to interface to C. Use a convention-C 
access type instead.

> I don't understand why i can't pass Av_Param to the generic package (in
> test_call_avcall_register_type.adb) and have its 'Access attribute used
> in Concat (the offending code in avcall-register_type.adb)?

You don't say what version of GNAT you're using. However, I suspect what 
you're running into is an accessibility control problem. You can't store 
the generic formal procedure's 'access because the compiler can't be 
sure that the life of the access value is no longer than the life of the 
actual procedure.

-- 
Jeff Carter
"Sir Lancelot saves Sir Gallahad from almost certain temptation."
Monty Python & the Holy Grail
69