projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
1.0.13.53: Minor changes to SB-COVER, SB-MD5 tests for Win32
[sbcl.git]
/
doc
/
manual
/
compiler.texinfo
diff --git
a/doc/manual/compiler.texinfo
b/doc/manual/compiler.texinfo
index
c23af6a
..
d2d9746
100644
(file)
--- a/
doc/manual/compiler.texinfo
+++ b/
doc/manual/compiler.texinfo
@@
-515,14
+515,16
@@
selectable via @code{optimize} declarations.
All declarations are considered assertions to be checked at runtime,
and all type checks are precise.
All declarations are considered assertions to be checked at runtime,
and all type checks are precise.
-Used when @code{(>= safety (max speed space compilation-speed)}. The
+Used when @code{(and (< 0 safety) (or (>= safety 2) (>= safety speed)))}. The
default compilation policy provides full type checks.
@item Weak Type Checks
Any or all type declarations may be believed without runtime
default compilation policy provides full type checks.
@item Weak Type Checks
Any or all type declarations may be believed without runtime
-assertions, and assertions that are done may be imprecise.
+assertions, and assertions that are done may be imprecise. It should
+be noted that it is relatively easy to corrupt the heap when weak type
+checks are used, and type-errors are introduced into the program.
-Used when @code{(< 0 safety (max speed space compilation-speed)}.
+Used when @code{(and (< safety 2) (< safety speed))}
@item No Type Checks
All declarations are believed without assertions. Also disables
@item No Type Checks
All declarations are believed without assertions. Also disables