Parent Directory | Revision Log | Patch
revision 1.3 by pfdietz, Fri Feb 21 00:56:39 2003 UTC | revision 1.4 by pfdietz, Sun Feb 23 19:25:59 2003 UTC | |
---|---|---|
# | Line 90 | Line 90 |
90 | ||
91 | (deftest subtypep.real.5 | (deftest subtypep.real.5 |
92 | (check-equivalence | (check-equivalence |
93 | '(or (eql 0) (real (0))) | '(or (real 0 0) (real (0))) |
94 | '(real 0)) | '(real 0)) |
95 | nil) | nil) |
96 | ||
# | Line 132 | Line 132 |
132 | ||
133 | (deftest subtypep.real.12 | (deftest subtypep.real.12 |
134 | (check-equivalence | (check-equivalence |
135 | '(and (real 0 10) (not (real (0) (10)))) | '(and integer (real 0 10) (not (real (0) (10)))) |
136 | '(member 0 10)) | '(member 0 10)) |
137 | nil) | nil) |
138 |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |