From a9ac0c5a878d1736f7b86edc9efacbc9a874e45e Mon Sep 17 00:00:00 2001 From: rtoy <rtoy> Date: Fri, 22 Apr 2005 14:04:14 +0000 Subject: [PATCH] Fix the strange-template-failures in many cmucl-type-prop tests. I think this was caused by confusion in NOTE-REJECTED-TEMPLATE on what policy-safe-p returns. It's T when the policy is :safe or :fast-safe, but I think in this case we really wanted just :safe. --- compiler/ltn.lisp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/compiler/ltn.lisp b/compiler/ltn.lisp index 85e3a78ec..81193e88f 100644 --- a/compiler/ltn.lisp +++ b/compiler/ltn.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/ltn.lisp,v 1.42 2005/01/25 15:49:12 rtoy Exp $") + "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/ltn.lisp,v 1.43 2005/04/22 14:04:14 rtoy Rel $") ;;; ;;; ********************************************************************** ;;; @@ -872,7 +872,7 @@ (type (or template null) template)) (collect ((losers)) - (let ((safe-p (policy-safe-p policy)) + (let ((safe-p (eq policy :safe)) (verbose-p (policy call (= brevity 0))) (max-cost (- (template-cost (or template @@ -883,7 +883,7 @@ (let ((guard (template-guard try))) (when (and (or (not guard) (funcall guard)) (or (not safe-p) - (policy-safe-p (template-policy try))) + (eq :safe (template-policy try))) (or verbose-p (and (template-note try) (valid-function-use -- GitLab