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-Thread: a07f3367d7,25d835bb9a4a003f
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Sat, 07 Nov 2009 15:33:55 +0100
From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.5; en-US;
 rv:1.9.1.4pre) Gecko/20090915 Thunderbird/3.0b4
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Types,
 packages & objects : the good old naming conventions question
 (without religious ware)
References: 
 <ae7fb66b-4eff-405f-b568-77a1047ec6cb@n35g2000yqm.googlegroups.com>
 <4ae9dade$0$6551$9b4e6d93@newsspool4.arcor-online.net>
 <u4oph6tn2.fsf@stephe-leake.org> <hcfcur$opp$1@news.tornevall.net>
 <uocnn69wa.fsf@stephe-leake.org>
 <4aef3911$0$7617$9b4e6d93@newsspool1.arcor-online.net>
 <uws25pzxl.fsf@stephe-leake.org>
 <4af2ba89$0$6566$9b4e6d93@newsspool4.arcor-online.net>
 <uws24nen7.fsf@stephe-leake.org>
 <4af42f5b$0$7624$9b4e6d93@newsspool1.arcor-online.net>
 <ueioaopdk.fsf@stephe-leake.org>
 <4af5841f$0$6583$9b4e6d93@newsspool3.arcor-online.net>
In-Reply-To: <4af5841f$0$6583$9b4e6d93@newsspool3.arcor-online.net>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <4af58554$0$6588$9b4e6d93@newsspool3.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 07 Nov 2009 15:33:56 CET
NNTP-Posting-Host: 053d3103.newsspool3.arcor-online.net
X-Trace: 
 DXC=N^DW6SbCPR8U`5g[@c]@J1McF=Q^Z^V384Fo<]lROoR18kF<OcfhCO;G^6ahB9fHK9PCY\c7>ejV8MSR?EIIlWj0kFaH_2kZE??
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:9027
Date: 2009-11-07T15:33:56+01:00
List-Id: <comp.lang.ada>

On 11/7/09 3:28 PM, Georg Bauhaus wrote:

>>>>>>> Cf. valid Eiffel:
>>>>>>>
>>>>>>> local
>>>>>>> string: STRING
>>>>>>> do
>>>>>>> ... -- more uses of string and STRING. Or StrINg.
>>>> Ah; Eiffel has separate type and object name
>>>> spaces. So I don't understand the original example; what was the
>>>> point?
>>>
>>> In a dozen or so lines of subprogram text, the sequence of
>>> characters "String" can refer to two different concepts, in Eiffel,
>>> when you have declared string : STRING, an object and a type.
>>
>> So the case is not important; why did you introduce it?
>
> The "String : String" part of the declaration means
> -object-named-String- : -type-named-String-
> in Eiffel. The very same word names both the
> object and the type. Characters case is important to the
> reader, however (you have mentioned GNAT's warnings).
> The writer may like to use case distinction to "disambiguate"
> the same sequence of letters. That's fine as long as you
                                   will be
> live in a single universe of formal names, like when you are
> working on the same set of Ada programs for months, and
                         Ada-with-two-namespace
> never need to look elsewhere.
    and [Ss][Tt][Rr][Ii][Nn][Gg]'s meaning is easily seen
from immediate context.