"Marco Antoniotti" marcoxa@cs.nyu.edu asked for more tests by saying
Dear all,
the last message by Pixel calls - ultimately - for a test suite for CL- UNIFICATION.
I usually use the simple test suite from Franz. Anybody has a different suggestion?
Also, I would like to see CL-UNIFICATION tests come in in order to make a good regression test for the library.
Moar tests attached, sah!
Mostly testing the assorted MATCH* macros. Most of the new tests fail in an unpatched cl-unification, and some still don't pass in my darcs repo (e.g., because I haven't fixed MATCH[F] yet). Obviously, this makes the attached tests pretty useless from the standpoint of ensuring my previous and future patches don't break stuff that currently works, so more tests are still definitely needed. :)
The attached patch also makes unification-tests.lisp #'load-able in both ACL and any lisp supported by the portable version of their util.test thingy (ptester), which makes running the test suite as easy as a C-c C-l in slime.