From: Christophe R. <cr...@us...> - 2005-10-12 16:44:32
|
Update of /cvsroot/sbcl/sbcl/src/code In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv2410/src/code Modified Files: late-type.lisp Log Message: 0.9.5.50: Fix for type-intersection2 failed aver (nikodemus on #lisp) ... actually I think the aver is just wrong. Index: late-type.lisp =================================================================== RCS file: /cvsroot/sbcl/sbcl/src/code/late-type.lisp,v retrieving revision 1.122 retrieving revision 1.123 diff -u -d -r1.122 -r1.123 --- late-type.lisp 10 Oct 2005 14:54:48 -0000 1.122 +++ late-type.lisp 12 Oct 2005 16:44:24 -0000 1.123 @@ -849,7 +849,6 @@ (eql yx :call-other-method)) *empty-type*) (t - (aver (and (not xy) (not yx))) ; else handled above nil)))))))) (defun-cached (type-intersection2 :hash-function type-cache-hash |