Re: Elaboration of nested generic package.

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

"Matthew Heaney" <mheaney@on2.com> wrote in message
news:1ec946d1.0307141035.3f1e4b80@posting.google.com...
> Is this normal behavior?  This is the reason I was asking whether the
> categorization pragmas do anything if they're declared in a generic
> package.
>
> Is it necessary to use a categorization pragma on library-level
> package instantiations?

GNAT is correct. The corrigendum says in 10.1.5(7.1/1):

A library unit pragma that applies to a generic unit does not apply to its
instances, unless a specific rule for the pragma specifies the contrary.

That means that a categorization pragma does not apply to instances of the
generic, only to the generic itself. (You need to be able to say that a
generic is Pure so it can be withed and instantiated in a Pure package; but
that doesn't necessaryly make it Pure - that depends on the formals).

The pragma on the instance is not "confirming"; it gives the categorization.

See AI-00041 for a full discussion.

                          Randy.