From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,b1264e586250f470
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-07-15 10:17:39 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!sn-xit-03!sn-xit-01!sn-post-01!supernews.com!corp.supernews.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Elaboration of nested generic package.
Date: Tue, 15 Jul 2003 12:19:12 -0500
Organization: Posted via Supernews, http://www.supernews.com
Message-ID: <vh8dpifpmicl78@corp.supernews.com>
References: <mailman.0.1057119854.328.comp.lang.ada@ada.eu.org>
 <5437fafb.0307071905.5d3bbc4e@posting.google.com>
 <1ec946d1.0307080946.7e61cda9@posting.google.com>
 <5437fafb.0307091710.5cb4b0eb@posting.google.com> <3F0CC2D1.10904@attbi.com>
 <1ec946d1.0307100612.20a3d000@posting.google.com>
 <wcc65m8pwq1.fsf@shell01.TheWorld.com>
 <1ec946d1.0307141035.3f1e4b80@posting.google.com>
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4807.1700
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4910.0300
X-Complaints-To: abuse@supernews.com
Xref: archiver1.google.com comp.lang.ada:40294
Date: 2003-07-15T12:19:12-05:00
List-Id: <comp.lang.ada>

"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.