X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Ffndb.lisp;h=f5bc4fdec0b99d24d5411d7a3e4402a448369835;hb=1394636aef3b85be4fb6ef4a5424115aa2022d99;hp=72bab464fec14786d572bc6058baf41432893665;hpb=80304981972c91c1b3f3fca75f36dacf1fecf307;p=sbcl.git diff --git a/src/compiler/fndb.lisp b/src/compiler/fndb.lisp index 72bab46..f5bc4fd 100644 --- a/src/compiler/fndb.lisp +++ b/src/compiler/fndb.lisp @@ -756,7 +756,7 @@ (foldable flushable)) (defknown hash-table-size (hash-table) index (flushable)) (defknown hash-table-test (hash-table) symbol (foldable flushable)) -(defknown sxhash (t) (integer 0 #.sb!vm:*target-most-positive-fixnum*) +(defknown sxhash (t) (integer 0 #.sb!xc:most-positive-fixnum) (foldable flushable)) ;;;; from the "Arrays" chapter @@ -1145,10 +1145,13 @@ ;;;; from the "Errors" chapter: -(defknown error (t &rest t) nil) ; never returns... +(defknown error (t &rest t) nil) ; never returns (defknown cerror (string t &rest t) null) (defknown warn (t &rest t) null) (defknown break (&optional t &rest t) null) + +;;; and analogous SBCL extension: +(defknown bug (t &rest t) nil) ; never returns ;;;; from the "Miscellaneous" Chapter: @@ -1304,7 +1307,7 @@ (t sequence t index sequence-end function function) (values t (or index null)) (flushable call)) -(defknown %find-position-if +(defknown (%find-position-if %find-position-if-not) (function sequence t index sequence-end function) (values t (or index null)) (call))