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
X-Received: by 2002:a24:7303:: with SMTP id
 y3-v6mr7401220itb.14.1530644099136;
        Tue, 03 Jul 2018 11:54:59 -0700 (PDT)
X-Received: by 2002:aca:eb15:: with SMTP id
 j21-v6mr3388996oih.6.1530644098996;
 Tue, 03 Jul 2018 11:54:58 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!feeder4.usenet.farm!feed.usenet.farm!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!u78-v6no910403itb.0!news-out.google.com!l67-v6ni834itl.0!nntp.google.com!u78-v6no910400itb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 3 Jul 2018 11:54:58 -0700 (PDT)
In-Reply-To: <phg8lo$1fnq$1@gioia.aioe.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=47.185.195.62;
 posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo
NNTP-Posting-Host: 47.185.195.62
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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b276a448-b111-46b2-af00-e98b85d2fa8c@googlegroups.com>
Subject: Re: Strange crash on custom iterator
From: "Dan'l Miller" <optikos@verizon.net>
Injection-Date: Tue, 03 Jul 2018 18:54:59 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader02.eternal-september.org comp.lang.ada:53547
Date: 2018-07-03T11:54:58-07:00
List-Id: <comp.lang.ada>

On Tuesday, July 3, 2018 at 11:36:12 AM UTC-5, Dmitry A. Kazakov wrote:
> On 2018-07-03 18:07, Lucretia wrote:
> > On Tuesday, 3 July 2018 16:57:07 UTC+1, Dmitry A. Kazakov  wrote:
> >> On 2018-07-03 17:45, J-P. Rosen wrote:
> >=20
> >>>> 2) Ada needs a decent Unicode library not this half-arsed crap we
> >>>> have now.
> >>> This package is about encoding only. What would you expect from a
> >>> Unicode library?
> >>
> >> Proper typing, for a start?
> >>
> >> P.S. It is clear that no decent library may exist without fixing Ada
> >> type system.
> >=20
> > In what way is it broken?
>=20
> It is not broken, it misses key features like interface inheritance.=20

Wait, what?  No extension of interfaces in Ada, eh?

https://www.adacore.com/gems/gem-48
type Animal is interface;
type Animal_Extension_1 is interface and Animal;

Or are we now claiming that Ada's =E2=80=A2extension=E2=80=A2 is not =E2=80=
=A2inheritance=E2=80=A2?  (But ironically that Ada83's subtyping is inherit=
ance, as per a prior recent thread's debate.)