Parent Directory | Revision Log | Patch
revision 1.5 by pfdietz, Tue Jun 22 12:40:35 2004 UTC | revision 1.6 by pfdietz, Thu Aug 11 23:26:30 2005 UTC | |
---|---|---|
# | Line 194 | Line 194 |
194 | (deftest subtypep.real.24 | (deftest subtypep.real.24 |
195 | (check-all-subtypep '(not (real -1/2 1/2)) '(not (eql 0))) | (check-all-subtypep '(not (real -1/2 1/2)) '(not (eql 0))) |
196 | nil) | nil) |
197 | ||
198 | (deftest subtypep.real.25 | |
199 | (check-all-subtypep t '(or (not (real 0 10)) (not (real -100 -50)))) | |
200 | nil) | |
201 |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |