From 3642f0bfad3684f5af3d77ee2a85149977e3e3d0 Mon Sep 17 00:00:00 2001
From: pfdietz <pfdietz@localhost>
Date: Sat, 21 May 2005 12:42:46 +0000
Subject: [PATCH] Add PROCLAIM tests

---
 ansi-tests/load-eval-and-compile.lsp |  3 +-
 ansi-tests/proclaim.lsp              | 45 ++++++++++++++++++++++++++++
 2 files changed, 46 insertions(+), 2 deletions(-)
 create mode 100644 ansi-tests/proclaim.lsp

diff --git a/ansi-tests/load-eval-and-compile.lsp b/ansi-tests/load-eval-and-compile.lsp
index 149f3f9d..70a68cf3 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 00000000..45daa575
--- /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)
+
+
-- 
GitLab