Commit 8720b219 authored by pfdietz's avatar pfdietz

Fixed subtypep.rational.5,12

parent 4c098db8
......@@ -97,7 +97,7 @@
(deftest subtypep.rational.5
(check-equivalence
'(or (eql 0) (rational (0)))
'(or (rational 0 0) (rational (0)))
'(rational 0))
nil)
......@@ -139,7 +139,7 @@
(deftest subtypep.rational.12
(check-equivalence
'(and (rational 0 10) (not (rational (0) (10))))
'(and integer (rational 0 10) (not (rational (0) (10))))
'(member 0 10))
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