Skip to content
Snippets Groups Projects
Commit e6655d2c authored by toy's avatar toy
Browse files

Fix entomotomy bug

subtypep-too-certain-about-satisfies-undefined-function

Port over the SBCL fix.
parent f50481e9
No related branches found
No related tags found
No related merge requests found
...@@ -5,7 +5,7 @@ ...@@ -5,7 +5,7 @@
;;; Carnegie Mellon University, and has been placed in the public domain. ;;; Carnegie Mellon University, and has been placed in the public domain.
;;; ;;;
(ext:file-comment (ext:file-comment
"$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/code/type.lisp,v 1.44 2002/10/22 13:09:02 toy Exp $") "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/code/type.lisp,v 1.45 2002/10/23 00:47:38 toy Exp $")
;;; ;;;
;;; ********************************************************************** ;;; **********************************************************************
;;; ;;;
...@@ -726,8 +726,7 @@ ...@@ -726,8 +726,7 @@
(eq type1 *empty-type*) (eq type1 *empty-type*)
(eq type2 *wild-type*)) (eq type2 *wild-type*))
(values t t)) (values t t))
((or (eq type1 *wild-type*) ((eq type1 *wild-type*)
(eq type2 *empty-type*))
(values nil t)) (values nil t))
(t (t
(invoke-type-method :simple-subtypep :complex-subtypep-arg2 (invoke-type-method :simple-subtypep :complex-subtypep-arg2
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment