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!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!gegeweb.org!news.ecp.fr!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Unicode string comparision functions
Date: Thu, 12 Nov 2015 15:35:37 -0600
Organization: JSA Research & Innovation
Message-ID: <n230na$ir3$1@loke.gir.dk>
References: <00aab01c-7d18-408a-9a4c-feb80ac9a1e1@googlegroups.com>
 <n22qac$6np$1@loke.gir.dk>
 <fdb68ece-f102-481c-af22-6999d29be7a1@googlegroups.com>
NNTP-Posting-Host: rrsoftware.com
X-Trace: loke.gir.dk 1447364139 19299 24.196.82.226 (12 Nov 2015 21:35:39 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 12 Nov 2015 21:35:39 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Xref: news.eternal-september.org comp.lang.ada:28344
Date: 2015-11-12T15:35:37-06:00
List-Id: <comp.lang.ada>

"Shark8" <onewingedshark@gmail.com> wrote in message 
news:fdb68ece-f102-481c-af22-6999d29be7a1@googlegroups.com...
...
> I thought I read something in the rationale that implied the
> full case folding was to be used, at least with respect identifiers
> in Ada's own source-code... and so mistakenly thought the
> Equal_Case_Insensitive would do so (after all, if the compiler itself
> requires that functionality there's little reason not to provide access to 
> it).

That was once the case, until it was discovered that doing that was 
incompatible and inconsistent with Ada 95 code. In particular, full case 
folding could consider two identifiers the same that Ada 95 considered 
distinct (your example would be exactly one such case). And that could 
silently change the meaning of a program (a different object could be used 
if the "right" nested declarations were used). That was too nasty to 
contemplate, so we changed to simple case folding (at that point, no one had 
implemented the rules correctly, so we figured that we could just change 
them).

There's also a bizarre rule for enumeration types so that the 'Image values 
are distinct, else 'Value couldn't work as expected. I've never tried to 
work out an example (probably Turkish would show it with the dotless I).

                                       Randy.