X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Ffndb.lisp;h=8423f5ebf8fbf5428c59c50884395c0b658afa9e;hb=b767eae48831153473226b985511c8f7a3ef98c5;hp=72bab464fec14786d572bc6058baf41432893665;hpb=80304981972c91c1b3f3fca75f36dacf1fecf307;p=sbcl.git diff --git a/src/compiler/fndb.lisp b/src/compiler/fndb.lisp index 72bab46..8423f5e 100644 --- a/src/compiler/fndb.lisp +++ b/src/compiler/fndb.lisp @@ -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))