From: gyro@kestrel.edu (Scott Layson Burson)
Subject: Use clauses in the visible parts of packages???
Date: 27 Mar 91 20:00:47 GMT [thread overview]
Message-ID: <1991Mar27.200047.21167@kestrel.edu> (raw)
In-Reply-To: 739.27e1226c@vger.nsu.edu
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
next prev parent reply other threads:[~1991-03-27 20:00 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
1991-03-15 23:37 Immediate Reading in Tasks George C. Harrison, Norfolk State University
1991-03-19 3:19 ` William Loftus
1991-03-27 20:00 ` Scott Layson Burson [this message]
1991-03-28 17:17 ` Use clauses in the visible parts of packages??? Fred Stluka
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox