Parent Directory | Revision Log | Patch
revision 1.2 by pfdietz, Wed Feb 19 13:24:00 2003 UTC | revision 1.3 by pfdietz, Fri Feb 21 00:56:39 2003 UTC | |
---|---|---|
# | Line 185 | Line 185 |
185 | '(rational (1/11) (8/37))) | '(rational (1/11) (8/37))) |
186 | nil) | nil) |
187 | ||
188 | (deftest subtypep.rational.23 | (deftest subtypep.real.23 |
189 | (subtypep*-or-fail '(not (real -1/2 1/2)) '(not (integer 0 0))) | (check-all-subtypep '(not (real -1/2 1/2)) '(not (integer 0 0))) |
190 | t) | nil) |
(deftest subtypep.rational.24 | ||
(subtypep*-or-fail '(not (real -1/2 1/2)) '(not (eql 0))) | ||
t) | ||
191 | ||
192 | (deftest subtypep.real.24 | |
193 | (check-all-subtypep '(not (real -1/2 1/2)) '(not (eql 0))) | |
194 | nil) |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |