External symbols and inheritance

["Scott E. Fahlman" <Fahlman@CMU-CS-C.ARPA>]

    If package A uses package B, and package B exports the symbol FOO, then
    is a reference to A:FOO supposed to get that symbol, or be an error?

I agree with Rob Maclachlan on this: the symbol FOO is internal in
package A, so A:FOO is an error.  This behavior is clearly prescribed by
the last full paragraph on page 177 of the manual, is it not?  Or have
we misunderstood your question?

-- Scott