135 |
(deftest atan.error.3 |
(deftest atan.error.3 |
136 |
(loop for x in *mini-universe* |
(loop for x in *mini-universe* |
137 |
unless (or (numberp x) |
unless (or (numberp x) |
138 |
(eval `(signals-error (atan ',x) type-error))) |
(eval `(signals-type-error x ',x (atan x)))) |
139 |
collect x) |
collect x) |
140 |
nil) |
nil) |
141 |
|
|
142 |
(deftest atan.error.4 |
(deftest atan.error.4 |
143 |
(loop for x in *mini-universe* |
(loop for x in *mini-universe* |
144 |
unless (or (realp x) |
unless (or (realp x) |
145 |
(eval `(signals-error (atan ',x 1) type-error))) |
(eval `(signals-type-error x ',x (atan x 1)))) |
146 |
collect x) |
collect x) |
147 |
nil) |
nil) |
148 |
|
|
149 |
(deftest atan.error.5 |
(deftest atan.error.5 |
150 |
(loop for x in *mini-universe* |
(loop for x in *mini-universe* |
151 |
unless (or (realp x) |
unless (or (realp x) |
152 |
(eval `(signals-error (atan 1 ',x) type-error))) |
(eval `(signals-type-error x ',x (atan 1 x)))) |
153 |
collect x) |
collect x) |
154 |
nil) |
nil) |
155 |
|
|