Re: Help sought understanding shorthands wrt modules/packages

[Helmut Eller]

On Tue, Nov 08 2022, Richard Stallman wrote:

> Making it even worse, once BAR:HACK is recorded as the meaning of HACK
> in FOO's symbol table (obarray), there was no way to make it mean some
> other symbol HACK.

That's technically wrong: it is possibly to "shadow" inherited symbols.
E.g. so:

(defvar *foo* (make-package "FOO" :use '()))
(defvar *bar* (make-package "BAR" :use (list *foo*)))

(export (intern "HACK" *foo*) *foo*)
(assert (eq (intern "HACK" *bar*)
            (intern "HACK" *foo*)))
(shadowing-import (make-symbol "HACK") *bar*)
(assert (not (eq (intern "HACK" *bar*)
                 (intern "HACK" *foo*))))

This shows that FOO::HACK and BAR::HACK can be different symbols even
though FOO exports HACK and BAR uses FOO.

Helmut