From 3de9b53159b9ead200a05e81dd8da4da83cc5518 Mon Sep 17 00:00:00 2001
From: ram <ram>
Date: Thu, 3 Jan 1991 15:02:09 +0000
Subject: [PATCH] Fixed frozen structure type test stuff to allow any subtypes
 of the desired type, rather than any supertypes.

---
 compiler/typetran.lisp | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/compiler/typetran.lisp b/compiler/typetran.lisp
index 3eac4e392..e94906c5a 100644
--- a/compiler/typetran.lisp
+++ b/compiler/typetran.lisp
@@ -7,7 +7,7 @@
 ;;; Scott Fahlman (FAHLMAN@CMUC). 
 ;;; **********************************************************************
 ;;;
-;;; $Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/typetran.lisp,v 1.8 1991/01/03 13:13:37 ram Exp $
+;;; $Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/typetran.lisp,v 1.9 1991/01/03 15:02:09 ram Exp $
 ;;;
 ;;;    This file contains stuff that implements the portable IR1 semantics of
 ;;; type tests.  The main thing we do is convert complex type tests into
@@ -356,7 +356,7 @@
 		      type))
      (t
       (let ((frozen (info type frozen type))
-	    (includes (dd-includes def))
+	    (included (dd-included-by def))
 	    (n-name (gensym)))
 	(if (or frozen (dd-predicate def))
 	    (once-only ((object obj))
@@ -365,8 +365,8 @@
 		      (if (eq ,n-name ',type)
 			  t
 			  ,(if frozen
-			       (when includes
-				 `(member ,n-name ',includes :test #'eq))
+			       (when included
+				 `(member ,n-name ',included :test #'eq))
 			       `(,(dd-predicate def) ,object))))))
 	    `(lisp::structure-typep ,obj ',type)))))))
 
-- 
GitLab