From marcoxa at cs.nyu.edu Sun Jul 13 13:57:53 2008 From: marcoxa at cs.nyu.edu (Marco Antoniotti) Date: Sun, 13 Jul 2008 15:57:53 +0200 Subject: [cl-unification-devel] CL-UNIFICATION updated Message-ID: Hi I made a few updates to CL-UNIFICATION. The most important one is that I started a test suite, which has already shown a few pitfalls. The second most important one is that now the #T syntax went back to the original setup, where template instances are built at read-time. This means that (1) nested templates should be working as expected, and (2) probably a new programmatic constructor is needed. The companion MAKE-LOAD-FORM seems to fix the fasl manipulation problems, but you may want to make more tests. Some other bugs and requests for changes did not make it in. Please try the new version, be patient and report bugs. You can download the tarball from the CVS repository. Cheers -- Marco