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:45db:: with SMTP id
 c88-v6mr1148715itd.41.1530651893182;
        Tue, 03 Jul 2018 14:04:53 -0700 (PDT)
X-Received: by 2002:aca:2b06:: with SMTP id i6-v6mr77423oik.0.1530651893012;
 Tue, 03 Jul 2018 14:04:53 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.uzoreto.com!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!u78-v6no1012339itb.0!news-out.google.com!z3-v6ni1146iti.0!nntp.google.com!d7-v6no1006148itj.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 3 Jul 2018 14:04:52 -0700 (PDT)
In-Reply-To: <phglmg$8bk$1@gioia.aioe.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2a02:c7d:3c35:b000:325a:3aff:fe0f:37a5;
 posting-account=L2-UcQkAAAAfd_BqbeNHs3XeM0jTXloS
NNTP-Posting-Host: 2a02:c7d:3c35:b000:325a:3aff:fe0f:37a5
References: <70c11a71-3832-4f57-8127-f3f1c48a052f@googlegroups.com>
 <ly1scotsqq.fsf@pushface.org>
 <62e38ee4-f72f-4ed8-bef1-952040fb7f8d@googlegroups.com>
 <lytvpks65b.fsf@pushface.org>
 <64d8b4a1-a92c-4b90-b95c-e821749de969@googlegroups.com>
 <lya7rc9iw0.fsf@pushface.org>
 <887212304.552080112.848502.laguest-archeia.com@nntp.aioe.org>
 <87muvan83x.fsf@adaheads.home> <ly4lhiafs8.fsf@pushface.org>
 <1449870001.552246132.581310.laguest-archeia.com@nntp.aioe.org>
 <lyzhz98lvh.fsf@pushface.org>
 <b0d7482d-3c02-4e0b-8720-58ee5b65af03@googlegroups.com>
 <phg0h7$10dd$1@gioia.aioe.org>
 <c980d621-6d5d-4a23-8005-733bb024285d@googlegroups.com>
 <phg5nk$1a46$1@gioia.aioe.org> <phg6cg$1ba2$1@gioia.aioe.org>
 <bd52280b-662a-49b3-891d-e39044e2bf32@googlegroups.com>
 <phg8lo$1fnq$1@gioia.aioe.org>
 <1ce9b9c8-b9cb-4ff4-b4c7-fe4827fea15b@googlegroups.com>
 <phglmg$8bk$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <1f634e80-a1e7-4fb1-8cdf-5db6a773f36d@googlegroups.com>
Subject: Re: Strange crash on custom iterator
From: Lucretia <laguest9000@googlemail.com>
Injection-Date: Tue, 03 Jul 2018 21:04:53 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader02.eternal-september.org comp.lang.ada:53551
Date: 2018-07-03T14:04:52-07:00
List-Id: <comp.lang.ada>

On Tuesday, 3 July 2018 21:18:28 UTC+1, Dmitry A. Kazakov  wrote:

> > Well, they kind of already did that by subtyping UTF_String from String=
, of which it's not a subtype, it's just they are both arrays of 8-bit enti=
ties.
>=20
> No. Both are arrays of code points and arrays of octets. The ranges of=20
> code points are different. The correspondence between code points and=20
> octets are different. Thus the subtyping is broken.

I know the difference between code points and octets and their arrays. I wa=
s saying that UTF_String is not a valid subtype of String because String is=
 Latin 1 and UTF_String is a superset of 7-bit ASCII, not 8-bit Latin 1.

> > Am i wrong, should I just implement what I need on top of the standard =
lib and just use the UTF* types in my code? What about unbounded_utf_string=
s? Just use the normal unbounded_string? It's not like it's going to be che=
cking for it to be correct utf8 is it, but I can't write an iterator for th=
at from outside the rts though.
>=20
> There is no way to do it right in Ada for now.

What do you mean exactly????