19 Oct
2006
19 Oct
'06
2: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