Re: making a son benefit access ton an instanciation of a generic package required as a formal parameter to his father and instanciated by him

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

> But you can use an exception from a generic instance 
still. 
I thought so too ! Maybe I should, but I can't:
the exception handler "when P1.Zero_Denominateur => sth;"
raises:
P2_G.Child.adb:66:25: exception "Zero_Denominator" is declared in generic formal package
P2_G.Child.adb:66:25: and therefore cannot appear in handler (RM 11.2(8))

BUT: the said exception is NOT defined here, but in P1_G ->
generic
   with package P1 is new P1_G(<>); -- IN THERE
package P2_G is

>The rule is too keep it as simple as possible. If there is any way to ditch generics, do it. Use interfaces and tagged types, mix-ins, class-wide access discriminants etc to achieve polymorphism.

Eurg... From the little bit I read (and could understand), you're not very popular about this here... I'll rather follow the majority, besides, I do like the idea of generics. And one can ALWAYS find loopholes and flex a language beyond sense. Do you expect lawyers to be gods ?