| commit | a9cac95ee124f8e71a31554964d308f74da9c866 | |
| author | Nikodemus Siivola <nikodemus@random-state.net> | |
| Mon, 17 Dec 2007 13:34:26 +0000 (17 13:34 +0000) | ||
| committer | Nikodemus Siivola <nikodemus@random-state.net> | |
| Mon, 17 Dec 2007 13:34:26 +0000 (17 13:34 +0000) | ||
| tree | d4e0df3f81d5ddf07919d6688618d1f4a033d6c2 | treesnapshot (tar.gz zip) |
| parent | 972ab4ebe38803a62c9f942cba5a82e2365babe3 | commitdiff |
1.0.12.35: more safety -- less weakening of type checks
* Weaken type check only if SAFETY < 2, and SAFETY < SPEED. Thus
SAFETY 2 becomes a "always full type checks".
* Delete a stale comment above MAYBE-NEGATE-CHECK about weakening
checks there -- this has not been the case since 0.7.9.41.
* Fix type errors in target-sxhash.lisp that was masked by the
weakening that used happen there.
* Update commentary re. PROBABLE-TYPE-CHECK-P as per Alexey's email
on sbcl-devel. Delete some other stale comments re. weakening.
* Update the manual re. weakened type checks.
* Weaken type check only if SAFETY < 2, and SAFETY < SPEED. Thus
SAFETY 2 becomes a "always full type checks".
* Delete a stale comment above MAYBE-NEGATE-CHECK about weakening
checks there -- this has not been the case since 0.7.9.41.
* Fix type errors in target-sxhash.lisp that was masked by the
weakening that used happen there.
* Update commentary re. PROBABLE-TYPE-CHECK-P as per Alexey's email
on sbcl-devel. Delete some other stale comments re. weakening.
* Update the manual re. weakened type checks.