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!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Strange crash on custom iterator
Date: Tue, 3 Jul 2018 17:57:03 +0200
Organization: Aioe.org NNTP Server
Message-ID: <phg6cg$1ba2$1@gioia.aioe.org>
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>
NNTP-Posting-Host: 3CrKQyqWAJZHy6zYVP/kUg.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101
 Thunderbird/52.8.0
X-Notice: Filtered by postfilter v. 0.8.3
Content-Language: en-US
Xref: reader02.eternal-september.org comp.lang.ada:53538
Date: 2018-07-03T17:57:03+02:00
List-Id: <comp.lang.ada>

On 2018-07-03 17:45, J-P. Rosen wrote:
> Le 03/07/2018 à 17:06, Lucretia a écrit :
>> 1) It's a subtype of String, which is incorrect as UTF-8 is not a
>> superset of Latin 1, this should never have been allowed.
> In the first version of the AI, it was a different type. This has been
> discussed, and found much more user-friendly to have it as a subtype of
> String. Please read the discussions.

It must be both a different type with a distinct representation and 
constraints and a subtype (in non-Ada sense, the way Integer is a 
subtype of Universal_Integer).

>> 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.

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