I wrote:
I'm getting some failures from the test-random-types3; I'll reduce them to test cases and send them in this evening when I have time.
Here's a problem:
CL-TEST>(subtypep t '(or (not (real 0 10)) (not (real -100 -50))))
NIL ;; incorrect
T
CL-TEST>(subtypep t '(not (and (real 0 10) (real -100 -50))))
T ;; correct
T
Paul
_______________________________________________
Gcl-devel mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/gcl-devel
