"alex" <xela@netcourrier.com> a �crit dans le message news:
20021119-223832-295143@foorum.com...

> The compiler is expecting a function returning a A_T'Class, ok I
understand.
> But, B_T is in the A_T'Class!
>
Repeat after me:
For any tagged type T, T'Class is a type different from T.

Not just some magic formula saying "well you can put anybody from the family
in here". It is a type in the Ada sense.
Therefore, in your example, the profiles don't match.

--
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr