X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fconstraint.lisp;h=5a4c62746e476f378991246cf270a72af6ce0885;hb=3fa2feb10ab827fc6cc2a85287e78b6e66b7bf4d;hp=df2f3b9d4bd41ede1b7a8fba9ccc9c5008ab58fc;hpb=4ec0d70e08ea4b512d45ddbd6c82e8f6a91a914f;p=sbcl.git

diff --git a/src/compiler/constraint.lisp b/src/compiler/constraint.lisp
index df2f3b9..5a4c627 100644
--- a/src/compiler/constraint.lisp
+++ b/src/compiler/constraint.lisp
@@ -508,15 +508,9 @@
                       (add (if (eq name '<) '> '<) var2 (lvar-type arg1) nil))))
                  (t
                   (let ((ptype (gethash name *backend-predicate-types*)))
-                    (if ptype
-                        (add 'typep (ok-lvar-lambda-var (first args) constraints)
-                             ptype nil)
-                        (with-open-file (f "/tmp/unknown.txt"
-                                           :if-exists :append
-                                           :if-does-not-exist :create
-                                           :direction :output)
-                          (let ((*package* (find-package :keyword)))
-                            (format f "~S~%" name))))))))))))
+                    (when ptype
+                      (add 'typep (ok-lvar-lambda-var (first args) constraints)
+                           ptype nil))))))))))
       (values consequent-constraints alternative-constraints))))
 
 ;;;; Applying constraints