Update of /project/cl-unification/cvsroot/cl-unification In directory common-lisp.net:/tmp/cvs-serv26367
Modified Files: match-block.lisp Log Message: Added IGNORABLE declaration to MATCH macro expansion. This is useful in quieting various compilers.
Date: Wed Apr 27 23:04:36 2005 Author: mantoniotti
Index: cl-unification/match-block.lisp diff -u cl-unification/match-block.lisp:1.4 cl-unification/match-block.lisp:1.5 --- cl-unification/match-block.lisp:1.4 Wed Apr 27 22:54:05 2005 +++ cl-unification/match-block.lisp Wed Apr 27 23:04:36 2005 @@ -42,7 +42,11 @@ (let* ((,env-var (unify ',template ,object ,substitution)) ,@(generate-var-bindings) ) + (declare (ignorable ,@(mapcar #'first (generate-var-bindings)))) ,@forms) + + ;; Yes. The above is sligthly wasteful. + (unification-failure (uf) (if ,errorp (signal uf)