[cl-unification-cvs] CVS update: cl-unification/match-block.lisp

[Marco Antoniotti]

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))))
                , at forms)
+           
+           ;; Yes.  The above is sligthly wasteful.
+
            (unification-failure (uf)
                                 (if ,errorp
                                     (signal uf)