From 1070b74981f394eefb49ab89423ea582ae5ed4e8 Mon Sep 17 00:00:00 2001 From: ram <ram> Date: Thu, 13 May 1993 19:52:47 +0000 Subject: [PATCH] Bind *unparse-function-type-simplify* t when getting the type specifier for :type-predicate operations. --- compiler/generic/core.lisp | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/compiler/generic/core.lisp b/compiler/generic/core.lisp index 47f4a1b57..73555a167 100644 --- a/compiler/generic/core.lisp +++ b/compiler/generic/core.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/generic/core.lisp,v 1.23 1993/05/11 17:31:54 ram Exp $") + "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/generic/core.lisp,v 1.24 1993/05/13 19:52:47 ram Exp $") ;;; ;;; ********************************************************************** ;;; @@ -237,8 +237,9 @@ (setf (code-header-ref code-obj code-obj-index) (lisp::fdefinition-object (cdr const) t))) (:type-predicate - (setf (code-header-ref code-obj code-obj-index) - (load-type-predicate (type-specifier (cdr const))))) + (let ((*unparse-function-type-simplify* t)) + (setf (code-header-ref code-obj code-obj-index) + (load-type-predicate (type-specifier (cdr const)))))) (:xep (let ((xep (cdr (assoc (cdr const) xeps :test #'eq)))) (assert xep) -- GitLab