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.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!caip!nike!ucbcad!ucbvax!ICS.UCI.EDU!jsweet
From: jsweet@ICS.UCI.EDU (Jerry Sweet)
Newsgroups: net.lang.ada
Subject: Re: Preferred Style of use clause
Message-ID: <890.523402070@ics.uci.edu>
Date: Sat, 2-Aug-86 17:40:30 EDT
Article-I.D.: ics.890.523402070
Posted: Sat Aug  2 17:40:30 1986
Date-Received: Sun, 3-Aug-86 04:16:44 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
List-Id: <comp.lang.ada>


I think David Bakin really meant to ask about the semantic difference
between the two "use" clause placements, rather than the textual
appearance.  If I understand "with" and "use" clauses correctly, the
"use" clause applies only within the given lexical scope.  If it is
placed before the compilation unit, the identifiers introduced by the
"with" clause may be used without dot notation throughout the entire
compilation unit, including the formal parameters, if any.  If the
"use" clause is placed inside the compilation unit, then any formal
parameter types introduced by the context clause have to employ dot
notation.

Example 1:

with foo;
procedure bar(x: foo.zot) is...

Example 2:

with foo; use foo;
procedure bar(x: zot) is...


-jns