From e58a98d78ca9f1425ddc0b327fb7818d68c9005c Mon Sep 17 00:00:00 2001
From: pfdietz <pfdietz@localhost>
Date: Fri, 2 Jun 2006 14:03:20 +0000
Subject: [PATCH] More tests for sbcl related to the COERCE type prop bug

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

diff --git a/ansi-tests/misc.lsp b/ansi-tests/misc.lsp
index 8d5c02cb..9ee3cdfa 100644
--- a/ansi-tests/misc.lsp
+++ b/ansi-tests/misc.lsp
@@ -11670,3 +11670,28 @@ Broken at C::WT-MAKE-CLOSURE.
     (funcall (compile nil form) 'integer))
   2)
 
+;;;  error while parsing arguments to DEFTYPE MOD:
+;;;    invalid number of elements in
+;;;      ()
+;;;    to satisfy lambda list
+;;;      (SB-KERNEL::N):
+;;;    exactly 1 expected, but 0 found
+
+(deftest misc.656
+  (let ((form '(lambda (p2)
+                 (declare (optimize (speed 0) (safety 2) (debug 0) (space 2))
+                          (type (member integer mod) p2))
+                 (coerce 2 p2))))
+    (funcall (compile nil form) 'integer))
+  2)
+
+;;; The symbol VALUES is not valid as a type specifier.
+
+(deftest misc.657
+  (let ((form '(lambda (p2)
+                 (declare (optimize (speed 0) (safety 2) (debug 0) (space 2))
+                          (type (member integer values) p2))
+                 (coerce 2 p2))))
+    (funcall (compile nil form) 'integer))
+  2)
+
-- 
GitLab