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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a24:a089:: with SMTP id
 o131-v6mr1114284ite.10.1523418770272;
        Tue, 10 Apr 2018 20:52:50 -0700 (PDT)
X-Received: by 2002:a9d:4710:: with SMTP id a16-v6mr195702otf.4.1523418770133;
 Tue, 10 Apr 2018 20:52:50 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!paganini.bofh.team!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!k65-v6no162295ita.0!news-out.google.com!u64-v6ni337itb.0!nntp.google.com!e130-v6no160080itb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 10 Apr 2018 20:52:49 -0700 (PDT)
In-Reply-To: <pajvut$16bj$1@gioia.aioe.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2400:412e:97aa:f100:213f:d89b:88fa:f6ae;
 posting-account=Mi71UQoAAACnFhXo1NVxPlurinchtkIj
NNTP-Posting-Host: 2400:412e:97aa:f100:213f:d89b:88fa:f6ae
References: <7d5b8717-1e70-4153-af13-dfab24679ed9@googlegroups.com>
 <pajvut$16bj$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e4925425-6cfa-4acd-975f-1df1b320a30c@googlegroups.com>
Subject: Re: The extension of Is_Basic to unicode (about AI12-0260-1)
From: ytomino <aghia05@gmail.com>
Injection-Date: Wed, 11 Apr 2018 03:52:50 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader02.eternal-september.org comp.lang.ada:51438
Date: 2018-04-10T20:52:49-07:00
List-Id: <comp.lang.ada>

On Wednesday, April 11, 2018 at 12:38:07 PM UTC+9, J-P. Rosen wrote:
> Le 11/04/2018 =C3=A0 02:52, ytomino a =C3=A9crit=C2=A0:
> > AI12-0260-1/04 Functions Is_Basic and To_Basic in Wide_Characters.Handl=
ing
> > I found inconsistency between existing Characters.Handling.Is_Basic and=
 new Wide_Characters.Handling.Is_Basic.
> >=20
> > Characters.Handling.Is_Basic in RM:
> >=20
> >    True if Item is a basic letter. A basic letter is a character that i=
s in one of the ranges 'A'..'Z' and 'a'..'z', or that is one of the followi=
ng: '=C3=86', '=C3=A6', '=C3=90', '=C3=B0', '=C3=9E', '=C3=BE', or '=C3=9F'=
.
> >=20
> > Characters.H.Is_Basic includes only alphabet, not include other symbols=
.
> > Is_Basic ('+') =3D False.
> >=20
> > Wide_Characters.Handling.Is_Basic in AI:
> >=20
> >   Returns True if the Wide_Character designated by Item has no Decompos=
ition Mapping in the code charts of ISO/IEC 10646:2017; otherwise returns F=
alse.=20
> >  =20
> > Wide_Characters.H.Is_Basic includes all un-decomposable characters, cal=
led as "base character" in Unicode world. It include the symbols.
> > Is_Basic ('+') =3D True.
> >=20
> > Perhaps, Is_Basic must be defined as the intersection of the set of bas=
e characters *and the set of letters* (categorized as 'Ll', 'Lu', 'Lt', 'Lm=
', 'Lo'... in Unicode Character Database).
>=20
>=20
> Right, but the old definition was wrong and the new one is right. In
> general, Ada prefers to use existing standards rather than inventing its
> own special definitions. If you need to make sure that something is a
> letter, there is the Is_Letter function.
>=20
> --=20
> J-P. Rosen
> Adalog
> 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
> Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
> http://www.adalog.fr

> Right, but the old definition was wrong and the new one is right.

I agree with you on the point of the old definition is wrong.
However, should new function name be used for new definition?