From: Nikodemus S. <de...@us...> - 2009-11-19 16:08:48
|
Update of /cvsroot/sbcl/sbcl/src/compiler In directory fdv4jf1.ch3.sourceforge.com:/tmp/cvs-serv9826/src/compiler Modified Files: constraint.lisp Log Message: 1.0.32.33: GENCGC tuning parameters * Define +HIGHEST-NORMAL-GENERATION+ and +PSEUDO-STATIC-GENERATION+ in lisp, and let genesis tell C about them. * Make various generations[gen].foo tweakable from lisp, give them nice interface functions and document the same. * Bits of manual prettification in related parts. Index: constraint.lisp =================================================================== RCS file: /cvsroot/sbcl/sbcl/src/compiler/constraint.lisp,v retrieving revision 1.42 retrieving revision 1.43 diff -u -d -r1.42 -r1.43 --- constraint.lisp 11 May 2009 19:41:48 -0000 1.42 +++ constraint.lisp 19 Nov 2009 16:08:37 -0000 1.43 @@ -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 |