Re: Generic instantiation before actual subprogram body

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

"Robert A Duff" <bobduff@shell01.TheWorld.com> wrote in message 
news:wccegsfwh2j.fsf@shell01.TheWorld.com...
> Natasha Kerensikova <lithiumcat@instinctive.eu> writes:
...
> If you avoid anonymous access types, you won't get dynamic accessibility
> checks.  You might get compile-time errors when doing 'Access, but
> that's just an annoyance -- it won't cause bugs.  So yes, I think
> you're being "superstitious".  ;-)

That's not quite true, in that (some?) accessibility checks in generic 
bodies are (formally) dynamic checks. GNAT can (and most likely does, I 
didn't try it) warn on such errors (since it expands bodies), but they're 
still runtime errors (the program can be executed and it would raise 
Program_Error). You don't need any anonymous access types to trigger those 
checks.

The check in question is 3.10.2(29), and the AARM note 3.10.2(29.a/2) 
mentions instance bodies specifically.

Since the OP's question is related to generics, this is potentially 
significant (although I think in practice it won't matter).

                                                  Randy.