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!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.109.56.52.37.mobile.3.dk!not-for-mail
From: Jacob Sparre Andersen <jacob@jacob-sparre.dk>
Newsgroups: comp.lang.ada
Subject: Re: Strange crash on custom iterator
Date: Wed, 04 Jul 2018 23:00:47 +0200
Organization: JSA Research & Innovation
Message-ID: <87a7r6n2bk.fsf@adaheads.home>
References: <70c11a71-3832-4f57-8127-f3f1c48a052f@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> <phht7f$1vj2$1@gioia.aioe.org>
	<phhuei$1v6$1@gioia.aioe.org> <phi5hp$fbv$1@gioia.aioe.org>
	<phi5t5$g0q$1@gioia.aioe.org> <phib5i$pt9$1@gioia.aioe.org>
	<87efginb3c.fsf@adaheads.home>
	<eade8b90-f4d8-4113-a9d3-7fd0a16d79ad@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: franka.jacob-sparre.dk;
 posting-host="109.56.52.37.mobile.3.dk:109.56.52.37";
	logging-data="28247"; mail-complaints-to="news@jacob-sparre.dk"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
Cancel-Lock: sha1:fypXPi9onKHlJfhRu4G4Xri7P10=
Xref: reader02.eternal-september.org comp.lang.ada:53621
Date: 2018-07-04T23:00:47+02:00
List-Id: <comp.lang.ada>

Shark8 <onewingedshark@gmail.com> writes:

> This is the way we /should/ have strings; where [[Wide_]Wide_]String
> are all generic with things like 'character-set' and 'search' and
> 'encoding' as formal parameters.

If you made them generic, they would be different types.  That breaks
with one of the wishes Dmitry listed.

Greetings,

Jacob
-- 
"Magnetohydrodynamics combines the intuitive nature of Maxwell's
 equations with the easy solvability of the Navier-Stokes equations."