From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,d927b7ea9b65580a X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-12-03 04:22:08 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!news-FFM2.ecrc.net!news.iks-jena.de!not-for-mail From: Lutz Donnerhacke Newsgroups: comp.lang.ada Subject: Re: Style: always declare subrountines? Date: Tue, 3 Dec 2002 12:22:07 +0000 (UTC) Organization: IKS GmbH Jena Message-ID: References: <3dccc023$0$304$bed64819@news.gradwell.net> <3DD847CD.A3D78EE9@adaworks.com> <3DE5F0BB.E7D21384@brighton.ac.uk> <3DEC923B.7D210577@brighton.ac.uk> NNTP-Posting-Host: taranis.iks-jena.de X-Trace: branwen.iks-jena.de 1038918127 28138 217.17.192.37 (3 Dec 2002 12:22:07 GMT) X-Complaints-To: usenet@iks-jena.de NNTP-Posting-Date: Tue, 3 Dec 2002 12:22:07 +0000 (UTC) User-Agent: slrn/0.9.7.4 (Linux) Xref: archiver1.google.com comp.lang.ada:31375 Date: 2002-12-03T12:22:07+00:00 List-Id: * 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.)