12 |
(let ((,sym :good)) (%f))))) |
(let ((,sym :good)) (%f))))) |
13 |
:good) |
:good) |
14 |
|
|
15 |
|
(deftest proclaim.2 |
16 |
|
(let ((sym (gensym))) |
17 |
|
(proclaim `(declaration ,sym)) |
18 |
|
(proclaim `(,sym)) |
19 |
|
nil) |
20 |
|
nil) |
21 |
|
|
22 |
;;; Error cases |
;;; Error cases |
23 |
|
|
24 |
(deftest proclaim.error.1 |
(deftest proclaim.error.1 |
49 |
(signals-error (proclaim `(ftype . foo)) type-error) |
(signals-error (proclaim `(ftype . foo)) type-error) |
50 |
t) |
t) |
51 |
|
|
52 |
|
(deftest proclaim.error.8 |
53 |
|
(signals-error (proclaim '(type integer . foo)) type-error) |
54 |
|
t) |
55 |
|
|
56 |
|
(deftest proclaim.error.9 |
57 |
|
(signals-error (proclaim '(integer . foo)) type-error) |
58 |
|
t) |
59 |
|
|
60 |
|
(deftest proclaim.error.10 |
61 |
|
(signals-error (proclaim '(declaration . foo)) type-error) |
62 |
|
t) |
63 |
|
|
64 |
|
(deftest proclaim.error.11 |
65 |
|
(signals-error (proclaim '(ftype (function (t) t) . foo)) type-error) |
66 |
|
t) |
67 |
|
|
68 |
|
|
69 |
|
|
70 |
|
|
71 |
|
|