From e6655d2c0f9298a3f544ace0aba26c38f1dad815 Mon Sep 17 00:00:00 2001 From: toy <toy> Date: Wed, 23 Oct 2002 00:47:38 +0000 Subject: [PATCH] Fix entomotomy bug subtypep-too-certain-about-satisfies-undefined-function Port over the SBCL fix. --- code/type.lisp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/code/type.lisp b/code/type.lisp index b20a93be9..591696bcd 100644 --- a/code/type.lisp +++ b/code/type.lisp @@ -5,7 +5,7 @@ ;;; Carnegie Mellon University, and has been placed in the public domain. ;;; (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 @@ (eq type1 *empty-type*) (eq type2 *wild-type*)) (values t t)) - ((or (eq type1 *wild-type*) - (eq type2 *empty-type*)) + ((eq type1 *wild-type*) (values nil t)) (t (invoke-type-method :simple-subtypep :complex-subtypep-arg2 -- GitLab