Commit 3642f0bf authored by pfdietz's avatar pfdietz

Add PROCLAIM tests

parent c357adcf
......@@ -11,6 +11,5 @@
(load "defmacro.lsp")
(load "the.lsp")
(load "symbol-macrolet.lsp")
(load "proclaim.lsp")
(load "locally.lsp")
;-*- 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)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment