From 633149a9d5aa5abe3f15fa5821e54026f0e03d84 Mon Sep 17 00:00:00 2001
From: pfdietz <pfdietz@localhost>
Date: Wed, 8 Feb 2006 03:28:11 +0000
Subject: [PATCH] Added another sbcl test (misc.625)

---
 ansi-tests/misc.lsp | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)

diff --git a/ansi-tests/misc.lsp b/ansi-tests/misc.lsp
index 2e08a593..5419db04 100644
--- a/ansi-tests/misc.lsp
+++ b/ansi-tests/misc.lsp
@@ -11115,3 +11115,35 @@ Broken at C::WT-MAKE-CLOSURE.
    22)
   0)
 
+;;; sbcl 0.9.9.22 (x86 linux)
+;;; TYPE-ERROR: The value 0 is not of type (INTEGER 3 3).
+
+(deftest misc.625
+  (funcall
+   (compile
+    nil
+    '(lambda (a)
+       (declare (type (integer -2 -1) a))
+       (declare (optimize (speed 0) (space 0) (safety 1)
+                      #+sbcl (sb-c:insert-step-conditions 0)
+                      (debug 3) (compilation-speed 1)))
+       (elt '(47119 39679 57498 35248 23784 40597 53473 29454)
+	    (min 7
+		 (max 0
+		      (flet ((%f7
+			      (f7-1 f7-2
+				    &optional
+				    &key
+				    (key1
+				     (elt '(0 25 30 12 27 5)
+					  (min 5 (max 0 3)))))
+			      0))
+                            (flet ((%f6
+				    (&optional
+				     &key (key1 (progn (%f7 0 a) a))
+				     (key2 0))
+				    0))
+				  (%f7 a a))))))))
+   -2)
+  47119)
+
-- 
GitLab