101 |
(or (eqlt val (/ (* n (1+ n)) 2)) (list val))) |
(or (eqlt val (/ (* n (1+ n)) 2)) (list val))) |
102 |
t) |
t) |
103 |
|
|
104 |
|
;;; Test that all non-variables exported from COMMON-LISP can be bound |
105 |
|
;;; in LET forms. |
106 |
|
(deftest let.15 |
107 |
|
(loop for s in *cl-non-variable-constant-symbols* |
108 |
|
for form = `(classify-error (let ((,s 17)) ,s)) |
109 |
|
unless (eql (eval form) 17) |
110 |
|
collect s) |
111 |
|
nil) |
112 |
|
|
113 |
;;; Tests for LET* |
;;; Tests for LET* |
114 |
|
|
115 |
(deftest let*.1 |
(deftest let*.1 |
199 |
(val (eval expr))) |
(val (eval expr))) |
200 |
(or (eqlt val (/ (* n (1+ n)) 2)) (list val))) |
(or (eqlt val (/ (* n (1+ n)) 2)) (list val))) |
201 |
t) |
t) |
202 |
|
|
203 |
|
;;; Test that all non-variables exported from COMMON-LISP can be bound |
204 |
|
;;; in LET* forms. |
205 |
|
(deftest let*.15 |
206 |
|
(loop for s in *cl-non-variable-constant-symbols* |
207 |
|
for form = `(classify-error (let* ((,s 17)) ,s)) |
208 |
|
unless (eql (eval form) 17) |
209 |
|
collect s) |
210 |
|
nil) |