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: "Alejandro R. Mosteo" <alejandro@mosteo.com>
Newsgroups: comp.lang.ada
Subject: Re: Type naming conventions: Any_Foo
Date: Wed, 4 Dec 2019 17:42:56 +0100
Organization: A noiseless patient Spider
Message-ID: <qs8nmg$mm9$1@dont-email.me>
References: <qs8du6$sg4$1@dont-email.me>
 <f0d2cb32-33fd-4420-bf93-62bf0c005ba0@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 4 Dec 2019 16:42:56 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="75bb087bbcb9b0471708f1333862198f";
	logging-data="23241"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/WTQuOTEgeQQ2VUiLRZ1Wn"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.2.1
Cancel-Lock: sha1:h7yC4+Rc7tZP+G05IbeEFYa/GfY=
In-Reply-To: <f0d2cb32-33fd-4420-bf93-62bf0c005ba0@googlegroups.com>
Content-Language: en-US
Xref: reader01.eternal-september.org comp.lang.ada:57653
Date: 2019-12-04T17:42:56+01:00
List-Id: <comp.lang.ada>

On 4/12/19 15:52, Lucretia wrote:
> On Wednesday, 4 December 2019 13:56:24 UTC, Alejandro R. Mosteo  wrote:
> 
>> This variant is
>>
>>      Any_Foo -- enclosing package also not used
>>
>> I've found only one example in the ARM in System.Any_Priority. I find I
>> like better Any_Foo than Foo_Type, not sure why. I've had since I can
>> remember an aversion for the _Type thing.
>>
>> Anyway, just curious. Any champions of the Any_Foo in the readership?
> 
> Not come across this, is this for when "use" is used? What's the name of the package, Foos? Foo?

I was ambiguous, sorry. In this case I think the enclosing package is 
secondary. I guess the advantages are the same as in _Type, that you can 
write Foo : Any_Foo;