Search
19:27:05
stassats
why didn't pfdietz catch it
19:28:04
stassats
it: (lambda (x) (flet ((z (&optional a) 123)) (let ((z #'z)) (when x (unless x (setf z 10))) (funcall z))))
19:28:36
stassats
(when x (unless x)) is useful to delay the removal until constraint propagation
19:42:54
pfdietz
The (main) random tester limits itself to (mostly) forms that have type INTEGER.
19:44:20
pfdietz
One big reason for this is to make forms easy to prune.
19:45:15
pfdietz
I'm not surprised there are blind spots.
0:38:35
asdf_asdf_asdf44
** NICK asdf_asdf_asdf