[cl-unification-devel] bugfix

[Marco Antoniotti]

On Aug 24, 2005, at 3:20 PM, norman werner wrote:

>
> Hello
>
> The match macro is (like several other macros as well ) definded as:
>
> (defmacro match ((template object^M
>                            &key^M
>                            (substitution (make-empty-environment))^M
>                            (errorp t)^M
>                            (error-value nil))^M
>                  &body forms)^M
>    ..)
>
>
> when one tries to write somethind like:
>
> (dolist (template templates)
>  (match template form))


Are you actually trying to to

	(dolist (template templates)
	  (match (template <some-object>) form))

?

This is not the intended use to the form, as the TEMPLATE variable will 
appear literally in the call to UNIFY.

You will have to use UNIFY directly to achieve what you want.

Maybe a useful macro would be

	(with-substitution-variables (v1 v2 ... vN) <substitution> <form>*)

Then you could write

	(dolist (template templates)
	   (with-substitution-variables (v1 v2 ... vN)
                      (unify template object)
                <form>))

Cheers

--
Marco Antoniotti					http://bioinformatics.nyu.edu
NYU Courant Bioinformatics Group		tel. +1 - 212 - 998 3488
715 Broadway 10th FL				fax. +1 - 212 - 998 3484
New York, NY, 10003, U.S.A.