On 13 Jul 2024, at 11:49, Marco Antoniotti <marco.antoniotti@unimib.it> wrote:

Hi

Thanks for the writeup.  Apologies for the CDR-DISCUSS mishaps.

I am one of the major polluters of the packages' namespace as I happily abuse :nicknames.

I perused the specification, I like it and I agree with the comments, but I think there is an extra useful bit that is missing.  I would like to be able to write

(in-package "A-VERY-LONG-AND-HAIRY-PACKAGE-NICKNAME" ; This may even be a 'global nickname'!
            :as "HAIRY-PKG"                          ; The 'local nickname'.
            )


It seems quite natural to me.  Did I miss something?


How is this useful, since once you’re in a package, you access its symbols directly without qualification?
How would use use HAIRY-PKG and why?

-- 
__Pascal Bourguignon__