Parent Directory | Revision Log | Patch
revision 1.1 by pfdietz, Wed Feb 19 01:00:18 2003 UTC | revision 1.2 by pfdietz, Wed Feb 19 13:24:00 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 | |
189 | (subtypep*-or-fail '(not (real -1/2 1/2)) '(not (integer 0 0))) | |
190 | t) | |
191 | ||
192 | (deftest subtypep.rational.24 | |
193 | (subtypep*-or-fail '(not (real -1/2 1/2)) '(not (eql 0))) | |
194 | t) | |
195 | ||
196 | ||
197 |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |