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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,a84eaf8fb2470909
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!newsfeed.freenet.de!newsfeed01.chello.at!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Ada generics
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <1166710494.869393.108730@a3g2000cwd.googlegroups.com>
 <17fe4xfogg7p5.1dcyc5nyc2gsl.dlg@40tude.net>
 <1166805696.291429.239590@48g2000cwx.googlegroups.com>
 <wvsqamnzgasf.gfemd82fzfpz$.dlg@40tude.net> <DFQjh.1222$oo4.1118@trndny09>
 <186qujlcx6rwl.1h6eq4mbdaa5s$.dlg@40tude.net> <q__jh.5046$6Z5.3245@trndny01>
 <awny47urt66k$.1vuw1blk1ccth$.dlg@40tude.net>
 <1167150212.165097.289010@73g2000cwn.googlegroups.com>
 <1qmdvus6du3xu.1n21tzgev46ia$.dlg@40tude.net> <oekkh.5076$6f4.450@trndny08>
 <lbkjzskf2pv3$.b28bwviakyyb$.dlg@40tude.net>
 <1167246396.057028.325080@48g2000cwx.googlegroups.com>
 <15jxp8z1iu5fk.1oeihvavjghgg$.dlg@40tude.net>
 <986dnZ745O_nwQnYnZ2dnUVZ_ua3nZ2d@megapath.net>
Date: Fri, 29 Dec 2006 12:11:53 +0100
Message-ID: <136rh3gzy2wpd.agw4naavc1ge$.dlg@40tude.net>
NNTP-Posting-Date: 29 Dec 2006 12:11:43 CET
NNTP-Posting-Host: b3074945.newsspool3.arcor-online.net
X-Trace: 
 DXC=JZ7AdZDSQRaf1oJaJ0@dmgMcF=Q^Z^V3h4Fo<]lROoRagUcjd<3m<;bDS4;jG_BEXj[6LHn;2LCVn[<mhadbfdUk<;HblAF7h7ddkI?lZRT_Ym
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:8035
Date: 2006-12-29T12:11:43+01:00
List-Id: <comp.lang.ada>

On Thu, 28 Dec 2006 18:09:20 -0600, Randy Brukardt wrote:

>> They reap what they sowed. Should Ada or C++ go into that mess?
> 
> Well, that's irrelevant because they have. Ada 2005 says that the semantics
> of a program not in Normalization form KC are implementation-defined.
> (2.1(4.1/2)). That was done because there was concern about programs that
> are represented differently being treated the same (we originally considered
> requiring converting into that form).
> 
> Similarly, upper case conversion is defined by various Unicode properties
> (such as Upper Case Mapping) (2.1(5/2)). It should be noted that such
> conversions aren't necessarily reversible, but that's irrelevant to
> identifier equivalence. Identifier equivalence is defined in 2.3(5-5.3/2).
> 
> This is more complicated than the English-only definition, but it was
> thought to be mandatory to get approval of a new standard. (This sort of
> internationalization is being required of all languages: C++ has a number of
> proposals on the table for handling this as well.) It's also a ramification
> of case insensitivity - the only alternative would be to completely abandon
> it, and that would be very bad for compatibility with Ada 95.

I don't see why letters of identifiers must be all Unicode letters. I
wouldn't allow anything but Latin. In any case it just cannot be
open-ended.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de