Commit c5c6d754 authored by pfdietz's avatar pfdietz

Added tests for TYPEP on EQL types. These illustrate a bug in gcl.

parent bbc517ac
......@@ -335,3 +335,29 @@
(notnot-mv (typep env (type-of env)))))
(%foo))
t)
;;; Other typep tests
(deftest typep.1
(notnot-mv (typep 'a '(eql a)))
t)
(deftest typep.2
(notnot-mv (typep 'a '(and (eql a))))
t)
(deftest typep.3
(notnot-mv (typep 'a '(or (eql a))))
t)
(deftest typep.4
(typep 'a '(eql b))
nil)
(deftest typep.5
(typep 'a '(and (eql b)))
nil)
(deftest typep.6
(typep 'a '(or (eql b)))
nil)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment