From 62d3e57cc5016673ee30a0ed36f2dcde3ddcb592 Mon Sep 17 00:00:00 2001 From: pmai <pmai> Date: Thu, 23 Jan 2003 15:26:51 +0000 Subject: [PATCH] Entomotomy Bug: typep-on-some-array-types-returns-two-values Corrects the problems uncovered by Paul F. Dietz's ANSI test cases vector.type.13 and vector.type.15, where typep would return two values for certain array types, e.g. (typep "ABC" '(vector t)) => NIL, T instead of only NIL --- code/pred.lisp | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/code/pred.lisp b/code/pred.lisp index 32e643de9..6e6403391 100644 --- a/code/pred.lisp +++ b/code/pred.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/pred.lisp,v 1.53 2000/05/14 03:58:01 dtc Exp $") + "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/code/pred.lisp,v 1.54 2003/01/23 15:26:51 pmai Exp $") ;;; ;;; ********************************************************************** ;;; @@ -276,8 +276,9 @@ (= (car want) (car got)))) (return nil)))) (or (eq (array-type-element-type type) *wild-type*) - (type= (array-type-specialized-element-type type) - (specifier-type (array-element-type object)))))) + (values + (type= (array-type-specialized-element-type type) + (specifier-type (array-element-type object))))))) (member-type (if (member object (member-type-members type)) t)) (class -- GitLab