diff --git a/ansi-tests/load-eval-and-compile.lsp b/ansi-tests/load-eval-and-compile.lsp
index 149f3f9d2e02493cfb2a1be9b2e2e3e9a419db04..70a68cf3205e79f09c0a3dbc064091bece83b528 100644
--- a/ansi-tests/load-eval-and-compile.lsp
+++ b/ansi-tests/load-eval-and-compile.lsp
@@ -11,6 +11,5 @@
 (load "defmacro.lsp")
 (load "the.lsp")
 (load "symbol-macrolet.lsp")
+(load "proclaim.lsp")
 (load "locally.lsp")
-
-
diff --git a/ansi-tests/proclaim.lsp b/ansi-tests/proclaim.lsp
new file mode 100644
index 0000000000000000000000000000000000000000..45daa575d22a3b957196c640c06050167b91d3f1
--- /dev/null
+++ b/ansi-tests/proclaim.lsp
@@ -0,0 +1,45 @@
+;-*- Mode:     Lisp -*-
+;;;; Author:   Paul Dietz
+;;;; Created:  Sat May 21 07:33:53 2005
+;;;; Contains: Tests of PROCLAIM
+
+(in-package :cl-test)
+
+(deftest proclaim.1
+  (let ((sym (gensym)))
+    (proclaim `(special ,sym))
+    (eval `(flet ((%f () ,sym))
+	     (let ((,sym :good)) (%f)))))
+  :good)
+
+;;; Error cases
+
+(deftest proclaim.error.1
+  (signals-error (proclaim) program-error)
+  t)
+
+(deftest proclaim.error.2
+  (signals-error (proclaim '(optimize) nil) program-error)
+  t)
+
+(deftest proclaim.error.3
+  (signals-error (proclaim `(optimize . foo)) type-error)
+  t)
+
+(deftest proclaim.error.4
+  (signals-error (proclaim `(inline . foo)) type-error)
+  t)
+
+(deftest proclaim.error.5
+  (signals-error (proclaim `(notinline . foo)) type-error)
+  t)
+
+(deftest proclaim.error.6
+  (signals-error (proclaim `(type . foo)) type-error)
+  t)
+
+(deftest proclaim.error.7
+  (signals-error (proclaim `(ftype . foo)) type-error)
+  t)
+
+