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-Thread: 103376,2a687662f09731bb
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!news4.google.com!news.glorb.com!newsfeed2.telusplanet.net!newsfeed.telus.net!nntp.abs.net!news.abs.net!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: Don't use the "use" clause
References: <dld0t5$df3$1@sunnews.cern.ch>
 <ZqCdnSOLI6WepefeRVn-uw@comcast.com>
 <slrndnlfs8.1pa.bogus_addy@tango.mindfuq.org>
 <m2acg5i1ko.fsf@grendel.local>
 <dlelkn$g6l$1@nwrdmz03.dmz.ncs.ea.ibs-infra.bt.com>
 <slrndnoa1k.22e.bogus_addy@tango.mindfuq.org>
 <1132227919.9036.51.camel@sonnenregen> <u3blv30wu.fsf@acm.org>
 <1132233886.11218.11.camel@sonnenregen> <ulkzmsw5v.fsf@acm.org>
 <slrndnv9qv.1r7.bogus_addy@tango.mindfuq.org>
 <Ij4Bf.1960$2O6.514@newssvr12.news.prodigy.com>
 <SUaBf.2447$Dk.828@newsread3.news.pas.earthlink.net>
 <ud5iimkc8.fsf@acm.org> <43d5f493$1_1@glkas0286.greenlnk.net>
From: Stephen Leake <stephen_leake@acm.org>
Message-ID: <uvew98c28.fsf@acm.org>
User-Agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (windows-nt)
Cancel-Lock: sha1:S16ZncuBEBplF/y/vFwSURGAnfo=
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Tue, 24 Jan 2006 18:02:07 -0500
NNTP-Posting-Host: 66.159.65.1
X-Complaints-To: abuse@toad.net
X-Trace: news.abs.net 1138143730 66.159.65.1 (Tue, 24 Jan 2006 18:02:10 EST)
NNTP-Posting-Date: Tue, 24 Jan 2006 18:02:10 EST
Xref: g2news1.google.com comp.lang.ada:2615
Date: 2006-01-24T18:02:07-05:00
List-Id: <comp.lang.ada>

"Martin Dowie" <martin.dowie@baesystems.com> writes:

> Stephen Leake wrote:
>>> Right. The OP might want to use SPARK, which does not have use
>>> clauses.
>>
>> That seems odd. What does SPARK gain by outlawing use clauses? Surely
>> the examiner can handle the extra name resolution!
>
> But the human reader can't handle the extra name resolution! :-)

Well, _I_ can :). Most times, I think I'm human :).

-- 
-- Stephe