[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Issue: PACKAGE-DELETION (Version 5)
- To: firstname.lastname@example.org
- Subject: Issue: PACKAGE-DELETION (Version 5)
- From: email@example.com (Aaron Larson)
- Date: Thu, 15 Dec 88 17:12:20 CST
- Cc: firstname.lastname@example.org, masinter.pa@Xerox.COM
- In-reply-to: Jon L White's message of Thu, 15 Dec 88 14:39:13 PST <8812152239.AA19979@bhopal>
- Posted-date: Thu, 15 Dec 88 17:12:20 CST
Posted-Date: Thu, 15 Dec 88 14:39:13 PST
Date: Thu, 15 Dec 88 14:39:13 PST
From: Jon L White <email@example.com>
re: After this operation completes, the contents of the symbol-package
slot of any symbol homed in the deleted package is unspecified; ...
symbol S homed in pkg P == (eq P (symbol-package S)) ?
A symbol's "home" package is defined to be the contents of its
symbol-package cell. See CLtL p.175 (about middle of page).
I guess I should have been more carefull in my statement. The problem I
was raising is that being "homed" is a satement about the symbol-package of
a symbol (and the fact that "homed" is slang), and stating that
(symbol-package x) being the deleted package and being undefined is
contradictory. The fact that you are stating something about the (previous)
state of the symbol-packge, and that kill-package may (or may not) change
the symbol-package was being muddled. In retrospect it was undoubtedly
obvious to everybody what the statement meant.