package child question

[sb463ba@d250-hrz.uni-duisburg.de (Georg Bauhaus)]

Hello,
I wonder if someone could help me pointing out to me what I've done
wrong in the following two library hierarchies; the first has
a parent and a child, not withing anything, while the second
hierarchy's child body withes the child of the first, like this:

package A is
end A;

package A.B is
end A.B;


package B is
end B;

package B.A is
   pragma Elaborate_Body;
end B.A;

with A.B;
package body B.A is

begin
   declare
      use A.B;  -- compiler says: "B" not declared in "A"
   begin
      null;
   end;
end B.A;

This only happens if the use clause is in A.B body statements,
there is no error message when it is in the context clause of A.B.
Is there a way out of this, other than choosing different names
(which works)?


  Georg Bauhaus