Parent Directory | Revision Log | Patch
revision 1.5 by pfdietz, Mon Feb 24 12:36:34 2003 UTC | revision 1.6 by pfdietz, Thu Feb 27 03:50:51 2003 UTC | |
---|---|---|
# | Line 174 | Line 174 |
174 | (check-all-not-subtypep '(satisfies symbolp) '(member a b c d)) | (check-all-not-subtypep '(satisfies symbolp) '(member a b c d)) |
175 | nil) | nil) |
176 | ||
177 | (deftest subtypep.member.36 | |
178 | (check-disjointness '(eql a) '(or (member b c d) (eql e))) | |
179 | nil) |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |