━━━━━━━━━━━━━━━━━━━━━━━━
                         PLN CDR DRAFT: ISSUE 3

                                Gleefre
                        ━━━━━━━━━━━━━━━━━━━━━━━━





1 Issue 3 (Local nicknames effect on DEFPACKAGE, MAKE-PACKAGE and others)
═════════════════════════════════════════════════════════════════════════

1.1 Description
───────────────

  It is not clear whether /local nicknames/ of the /current package/
  should affect the package lookup in operators that accept a package
  designator as an argument.  This mainly concerns `make-package' and
  `defpackage'.  See also [Notes].


[Notes] See section 1.5


1.2 Examples
────────────

  ┌────
  │ (defpackage #:foo-a (:use) (:export #:x))
  │ (defpackage #:foo-b (:use) (:export #:x))
  │ 
  │ (defpackage #:bar
  │   (:use #:cl)
  │   (:local-nicknames (#:foo-a #:foo-b)
  │                     (#:foo-b #:foo-a)))
  │ 
  │ (in-package #:bar)
  │ 
  │ (defpackage #:quux-1
  │   (:use #:foo-a))
  │ (package-name (symbol-package 'quux-1::x))
  │ ; => "FOO-B"  (sbcl, ccl, acl, abcl, lispworks)
  │ ; => "FOO-A"  (ecl, clasp)
  │ 
  │ (make-package '#:quux-2 :use '(#:foo-a))
  │ (package-name (symbol-package 'quux-2::x))
  │ ; => "FOO-B"  (sbcl, ccl, ecl, acl, abcl, clasp, lispworks)
  │ 
  │ (defpackage #:quux-3
  │   (:use)
  │   (:local-nicknames (#:foo #:foo-a)))
  │ (let ((*package* (find-package '#:quux-3)))
  │   (package-name (find-package '#:foo)))
  │ ; => "FOO-B"  (ccl, ecl, acl, abcl)
  │ ; => "FOO-A"  (sbcl, clasp, lispworks)
  │ 
  │ (import (car (find-all-symbols (string '#:add-package-local-nickname))))
  │ (defpackage #:quux-4
  │   (:use))
  │ (add-package-local-nickname '#:foo '#:foo-a '#:quux-4)
  │ (let ((*package* (find-package '#:quux-4)))
  │   (package-name (find-package '#:foo)))
  │ ; => "FOO-B"  (ccl, ecl, clasp, abcl, lispworks)
  │ ; => "FOO-A"  (sbcl)
  │ 
  │ (use-package '#:foo-a '#:quux-4)
  │ (package-name (symbol-package 'quux-4::x))
  │ ; => "FOO-B"  (sbcl, ccl, ecl, clasp, abcl, lispworks)
  └────


1.3 Current behavior
────────────────────

  • `defpackage' and `make-package' sbcl, lispworks: Only the
    `:local-nicknames' clause is *not* affected by /local nicknames/.

    ccl, acl, abcl: All clauses and keyword arguments are affected.

    ecl: Only the `:local-nicknames' clause and all keyword arguments
      (`:use' and `:local-nicknames') are affected.

    clasp: Only the keyword argument `:use' is affected.
  • Known exceptions in other operators: sbcl:
    `add-package-local-nickname' is not affected.

    lispworks: `in-package' is not affected.


1.4 Proposal ALL-AFFECTED
─────────────────────────

  All operators taking a package designator as an argument must be
  affected by /local nicknames/ of the /current package/.

  In particular, all `defpackage' clauses (`:use', `:local-nicknames',
  `:import-from', `:shadowing-import-from') as well as all keyword
  arguments to `make-package' (`:use' and `:local-nicknames') must be
  affected.


1.5 Notes
─────────

  A non-exhaustive list of operators possibly affected by this issue:
    `defpackage', `make-package', `export', `find-symbol', `import',
    `rename-package', `shadow', `shadowing-import', `delete-package',
    `with-package-iterator', `unexport', `unintern', `in-package',
    `unuse-package', `use-package', `do-symbols', `do-external-symbols',
    `do-all-symbols', `intern', `package-name', `package-nicknames',
    `package-shadowing-symbols', `package-use-list',
    `package-used-by-list', `add-package-local-nickname',
    `remove-package-local-nickname', `package-local-nicknames',
    `package-locally-nicknamed-by'.

  `format' is *not* affected by this issue, see instead Issue 8.