Commit e4b23e2f authored by pfdietz's avatar pfdietz

More error cases for PROCLAIM, FTYPE test for DECLAIM

parent 3e979842
......@@ -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)
......@@ -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)
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