From 0468d115068497b1e25cfddb97125f37fb4d4a98 Mon Sep 17 00:00:00 2001
From: ram <ram>
Date: Thu, 13 May 1993 19:51:15 +0000
Subject: [PATCH] Bind *unparse-function-type-simplify* to T when getting the
 type specifier for :type-predicate, since we don't want to check against
 complex function type specs.

---
 compiler/dump.lisp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/compiler/dump.lisp b/compiler/dump.lisp
index 818545f05..a32bbed30 100644
--- a/compiler/dump.lisp
+++ b/compiler/dump.lisp
@@ -7,7 +7,7 @@
 ;;; Scott Fahlman or slisp-group@cs.cmu.edu.
 ;;;
 (ext:file-comment
-  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/dump.lisp,v 1.53 1993/05/11 21:15:58 ram Exp $")
+  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/dump.lisp,v 1.54 1993/05/13 19:51:15 ram Exp $")
 ;;;
 ;;; **********************************************************************
 ;;;
@@ -710,7 +710,8 @@
 	      (dump-fop 'lisp::fop-fdefinition file))
 	     (:type-predicate
 	      (dump-object 'load-type-predicate file)
-	      (dump-object (type-specifier (cdr entry)) file)
+	      (let ((*unparse-function-type-simplify* t))
+		(dump-object (type-specifier (cdr entry)) file))
 	      (dump-fop 'lisp::fop-funcall file)
 	      (dump-byte 1 file))
 	     (:xep
-- 
GitLab