Thanks
I will apply it asap.
Cheers
Marco
On Oct 19, 2006, at 4:44 PM, Vladimir V. Korablin wrote:
Hello cl-unification-devel,
The MATCH macro is currently broken with respect to `#T' templates:
CL-USER> (unify::match (#T(list ?x &rest ?rest) '(1 2 3 4)) ?x) NIL
Attached is a patch that fixes this problem.
-- Best regards, Vladimir mailto:vkorablin@lemial.net<cl- unification.patch>_______________________________________________ cl-unification-devel site list cl-unification-devel@common-lisp.net http://common-lisp.net/mailman/listinfo/cl-unification-devel
Marco Antoniotti