From e4b23e2f901d4f5973aef7c2e59ab1c88b021301 Mon Sep 17 00:00:00 2001
From: pfdietz <pfdietz@localhost>
Date: Sat, 21 May 2005 12:58:02 +0000
Subject: [PATCH] More error cases for PROCLAIM, FTYPE test for DECLAIM

---
 ansi-tests/declaim.lsp  | 10 +++++-----
 ansi-tests/proclaim.lsp | 26 ++++++++++++++++++++++++++
 2 files changed, 31 insertions(+), 5 deletions(-)

diff --git a/ansi-tests/declaim.lsp b/ansi-tests/declaim.lsp
index af0fba76..909491d0 100644
--- a/ansi-tests/declaim.lsp
+++ b/ansi-tests/declaim.lsp
@@ -38,19 +38,19 @@
   nil)
 
 (deftest declaim.9
+  (progn (eval `(declaim (ftype (function (t) t)))) nil)
+  nil)
+
+(deftest declaim.10
   (let ((sym (gensym)))
     (eval `(declaim (declaration ,sym)))
     (eval `(declaim (,sym)))
     nil)
   nil)
 
-(deftest declaim.10
+(deftest declaim.11
   (let ((sym (gensym)))
     (eval `(declaim (optimize) (special ,sym) (inline) (special)))
     (eval `(flet ((%f () ,sym))
 	     (let ((,sym :good)) (%f)))))
   :good)
-
-
-
-
diff --git a/ansi-tests/proclaim.lsp b/ansi-tests/proclaim.lsp
index 45daa575..785ea8e2 100644
--- a/ansi-tests/proclaim.lsp
+++ b/ansi-tests/proclaim.lsp
@@ -12,6 +12,13 @@
 	     (let ((,sym :good)) (%f)))))
   :good)
 
+(deftest proclaim.2
+  (let ((sym (gensym)))
+    (proclaim `(declaration ,sym))
+    (proclaim `(,sym))
+    nil)
+  nil)
+
 ;;; Error cases
 
 (deftest proclaim.error.1
@@ -42,4 +49,23 @@
   (signals-error (proclaim `(ftype . foo)) type-error)
   t)
 
+(deftest proclaim.error.8
+  (signals-error (proclaim '(type integer . foo)) type-error)
+  t)
+
+(deftest proclaim.error.9
+  (signals-error (proclaim '(integer . foo)) type-error)
+  t)
+
+(deftest proclaim.error.10
+  (signals-error (proclaim '(declaration . foo)) type-error)
+  t)
+
+(deftest proclaim.error.11
+  (signals-error (proclaim '(ftype (function (t) t) . foo)) type-error)
+  t)
+
+
+
+
 
-- 
GitLab