...that was not supposed to go in!
*blush*
(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
;;; checkins which aren't released. (And occasionally for internal
;;; versions, especially for internal versions off the main CVS
;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"1.0.32.33"
+"1.0.32.34"