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,fce663eaf40b52f6 X-Google-Attributes: gid103376,public Path: controlnews3.google.com!news1.google.com!news.glorb.com!cyclone.bc.net!news.uunet.ca!nf3.bellglobal.com!nf1.bellglobal.com!nf2.bellglobal.com!news20.bellglobal.com.POSTED!not-for-mail From: "Warren W. Gay VE3WWG" User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 (ax) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Manifesto against Vector References: In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Date: Fri, 07 May 2004 12:25:46 -0400 NNTP-Posting-Host: 198.96.223.163 X-Complaints-To: abuse@sympatico.ca X-Trace: news20.bellglobal.com 1083947144 198.96.223.163 (Fri, 07 May 2004 12:25:44 EDT) NNTP-Posting-Date: Fri, 07 May 2004 12:25:44 EDT Organization: Bell Sympatico Xref: controlnews3.google.com comp.lang.ada:370 Date: 2004-05-07T12:25:46-04:00 List-Id: Dmitry A. Kazakov wrote: > On Thu, 6 May 2004 09:03:54 +0200, "Jean-Pierre Rosen" > wrote: >>Since you asked for it... (but I'll try to have reasonable objections). >>Note that I am known for being strongly *in favor* of the use clause. >> >>I would strongly oppose this proposal for a very simple reason: it defeats the main goal of having separated with from use. >>With is a library level clause; it tells: "this unit, somewhere needs that unit". > > Why that should be told? I'd say that "with" is superfluous. Not really, for two reasons: 1. Readability 2. The use of USE is not manditory (and arguably should be used with care) Since WITH can only be used at the start of the source code, it becomes a very big plus in _readability_. With a quick inspection of a spec/body, you can be certain of the references (or not) to other units. USE on the other hand, may appear in numerous other places, or not at all. For example, I may WITH Ada.Text_IO, and never USE it. I may just code Ada.Text_IO.Put_Line etc. While one might be tempted to suggest that WITH references may be deduced from USE clauses, this is not always true. This is because USE clauses may not be used at all. -- Warren W. Gay VE3WWG http://ve3wwg.tk