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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.55.163.197 with SMTP id m188mr1696569qke.9.1509596345652; Wed, 01 Nov 2017 21:19:05 -0700 (PDT) X-Received: by 10.157.48.149 with SMTP id s21mr64624otc.2.1509596345572; Wed, 01 Nov 2017 21:19:05 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.fcku.it!peer02.fr7!futter-mich.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!k31no610821qta.1!news-out.google.com!r5ni717qtc.1!nntp.google.com!k31no610819qta.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 1 Nov 2017 21:19:05 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=2a02:1206:45c6:8b20:4560:ab60:c7ee:f42c; posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG NNTP-Posting-Host: 2a02:1206:45c6:8b20:4560:ab60:c7ee:f42c References: <6a5368c5-f015-4dcb-9291-e77b40fa1bf1@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: some trivial questions? From: gautier_niouzes@hotmail.com Injection-Date: Thu, 02 Nov 2017 04:19:05 +0000 Content-Type: text/plain; charset="UTF-8" X-Received-Body-CRC: 1698242707 X-Received-Bytes: 2055 Xref: news.eternal-september.org comp.lang.ada:48697 Date: 2017-11-01T21:19:05-07:00 List-Id: > i meant to say, why doesn't "use" imply "with" The "use" can be in any declarative place in the code. Sometimes it is practical to have it locally, for instance if you are using both Text_IO and Stream_IO but not at the same places. You can also "use" a package you just defined a few lines above, or a nested package. In this case there is no library-level package to "with". If "use" implied "with", there would be sometimes more ambiguities to sort out (on "use A, B", B could then mean a library-level package called B, or A.B (a child or a nested package of A). Ouch! That being said, I find a "with then use" clause would be useful. _________________________ Gautier's Ada programming http://sf.net/users/gdemont/