Parent Directory | Revision Log | Patch
revision 1.3 by pfdietz, Wed Feb 19 01:00:17 2003 UTC | revision 1.4 by pfdietz, Wed Feb 19 13:24:00 2003 UTC | |
---|---|---|
# | Line 161 | Line 161 |
161 | (deftest subtypep.rational.16 | (deftest subtypep.rational.16 |
162 | (check-equivalence '(and integer (rational (-1/2) (1/2))) | (check-equivalence '(and integer (rational (-1/2) (1/2))) |
163 | '(integer 0 0)) | '(integer 0 0)) |
nil) | ||
164 | nil) | |
165 | ||
166 | (deftest subtypep.rational.17 | |
167 | (subtypep*-or-fail '(not (rational -1/2 1/2)) '(not (integer 0 0))) | |
168 | t) | |
169 | ||
170 | (deftest subtypep.rational.18 | |
171 | (subtypep*-or-fail '(not (rational -1/2 1/2)) '(not (eql 0))) | |
172 | t) | |
173 |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |