[cl-unification-devel] bugfix

[norman werner]

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))

it will not work as expected because all invocations of match share a common environment.

A fix would be to simply quote (make-empty-environment).


Greetings

Norman Werner
_________________________________________________________________________
Mit der Gruppen-SMS von WEB.DE FreeMail können Sie eine SMS an alle 
Freunde gleichzeitig schicken: http://freemail.web.de/features/?mc=021179