X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=doc%2Fbeyond-ansi.sgml;h=694898ad38e8801db088a54e65615e9c5052087f;hb=22c1de0a40df83bb5628974010a879cb2c17ff53;hp=1558f3ca44c3e79521e58429bf701afab03d321d;hpb=d49c71bf00d858efc5796900ca4954fb76ce6402;p=sbcl.git
diff --git a/doc/beyond-ansi.sgml b/doc/beyond-ansi.sgml
index 1558f3c..694898a 100644
--- a/doc/beyond-ansi.sgml
+++ b/doc/beyond-ansi.sgml
@@ -336,11 +336,9 @@ fixed addresses, a precondition for using copy-on-write to share code
between multiple Lisp processes. is less important with modern
generational garbage collectors.
-The sb-ext:truly-the> operator does what the
-cl:the> operator does in a more conventional
-implementation of &CommonLisp;, declaring the type of its argument
-without any runtime checks. (Ordinarily in &SBCL;, any type
-declaration is treated as an assertion and checked at runtime.)
+The sb-ext:truly-the> declares the type of the
+result of the operations, producing its argument; the declaration is
+not checked. In short: don't use it.
The sb-ext:freeze-type> declaration declares that a
type will never change, which can make type testing
@@ -353,9 +351,11 @@ to it. This is appropriate for functions like sqrt>, but
is not> appropriate for functions like aref>,
which can change their return values when the underlying data are
changed.
+
-
\ No newline at end of file
+