[cl-unification-devel] MATCH macro bugfix

[Vladimir V. Korablin]

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 at lemial.net
-------------- next part --------------
A non-text attachment was scrubbed...
Name: cl-unification.patch
Type: application/octet-stream
Size: 939 bytes
Desc: not available
URL: <https://mailman.common-lisp.net/pipermail/cl-unification-devel/attachments/20061019/a15c1c65/attachment.obj>