Hi Teamers, I'm posting the following problem for a friend of mine: > I have the following problem, when trying to implement a function "and". > > package Some_Package is > type Private_Type is private; > function "And" (Left, Right: Private_Type) return Private_Type ; > private > type Private_Type is array (0 .. 1023) of Boolean; > end Some_Package; > > > -- I want to implement Some_Package."And" using the predefined logical > -- operation "And" for any one-dimensional array type whose components > -- are of a boolean type. > package body Some_Package is > function "And" (Left, Right: Private_Type) return Private_Type is > begin > return Left and Right; -- ERROR: AND is here Some_Package."AND", > -- endless recursive > end "and"; > end Some_Package; > > To fix the error in the implementation above, I need to qualify the > predefined > "And" operation: > > > package body Some_Package is > function "And" (Left, Right: Private_Type) return Private_Type is > begin > return Standard."And" (Left, Right); -- ERROR: not possible > end "and"; > end Some_Package; > > How is it possible to qualify the predefined logical operations to > distinguish between Some_Package."and" and the predefined "and"? > > Thanks in advance, > > > Juergen Hoyng, RIO 62 | email : [log in to unmask] > DASA/RI | fax : +49 421 539 4529 > Postfach 286156 | voice : +49 421 539 5348 > D-28361 Bremen | > Germany -- Alexander Heim ___ Phone: +49 421 539-5869 Daimler-Benz Aerospace AG ________|________ Fax: +49 421 539-4424 mailto:[log in to unmask] 0