X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Ffndb.lisp;h=604f85b273b239e399b2c405e3d5a7d7d4366e76;hb=09d7974601df2aaaa820ca576026b9b4f03e6ab1;hp=9022242cd7f72067c914a1eeece21b9c2c0da3d4;hpb=a23903deaf6348cc088eb0f992a99cdba0a37d66;p=sbcl.git

diff --git a/src/compiler/fndb.lisp b/src/compiler/fndb.lisp
index 9022242..604f85b 100644
--- a/src/compiler/fndb.lisp
+++ b/src/compiler/fndb.lisp
@@ -614,6 +614,8 @@
 (defknown (stable-sort sort) (sequence callable &key (:key callable)) sequence
   (call)
   :derive-type (sequence-result-nth-arg 1))
+(defknown sb!impl::sort-vector (vector index index function (or function null)) vector
+  (call))
 
 (defknown merge (type-specifier sequence sequence callable
 				&key (:key callable))
@@ -1316,6 +1318,13 @@
   (function sequence t index sequence-end function)
   (values t (or index null))
   (call))
+(defknown effective-find-position-test (callable callable)
+  function
+  (flushable foldable))
+(defknown effective-find-position-key (callable)
+  function
+  (flushable foldable))
+
 
 (defknown sb!kernel::arg-count-error (t t t t t t) nil (unsafe))