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

diff --git a/src/compiler/constraint.lisp b/src/compiler/constraint.lisp
index 5a4c627..df2f3b9 100644
--- a/src/compiler/constraint.lisp
+++ b/src/compiler/constraint.lisp
@@ -508,9 +508,15 @@
                       (add (if (eq name '<) '> '<) var2 (lvar-type arg1) nil))))
                  (t
                   (let ((ptype (gethash name *backend-predicate-types*)))
-                    (when ptype
-                      (add 'typep (ok-lvar-lambda-var (first args) constraints)
-                           ptype nil))))))))))
+                    (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))))))))))))
       (values consequent-constraints alternative-constraints))))
 
 ;;;; Applying constraints