Re: Style: always declare subrountines?

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

* John English wrote:
> Lutz Donnerhacke wrote:
>> 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.
>
> I'm not sure I understand your point here. If P.Implementation is a
> public package, this is legal Ada 95. If it's a private package, it
> isn't.

I do not think about legalness, but about recompilation.

> And of course, if P.Implementation changes, P.Public has to be recompiled
> (because the size of P.Implementation.Stuff might have changed) and
> clients of P.Public will therefore have to be recompiled (because the
> size of P.Public.T might have changed). Or are you talking about
> something different to this?

My dumb brain suggests, that a privatly declared type can be used elsewhere
in the program. If the size of this type depends on an other package, the
using package does not notice it and allocates the wrong size. (Yep, dumb.)