From: Christophe R. <cr...@us...> - 2003-07-16 11:51:32
|
Update of /cvsroot/sbcl/sbcl/src/code In directory sc8-pr-cvs1:/tmp/cvs-serv13798/src/code Modified Files: defbangtype.lisp Log Message: 0.8.1.35: Remove leakage from host to target of ARRAY-FOO-LIMIT via the INDEX type ... don't UNCROSS everything in DEF!TYPE, just the name. ... test for one of the symptoms (thanks to Patrik Nordebo for providing a manageable test case) Index: defbangtype.lisp =================================================================== RCS file: /cvsroot/sbcl/sbcl/src/code/defbangtype.lisp,v retrieving revision 1.3 retrieving revision 1.4 diff -u -d -r1.3 -r1.4 --- defbangtype.lisp 19 May 2002 13:55:31 -0000 1.3 +++ defbangtype.lisp 16 Jul 2003 11:51:27 -0000 1.4 @@ -28,11 +28,11 @@ ;;; completely parallel, at which time they should be merged to ;;; eliminate the duplicate code. -(defmacro def!type (&rest rest) +(defmacro def!type (name &rest rest) `(progn - (deftype ,@rest) + (deftype ,name ,@rest) #+sb-xc-host - ,(let ((form `(sb!xc:deftype ,@(uncross rest)))) + ,(let ((form `(sb!xc:deftype ,(uncross name) ,@rest))) (if (boundp '*delayed-def!types*) `(push ',form *delayed-def!types*) form)))) |