36 |
t) |
t) |
37 |
|
|
38 |
(deftest proclaim.error.3 |
(deftest proclaim.error.3 |
39 |
(signals-error (proclaim `(optimize . foo)) type-error) |
(signals-error (proclaim `(optimize . foo)) error) |
40 |
t) |
t) |
41 |
|
|
42 |
(deftest proclaim.error.4 |
(deftest proclaim.error.4 |
43 |
(signals-error (proclaim `(inline . foo)) type-error) |
(signals-error (proclaim `(inline . foo)) error) |
44 |
t) |
t) |
45 |
|
|
46 |
(deftest proclaim.error.5 |
(deftest proclaim.error.5 |
47 |
(signals-error (proclaim `(notinline . foo)) type-error) |
(signals-error (proclaim `(notinline . foo)) error) |
48 |
t) |
t) |
49 |
|
|
50 |
(deftest proclaim.error.6 |
(deftest proclaim.error.6 |
51 |
(signals-error (proclaim `(type . foo)) type-error) |
(signals-error (proclaim `(type . foo)) error) |
52 |
t) |
t) |
53 |
|
|
54 |
(deftest proclaim.error.7 |
(deftest proclaim.error.7 |
56 |
t) |
t) |
57 |
|
|
58 |
(deftest proclaim.error.8 |
(deftest proclaim.error.8 |
59 |
(signals-error (proclaim '(type integer . foo)) type-error) |
(signals-error (proclaim '(type integer . foo)) error) |
60 |
t) |
t) |
61 |
|
|
62 |
(deftest proclaim.error.9 |
(deftest proclaim.error.9 |
63 |
(signals-error (proclaim '(integer . foo)) type-error) |
(signals-error (proclaim '(integer . foo)) error) |
64 |
t) |
t) |
65 |
|
|
66 |
(deftest proclaim.error.10 |
(deftest proclaim.error.10 |
67 |
(signals-error (proclaim '(declaration . foo)) type-error) |
(signals-error (proclaim '(declaration . foo)) error) |
68 |
t) |
t) |
69 |
|
|
70 |
(deftest proclaim.error.11 |
(deftest proclaim.error.11 |
71 |
(signals-error (proclaim '(ftype (function (t) t) . foo)) type-error) |
(signals-error (proclaim '(ftype (function (t) t) . foo)) error) |
72 |
t) |
t) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|