From 7359b31be7201d6be06cb580c378007ce7213549 Mon Sep 17 00:00:00 2001
From: toy <toy>
Date: Wed, 24 Sep 2003 22:38:10 +0000
Subject: [PATCH] Convert another make-member-type to use specifier-type so
 that member types of numbers are correctly canonicalized for the type system.

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

diff --git a/compiler/srctran.lisp b/compiler/srctran.lisp
index 320572295..e393fe4ed 100644
--- a/compiler/srctran.lisp
+++ b/compiler/srctran.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/compiler/srctran.lisp,v 1.134 2003/09/24 21:29:07 toy Exp $")
+  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/srctran.lisp,v 1.135 2003/09/24 22:38:10 toy Exp $")
 ;;;
 ;;; **********************************************************************
 ;;;
@@ -908,7 +908,7 @@
 	      ;; member types.
 	      (dolist (member (member-type-members arg))
 		(push (if (numberp member)
-			  (make-member-type :members (list member))
+			  (specifier-type `(eql ,member))
 			  *empty-type*)
 		      new-args))
 	      (push arg new-args)))
-- 
GitLab