Showing the changes to test (1 of 1 file). Show all
Unified · Split
| @@ -341,6 +341,10 @@ · 340 unmodified lines | ||
| 341 | 341 | (assert-fail ((λ (x) x))) |
| 342 | 342 | (assert-fail ((λ (x y . z) z) 1)) |
| 343 | 343 | (assert-fail (car 'x) type-error) |
| 344 | +(assert-fail (cdr 1) type-error) | |
| 345 | +(assert-fail (cadr 1) type-error) | |
| 346 | +(assert-fail (set-car! NIL 1) type-error) | |
| 347 | +(assert-fail (set-cdr! NIL 1) type-error) | |
| 344 | 348 | (assert-fail gjegherqpfdf___trejif unbound-error) |
| 345 | 349 | |
| 346 | 350 | ; long argument lists |
| @@ -1176,3 +1180,5 @@ · 829 unmodified lines | ||
| 1176 | 1180 | (assert (and (not (int? f64)) (>= f64 0.0) (<= f64 1.0))) |
| 1177 | 1181 | (assert (and (int? i) (>= i 0) (< i 10))) |
| 1178 | 1182 | (assert (and (not (int? f)) (>= f 0.0) (< f 10.0)))))) |
| 1183 | + | |
| 1184 | +(assert (and (bound? T) (bound? NIL))) | |