projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
IR1-convertion of lambda is separated into
[sbcl.git]
/
src
/
compiler
/
fndb.lisp
diff --git
a/src/compiler/fndb.lisp
b/src/compiler/fndb.lisp
index
80c5a7a
..
1bb7372
100644
(file)
--- a/
src/compiler/fndb.lisp
+++ b/
src/compiler/fndb.lisp
@@
-474,6
+474,11
@@
(defknown %map-to-nil-on-vector (callable vector) null (flushable call))
(defknown %map-to-nil-on-sequence (callable sequence) null (flushable call))
(defknown %map-to-nil-on-vector (callable vector) null (flushable call))
(defknown %map-to-nil-on-sequence (callable sequence) null (flushable call))
+(defknown map-into (sequence callable &rest sequence)
+ sequence
+ (call)
+ :derive-type #'result-type-first-arg)
+
;;; returns the result from the predicate...
(defknown some (callable sequence &rest sequence) t
(foldable unsafely-flushable call))
;;; returns the result from the predicate...
(defknown some (callable sequence &rest sequence) t
(foldable unsafely-flushable call))
@@
-1143,12
+1148,7
@@
:rename-and-delete :overwrite
:append :supersede nil))
(:if-does-not-exist (member :error :create nil))
:rename-and-delete :overwrite
:append :supersede nil))
(:if-does-not-exist (member :error :create nil))
- (:external-format
- ;; FIXME: This is logically (MEMBER :DEFAULT),
- ;; but as a workaround for bug 244, we don't
- ;; declare it (to keep the compiler from trusting
- ;; the declaration unchecked).
- t))
+ (:external-format (member :default)))
(or stream null))
(defknown rename-file (pathname-designator filename)
(or stream null))
(defknown rename-file (pathname-designator filename)
@@
-1171,11
+1171,7
@@
(:verbose t)
(:print t)
(:if-does-not-exist (member :error :create nil))
(:verbose t)
(:print t)
(:if-does-not-exist (member :error :create nil))
- (:external-format
- ;; FIXME: This is logically (MEMBER :DEFAULT), but as a workaround
- ;; for bug 244, we don't declare it (to keep the compiler from
- ;; trusting the declaration unchecked).
- t))
+ (:external-format (member :default)))
t)
(defknown directory (pathname-designator &key)
t)
(defknown directory (pathname-designator &key)
@@
-1320,6
+1316,11
@@
(defknown %%primitive (t t &rest t) *)
(defknown %pop-values (t) t)
(defknown %type-check-error (t t) nil)
(defknown %%primitive (t t &rest t) *)
(defknown %pop-values (t) t)
(defknown %type-check-error (t t) nil)
+
+;; FIXME: This function does not return, but due to the implementation
+;; of FILTER-CONTINUATION we cannot write it here.
+(defknown %compile-time-type-error (t t t) *)
+
(defknown %odd-key-args-error () nil)
(defknown %unknown-key-arg-error (t) nil)
(defknown (%ldb %mask-field) (bit-index bit-index integer) unsigned-byte
(defknown %odd-key-args-error () nil)
(defknown %unknown-key-arg-error (t) nil)
(defknown (%ldb %mask-field) (bit-index bit-index integer) unsigned-byte