This was found with the test-random-types3:
(deftest subtypep.cons.39
(values (subtypep t '(and (not (cons cons (cons cons t)))
(not (cons t cons)))))
nil)
(expected value: nil, actual value: t)
Paul
_______________________________________________
Gcl-devel mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/gcl-devel
