Re: troubles learning OOP: expected type "Parent.Some_Child", found type Parent'Class

[Mehdi Saada <00120260a@gmail.com>]

I understand, but I can't change the structure that much. I would have to rewrite x packages. Better stick with my solution... It seems sound.
For the aliased thing, I forgot and did that:
EMPILER (PILE, new T_Token_Operateur'(To_Token (TAMPON_PRIORITE.L_Operateur)));
Access to constant means access to a value that is constant, not only to things declared on the stack like A: constant INTEGER := 5. I can still use the heap. I nearly forgot that. Though it's less consistent that I would have liked.

At last it COMPILES without fault.
One last warning:
PILE_PRIORITE : P_PILE_2.T_Pile(50); is initiliazed, and the component that is refered to before calling on "PUSH", HEIGTH has a default value:

T_ELEME is private;
type T_Pile (Le_Max : T_Max) is limited private;
private
type T_Pile (Le_Max : T_Max) is record
    HEIGTH : T_Max := 0; -- en fait entre 0..LE_MAX
    V      : T_Vect (1..Le_Max);
end record;

Can't it see that HEIGTH will never be read uninitialized ?
for I in 1 .. Hauteur (PILE_PRIORITE) loop