"Ted Dennison" a �crit dans le message news: 95p2ab$463$1@nnrp1.deja.com... > Also, any instantiations of this generic will have to be done at the > library level, since Limited_Controlled is declared at the library > level, and types can't be declared at a lower level of scope than their > parent types. (As a user, I hate that rule.) > I have sympathy for this feeling, and I see many people falling into that trap, but to be fair: Do you know ANY language that allows it ? Most OO languages (C++, Java, Eiffel, even Turbo-Pascal) do not allow declaring classes within a subprogram. In Ada, all classes must be declared at the same level. In other languages, all classes must be declared at level 0. So Ada is actually *more* permissive than other languages... -- --------------------------------------------------------- J-P. Rosen (Rosen.Adalog@wanadoo.fr) Visit Adalog's web site at http://pro.wanadoo.fr/adalog