protect against read-time package-lock circumvention from LOCKED::(BAR)

[sbcl.git] / doc / manual / beyond-ansi.texinfo

diff --git a/doc/manual/beyond-ansi.texinfo b/doc/manual/beyond-ansi.texinfo
index 1e684d4..0c72409 100644 (file)
--- a/doc/manual/beyond-ansi.texinfo
+++ b/doc/manual/beyond-ansi.texinfo
@@ -26,10 +26,11 @@ it still has quite a few.  @xref{Contributed Modules}.
 @cindex Reader Extensions
 
 SBCL supports extended package prefix syntax, which allows specifying
-the package to read an arbitrary form in:
+an alternate package instead of @code{*package*} for the reader to use
+as the default package for interning symbols:
 
 @lisp
-<package-name>::<form-in-package>
+<package-name>::<form-with-interning-into-package>
 @end lisp
 
 Example:
@@ -38,6 +39,9 @@ Example:
   'foo::(bar quux zot) == '(foo::bar foo::quux foo::zot)
 @end lisp
 
+Doesn't alter @code{*package*}: if @code{foo::bar} would cause a
+read-time package lock violation, so does @code{foo::(bar)}.
+
 @node  Garbage Collection
 @comment  node-name,  next,  previous,  up
 @section Garbage Collection