- (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))))))))))))