Re: Package's private parts and protected types

["Hibou57 (Yannick Duchêne)" <yannick_duchene@yahoo.fr>]

On 10 fév, 17:09, Robert A Duff <bobd...@shell01.TheWorld.com> wrote:
> > Remainder of [ARM 6.5(5.2/2)]
> > The type of the subtype_indication shall be the result type of the
> > function.
>
> Ah, I see the problem.  This is a mistake in the RM, and there's
> an AI that fixes it.  The real rule is that (in my example) T2
> must be covered by T'Class, which it is.
>
> Recent versions of GNAT correctly implement this new rule,
> but I don't know what version you're using.
Ok, I was thinking your way of writing thing was not so silly, but as
there was the ARM...

My GNAT is GPL 2009 (20090519). I had a look to see if there is an
update, but I did not find one (on AdaCore website, its still saying
GPL 2009).

Do you have a reference for this Ada Issue ? Which number ?

About the crash while compiling, I've found a workaround which "solve"
it in an acceptable manner, I will open a thread later or tomorrow to
tell about it.

At the time, I'm facing another trouble, which seems as much strange.
Not a crash, but I wonder if either GNAT is wrong of if I did not
understood the RM about 9.7.2(3.2/2) and controlling parameters (