Skip to content
Snippets Groups Projects
Commit 2b80426e authored by ram's avatar ram
Browse files

Fixed TYPEP SATISFIES to always return T-or-NIL, regardless of what the

predicate returns.
parent 495d57b5
No related branches found
No related tags found
No related merge requests found
...@@ -7,7 +7,7 @@ ...@@ -7,7 +7,7 @@
;;; Scott Fahlman or slisp-group@cs.cmu.edu. ;;; Scott Fahlman or slisp-group@cs.cmu.edu.
;;; ;;;
(ext:file-comment (ext:file-comment
"$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/typetran.lisp,v 1.11 1991/05/23 17:55:06 ram Exp $") "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/typetran.lisp,v 1.12 1991/10/24 21:05:00 ram Exp $")
;;; ;;;
;;; ********************************************************************** ;;; **********************************************************************
;;; ;;;
...@@ -238,7 +238,7 @@ ...@@ -238,7 +238,7 @@
`(%typep ,object ',spec)) `(%typep ,object ',spec))
(t (t
(ecase (first spec) (ecase (first spec)
(satisfies `(funcall #',(second spec) ,object)) (satisfies `(if (funcall #',(second spec) ,object) t nil))
((not and) ((not and)
(once-only ((n-obj object)) (once-only ((n-obj object))
`(,(first spec) ,@(mapcar #'(lambda (x) `(,(first spec) ,@(mapcar #'(lambda (x)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment