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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,1e3f2eac5c026e3 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-12-28 03:38:04 PST Path: archiver1.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!dialin-145-254-038-053.arcor-ip.NET!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Other Ada Standards (was Re: SIGada Conference) Date: Sun, 28 Dec 2003 12:44:24 +0100 Organization: At home Message-ID: References: <468D78E4EE5C6A4093A4C00F29DF513D04B82B08@VS2.hdi.tvcabo> <3FE991DD.5060301@noplace.com> <3FEA5C82.8050309@noplace.com> <3FEB047A.1040100@noplace.com> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: dialin-145-254-038-053.arcor-ip.net (145.254.38.53) Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7Bit X-Trace: news.uni-berlin.de 1072611483 13909074 145.254.38.53 ([77047]) User-Agent: KNode/0.7.2 Xref: archiver1.google.com comp.lang.ada:3879 Date: 2003-12-28T12:44:24+01:00 List-Id: Russ wrote: > "Dmitry A. Kazakov" wrote in message > news:... >> Georg Bauhaus wrote: >> >> > For the "with and use" case, what is your interpretation of >> > "with and use A.B;" >> > Is it "with A.B; use A.B;" or is it "with A; use A.B;"? >> > Which interpretation is to be chosen? >> >> Just allow "with" everywhere "use" is allowed. Then "use A.B" could >> literally imply "with A.B". > > Correct me if I am wrong, but I don't think you meant exactly what you > wrote. I think you meant that "with" should never choke on an argument > that "use" would not choke on. Yep. > If I understand you correctly, I think that's an excellent proposal. > It would eliminate an annoying technicality that prevents > simplification of context declarations. Well, one can never know all the consequences of a proposal... With/use issue is rather a cosmetic one. It might be very important for language promoting, though for those who are using Ada on daily basis, it is uninteresting, yet. Another very important cosmetic thing, (Robert Eachus and me mentioned it before) could be an ability to bundle a set of with's and use's in one package with then could be with-ed / used-ed instead. And these cosmetic things are about - information hiding, - refactoring, - reuse of declarations. Isn't it more than just an issue of training a text editor? -- Regards, Dmitry A. Kazakov www.dmitry-kazakov.de