Re: How to get around "access type must not be outside generic unit"

["Randy Brukardt" <randy@rrsoftware.com>]

"Brian May" <bam@snoopy.apana.org.au> wrote in message
news:sa47iwo94o8.fsf@margay.local...
> >>>>> "Jean-Pierre" == Jean-Pierre Rosen <rosen@adalog.fr> writes:
...
>     Jean-Pierre> Taking the 'access in the specification is illegal,
>     Jean-Pierre> and (as explained above), the instantiation would be
>     Jean-Pierre> illegal.
>
> I get lost here. Why is taking the 'access value in the specification
> illegal if the generic has been instantiated inside a procedure?

The accessibility check fails. That's the check that prevents dangling
pointers. JP is assuming that the Register routine and it's access type is
declared at the library level when he "says inside of a procedure".

Note that the rule is "assume-the-worst", and it is always possible to
instantiate at a more nested level than the Register routine is defined. So
the 'access is always illegal in a body. OTOH, in specifications the rule is
"assume-the-best and recheck on instantiation". So if you put the 'access in
the private part, it is OK (until you write a nested instance, but then that
instance is illegal).

                     Randy.