[cl-unification-devel] CL-UNIFICATION updated

[Marco Antoniotti]

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