From: "Alejandro R. Mosteo" <alejandro@mosteo.com>
Subject: Re: Type naming conventions: Any_Foo
Date: Wed, 4 Dec 2019 17:42:56 +0100
Date: 2019-12-04T17:42:56+01:00 [thread overview]
Message-ID: <qs8nmg$mm9$1@dont-email.me> (raw)
In-Reply-To: <f0d2cb32-33fd-4420-bf93-62bf0c005ba0@googlegroups.com>
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;
next prev parent reply other threads:[~2019-12-04 16:42 UTC|newest]
Thread overview: 42+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-12-04 13:56 Type naming conventions: Any_Foo Alejandro R. Mosteo
2019-12-04 14:52 ` Lucretia
2019-12-04 16:42 ` Alejandro R. Mosteo [this message]
2019-12-05 10:51 ` AdaMagica
2019-12-05 17:27 ` Jeffrey R. Carter
2019-12-05 17:45 ` Dmitry A. Kazakov
2019-12-05 20:03 ` Jeffrey R. Carter
2019-12-05 21:51 ` Dmitry A. Kazakov
2019-12-05 23:12 ` Randy Brukardt
2019-12-06 20:20 ` Jeffrey R. Carter
2019-12-07 1:19 ` Randy Brukardt
2019-12-06 20:18 ` Jeffrey R. Carter
2019-12-06 20:35 ` Dmitry A. Kazakov
2019-12-07 0:57 ` Randy Brukardt
2019-12-07 10:28 ` Jeffrey R. Carter
2019-12-07 12:36 ` Niklas Holsti
2019-12-08 12:04 ` Jeffrey R. Carter
2019-12-07 10:13 ` Jeffrey R. Carter
2019-12-07 11:21 ` Dmitry A. Kazakov
2019-12-08 11:55 ` Jeffrey R. Carter
2019-12-08 12:38 ` Dmitry A. Kazakov
2019-12-08 14:31 ` Shark8
2019-12-08 21:58 ` Jeffrey R. Carter
2019-12-09 22:47 ` Shark8
2019-12-07 23:24 ` Jere
2019-12-08 12:14 ` Jeffrey R. Carter
2019-12-09 22:07 ` Randy Brukardt
2019-12-05 19:49 ` Niklas Holsti
2019-12-05 20:47 ` Jeffrey R. Carter
2019-12-05 21:33 ` Niklas Holsti
2019-12-06 11:44 ` Lucretia
2019-12-06 20:23 ` Jeffrey R. Carter
2019-12-06 20:11 ` Jeffrey R. Carter
2019-12-06 20:46 ` Dmitry A. Kazakov
2019-12-06 21:55 ` Niklas Holsti
2019-12-07 10:19 ` Jeffrey R. Carter
2019-12-07 12:05 ` Niklas Holsti
2019-12-08 11:59 ` Jeffrey R. Carter
2019-12-06 8:57 ` AdaMagica
2019-12-06 9:55 ` J-P. Rosen
2019-12-06 15:30 ` Optikos
2019-12-07 3:34 ` Shark8
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox