Re: Strings with discriminated records

["Randy Brukardt" <randy@rrsoftware.com>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:pejmlh$1ic1$1@gioia.aioe.org...
...
> The case is represented by this:
>
>    use Ada.IO_Exceptions;
>    use Streams.Stream_IO;
>
>    begin
>       ...
>    exception
>       when End_Error => -- Illegal
>          null;
>    end;
>
> which is obviously wrong, the code must be OK.
>
> But if anybody would care write an AI to fix that, it will be surely 
> rejected by ARG, on the ground of being "nice to have". I have more 
> important things to do, so count me out.

It's been discussed over dinner a few times, but everyone has more important 
things to do than write an AI for it. So nothing ever happens. (Of course, 
the real problem above is "package use clauses", don't use (ahem) them and 
you can't possibly have this problem.)

In any case, it is too late for Ada 2020; the deadline for new ideas (from 
anyone, including me) has passed.

                                                         Randy.