Re: Strange crash on custom iterator

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 2018-07-05 20:08, Randy Brukardt wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
> news:phj5j9$bju$1@gioia.aioe.org...
>> On 2018-07-04 20:06, Shark8 wrote:
>>> On Wednesday, July 4, 2018 at 11:51:20 AM UTC-6, Jacob Sparre Andersen
>>> wrote:
>>>>
>>>> It would be nice if the encoding and character set of a string were
>>>> "implementation details".  I'm not sure how to do it, but I think it is
>>>> worth trying to find a solution for Ada.  (I think I was introduced to
>>>> how the KDE library does it once, but IIRC only encoding was abstracted
>>>> away.)
>>>
>>> Indeed so!
>>> 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.
>>>
>>> Sadly this will likely never happen because it would break backwards
>>> compatibility.
>>
>> It would break nothing. Old package will become renamings of new
>> instances. Well, except for dire deforestation should new RM be ever
>> printed...
> 
> That's not possible. As you like to say, String /= String'Class. The new
> libraries would almost all take String'Class (or whatever stand-in there
> is).

Possible, but as useless as existing implementation. I wished to say 
that there is no difference between overloading string types and 
overloading string types from generic instances. If Ada.Text_IO became 
renaming of Ada.Generic_Text_IO (...) the would change nothing.

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