[Sbcl-commits] CVS: sbcl/src/code defbangtype.lisp,1.3,1.4

[Christophe R. <cr...@us...>]

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