diff --git a/ansi-tests/declaim.lsp b/ansi-tests/declaim.lsp
index af0fba76d541c70b10886d16b61488517f1646fa..909491d0ed8d8224a34d2dbec101ee9e24037908 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 45daa575d22a3b957196c640c06050167b91d3f1..785ea8e2cdacaed7644d3f24524f96f4c343cb1e 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)
+
+
+
+