[cl-unification-devel] MATCH macro bugfix

[Marco Antoniotti]

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 at lemial.net<cl- 
> unification.patch>_______________________________________________
> cl-unification-devel site list
> cl-unification-devel at common-lisp.net
> http://common-lisp.net/mailman/listinfo/cl-unification-devel
Marco Antoniotti