From e7cfc31675d6b173a10b1d922b94e80624ec76b4 Mon Sep 17 00:00:00 2001
From: rtoy <rtoy>
Date: Sat, 25 Sep 2004 22:09:29 +0000
Subject: [PATCH] When creating an eql specializer, tell the type system aboout
 this eql specializer.

Fixes a bug reported by Bruno Haible, cmucl-imp, 2004-09-15.
---
 pcl/std-class.lisp | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/pcl/std-class.lisp b/pcl/std-class.lisp
index 0efa45e3d..2148c47c1 100644
--- a/pcl/std-class.lisp
+++ b/pcl/std-class.lisp
@@ -26,7 +26,7 @@
 ;;;
 
 (file-comment
-  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/pcl/std-class.lisp,v 1.73 2004/07/09 22:00:30 rtoy Exp $")
+  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/pcl/std-class.lisp,v 1.74 2004/09/25 22:09:29 rtoy Exp $")
 
 (in-package :pcl)
 
@@ -348,7 +348,10 @@
 
 (defmethod shared-initialize :after ((specl eql-specializer) slot-names &key)
   (declare (ignore slot-names))
-  (setf (slot-value specl 'type) `(eql ,(specializer-object specl))))
+  (setf (slot-value specl 'type) `(eql ,(specializer-object specl)))
+  ;; Tell the type system about this eql specializer type.
+  (setf (info type translator specl)
+	(constantly (kernel:make-member-type :members (list (specializer-object specl))))))
 
 
 
-- 
GitLab