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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Good/best way to enforce library-level instantiation a generic
 package
Date: Wed, 18 Mar 2020 10:23:08 +0100
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <r4sp9u$m59$1@dont-email.me>
References: <6bcc6133-8c8b-4252-a8e6-fd64a5eec2ca@googlegroups.com>
 <r4p8md$otc$1@franka.jacob-sparre.dk> <r4qbs8$192$1@dont-email.me>
 <r4rs1l$9bu$1@franka.jacob-sparre.dk>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 18 Mar 2020 09:23:10 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="c47f1b37efacb7fbc642b577ee57786f";
	logging-data="22697"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19U0plp3N3qComWkt0Ekpss4m5aQvtMCSU="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.4.1
Cancel-Lock: sha1:B7Fy7nBg6B41h7mNiRaq31bqCY0=
In-Reply-To: <r4rs1l$9bu$1@franka.jacob-sparre.dk>
Content-Language: en-US
Xref: reader01.eternal-september.org comp.lang.ada:58215
Date: 2020-03-18T10:23:08+01:00
List-Id: <comp.lang.ada>

On 3/18/20 2:03 AM, Randy Brukardt wrote:
> "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org> wrote in message
> news:r4qbs8$192$1@dont-email.me...
>>
>> type T is abstract tagged null record;
>> Name : constant String := Ada.Tags.Expanded_Name (T);
>> pragma Assert
>>     (Ada.Strings.Fixed.Index (Name (Name'First .. Name'Last - 2), ".") = 0,
>>      "Generic_Name must be instantiated at library level");
> 
> That would reject an instance in a library-level child package, which
> probably isn't what the OP wants.

An instance IN a child pkg is not a library-level instance, so the OP would want 
to reject it. But an instance AS a library-level child pkg would be rejected, so 
this doesn't work.

AFAICT, a child pkg can only be a library-level pkg, so "library-level child 
pkg" seems like overqualification.

-- 
Jeff Carter
"My mind is aglow with whirling, transient nodes of
thought, careening through a cosmic vapor of invention."
Blazing Saddles
85