RE: Ada 0y wish list: "with private"

[Christoph Grein <christoph.grein@eurocopter.de>]

   package A is

      type B is private;

   private

   end A;

   package body A is

      type B is ...;

   end A;

There are severe code generation problem with this proposal. When the spec of A 
is compiled, the compiler has to know how big objects of type B are. So the full 
declaration has to go into the spec.

   package A is

      type B is private;

   private

      type X;
      type B is access X;

   end A;

   package body A is

      type X is ...;

   end A;

With this solution, it's definitely clear how big B is, irrespective of the size 
of X;