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,f51e93dacd9c7fca
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-06-18 15:20:58 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!fr.usenet-edu.net!usenet-edu.net!freenix!wanadoo.fr!not-for-mail
From: Pascal Obry <p.obry@wanadoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: status of Ada STL?
Date: 19 Jun 2002 00:20:48 +0200
Organization: Home - http://perso.wanadoo.fr/pascal.obry
Message-ID: <u1yb4kz3z.fsf@wanadoo.fr>
References: <bebbba07.0206132321.23d72ac8@posting.google.com>
 <aedgoc$to7$1@news.iucc.ac.il>
 <bebbba07.0206151051.1c25cf1e@posting.google.com> <uu1o31wbb.fsf@wanadoo.fr>
 <bebbba07.0206161023.6073fd3a@posting.google.com>
 <wcc8z5czi89.fsf@shell01.TheWorld.com> <u660glezc.fsf@wanadoo.fr>
 <wcc1yb4za8k.fsf@shell01.TheWorld.com>
NNTP-Posting-Host: avelizy-103-1-2-64.abo.wanadoo.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: wanadoo.fr 1024438857 23385 217.128.15.64 (18 Jun 2002 22:20:57 GMT)
X-Complaints-To: abuse@wanadoo.fr
NNTP-Posting-Date: 18 Jun 2002 22:20:57 GMT
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2.90
Xref: archiver1.google.com comp.lang.ada:26313
Date: 2002-06-18T22:20:57+00:00
List-Id: <comp.lang.ada>


Robert A Duff <bobduff@shell01.TheWorld.com> writes:

> Pascal Obry <p.obry@wanadoo.fr> writes:
> 
> > What about this, the use here is not possible:
> > 
> > package P is
> >    X : Integer;
> > end P;
> > 
> > with P;
> > procedure P2 is
> > 
> >    P : Integer;
> > 
> >    procedure Proc is
> >       -- use P;            <- this is not possible because P integer
> >       V : Integer;
> >    begin
> >       V := Standard.P.X;   <- and you need full qualified name
> >    end Proc;
> > 
> > begin
> >    null;
> > end P2;
> 
> I'm not sure what the point of this example is, other than that one can
> write obscure code.  You're right that "use P;" would be illegal there
> (although "use Standard.P;" would be legal).  So?  The right thing to do
> is change the name of one of those P's.

Right but you are putting more restriction on Ada here. Everything is possible
I won't argue about this...

> No.  I don't know what Russ meant, but I meant that "use" in a context
> clause would imply a "with".  A "use" anywhere else would not (thus
> preserving the property that all the imported packages are mentioned at
> the top).

If "use" has different meaning depending on the position on the source, I
think it is just better to have "with" and "use"...

Or maybe we could also use procedure everywhere, a procedure with a return
value is like a function, and do not use begin/end but the block
command... There is a lot of room to reduce the number of keywords if this is
the game ;)

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|         http://perso.wanadoo.fr/pascal.obry
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595