Finally, we supply the function to test an arbitrary piece of Lisp code. It does this by evaluating the code with the bindings implied by the binding list. This is one of the few cases where it is appropriate to call eval : when we want to give the user unrestricted access to the Lisp interpreter.

(defun match- i f (pattern input bindings)