Re: Use clauses in the visible parts of packages???

[stluka@software.org (Fred Stluka)]

In article <1991Mar27.200047.21167@kestrel.edu> Gyro@Reasoning.COM writes:
> ... 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?

No.  The identifiers are only made visible to the "scope" of 
the use clause, which does not include other packages which 
"with" the package containing the use clause.

Section 8.4(4) says:

     In order to define which declarations are made directly visible 
     at a given place by use clauses, consider the set of packages
     named by all use clauses whose scopes enclose this place...
                                           ^^^^^^^

The "scope" of a use clause is defined in 8.4(3) as:

     For each use clause, there is a certain region of text called
     the "scope" of the use clause.  This region starts immediately
     after the use clause.  If the use clause is a declarative item 
     of some declarative region, the scope of the clause extends to
     the end of the declarative region. ...

--Fred

-- 

Fred Stluka                              Internet: stluka@software.org
Software Productivity Consortium         UUNET:    ...!uunet!software!stluka
2214 Rock Hill Rd, Herndon VA 22070 USA