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-02 21:37:12 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!cyclone.bc.net!snoopy.risq.qc.ca!newsfeed.news2me.com!newsfeed2.earthlink.net!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!newsread2.prod.itd.earthlink.net.POSTED!not-for-mail Message-ID: <3DEC42E0.407B@earthlink.net> From: Vincent Marciante X-Mailer: Mozilla 3.0 (OS/2; I) MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: "private with" proposal References: <3dccc023$0$304$bed64819@news.gradwell.net> <3DD847CD.A3D78EE9@adaworks.com> <3DE5F0BB.E7D21384@brighton.ac.uk> <3DE66447.2D6@earthlink.net> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Tue, 03 Dec 2002 05:37:11 GMT NNTP-Posting-Host: 63.185.225.193 X-Complaints-To: abuse@earthlink.net X-Trace: newsread2.prod.itd.earthlink.net 1038893831 63.185.225.193 (Mon, 02 Dec 2002 21:37:11 PST) NNTP-Posting-Date: Mon, 02 Dec 2002 21:37:11 PST Organization: EarthLink Inc. -- http://www.EarthLink.net Xref: archiver1.google.com comp.lang.ada:31367 Date: 2002-12-03T05:37:11+00:00 List-Id: Stephen Leake wrote: > You are correct, the "extra syntax" of "private" in the context clause > is not strictly necessary; the compiler and reader could figure out > what's going on. > > But what is the downside of having the extra syntax? Discussing in the same AI as the one pertaining to visability _within_ hierarchies confuses to issue. It would be better for its (added syntax) added value to be justified as clearly distict from the current AI because that way it is clearly seen as being an issue that could have been raised even with Ada 83 which did not have unit hierarchies. If it _was_ something that was considered an rejected for Ada 83 then it would be good to discuss what ha changed now that increases it value to the point of acceptance now. I think other issues (my "favorite" being reemergence of private "=" in generics) are much more important to be solved than adding "documentation" syntax. > The syntax alone is a trivial addition to the compiler; > the semantics is more complex. > > The upside of the extra syntax is significant; the compiler can tell > if some later maintenance code breaks a design decision; the reader > can tell that package "foo" is implementation only, and not part of > the visible spec. I'm not convinced that an extra degree of allowed visibility designations is justified. i think that hierarchies can be arranged so that design decisions can not be broken unless a unit that would otherwise _not_ have been changed ends up being changed. With "with private" it would mearly be that a unit that was being changed during maintanence was changed inapropriately: How would the maintainer know that some unit that was "with privated" (Oo! I think I just coined a really good one) was "with privated" and not simply "withed" due to a design architecture decision and not simply because the original author of the unit realized that it was only used in the private part. Would one then have rules like "Don't 'with private' unless its a real design architecure decision" :^ > So i'd prefer to keep the "with private". > > In addition, there are some cases with generics where it really is > necessary, to keep the generic contract. I posted a note about that > here a while back (and to the ARG, as well). I'll try to find that note... Okay, just (re)read it. Although I'm not yet sure about the need for the extra syntax within the generic part, I seems to me that even in this case, it would still _not_ be necessary in the context clause. I'll think about your example an post again if I come to any realizations regarding within the generic part. -- Vinny