19 Oct
2006
19 Oct
'06
4:44 p.m.
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