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.7 required=5.0 tests=BAYES_00,INVALID_DATE,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!mnetor!tmsoft!torsqnt!news-server.csri.toronto.edu!rpi!usc!jarthur!petunia!kestrel.edu!gyro
From: gyro@kestrel.edu (Scott Layson Burson)
Newsgroups: comp.lang.ada
Subject: Use clauses in the visible parts of packages???
Keywords: use clause, package
Message-ID: <1991Mar27.200047.21167@kestrel.edu>
Date: 27 Mar 91 20:00:47 GMT
References: <739.27e1226c@vger.nsu.edu>
Reply-To: Gyro@Reasoning.COM
Organization: Kestrel Institute, Palo Alto, CA
List-Id: <comp.lang.ada>

So here I am implementing an Ada front end (for an analysis system,
not a compiler) and I'm working on use clauses, and I seem to have
found a case which is not mentioned in the manual, nor can I find any
mention of it in the commentaries.  To wit: what happens if a use
clause appears among the basic declarative items in the visible part
of a package specification?  Do the identifiers made directly visible
by the use clause become part of the package's visible declarations?

Now, it seems to me that either:

 1) The use clause does augment the package's visible declarations,
    and this is not the slightest bit problematic -- the various
    existing rules cover the fine points of the situation perfectly
    well.  This seems unlikely, because it's the kind of thing the LRM
    would typically include a helpful note about.

 2) Despite the fact that the syntax allows use clauses in visible
    parts of packages, nobody but me has ever actually thought of
    putting one there.  This seems unlikely because of the amount of
    time people have spent poring over the specification and the
    number of extant implementations.

 3) The relevant rules are in the LRM or commentaries somewhere, but
    I haven't found them.  This seems unlikely because there aren't
    many places in the manual where I would expect to find such rules,
    and grepping through the commentaries turns up a short list of
    instances of "use clause", among which I have found no reference
    to this possibility.

Can anyone help me out?

-- Scott Burson
Gyro@Reasoning.COM