X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=tests%2Fcompiler.pure.lisp;h=cf08c46817e4e854d026feed39dded9ab365864d;hb=a3649ba68e298d9203e8bb1de5629ff788586fe1;hp=f4bc19c080ad1f110668fd8f5d104bd5c0a7a4c8;hpb=c097c9c3d4ce2888c9f32477c95397c69e4f80aa;p=sbcl.git

diff --git a/tests/compiler.pure.lisp b/tests/compiler.pure.lisp
index f4bc19c..cf08c46 100644
--- a/tests/compiler.pure.lisp
+++ b/tests/compiler.pure.lisp
@@ -1728,3 +1728,14 @@
 		  (type number p2))
 	 (eql (the (complex double-float) p1) p2)))
      c0 #c(12 612/979)))))
+
+;;; reported by Lutz Euler: we shouldn't signal a compiler note for
+;;; simple-bit-vector functions.
+(handler-bind ((sb-ext:compiler-note #'error))
+  (compile nil '(lambda (x)
+		 (declare (type simple-bit-vector x))
+		 (count 1 x))))
+(handler-bind ((sb-ext:compiler-note #'error))
+  (compile nil '(lambda (x y)
+		 (declare (type simple-bit-vector x y))
+		 (equal x y))))