Re: Style: always declare subrountines?

[Lutz Donnerhacke <lutz@iks-jena.de>]

* John English wrote:
> accessed from the body of a public package. What would be nice to
> be able to do sometimes is:
>
>   with P.Implementation;
>   package P.Public is
>     type T is private;
>     ...
>   private
>     type T is
>       record
>         X : P.Implementation.Stuff;
>       end record;
>   end P.Public;
>
> Unfortunately P.Implementation can't be a private package here.

How should the P.Public user know how an element of type T has to be
allocated? If you only change P.Implementation, the body of P.Public has to
be recompiled, but not the parts depending on P.Public only.