anchor.diff:  ;;  (macroexpand-1
   ;;   (quote
       (deftest #:deftest-test
  -        (:class 'diadic-predicate-test
  +        (:class 'diadic-values-test
                   :setup (setq foo-interface-active-p t)
                   :predicate (quote =)
                   :expect 4 ;; FIXME: move into test data
  
positive.code:           (test-predicate test)))
  
  
  
  (defmethod run-test ((test diadic-predicate-test)
                       &rest data &key &allow-other-keys)
    (let ((a (test-datum-a test))
          (b (test-datum-b test)))
      (funcall (the function (test-predicate test))
               a b)))
  
  
  ;;;; Monadic-Predicate-Test
  
  (defclass monadic-predicate-test (predicate-test)
    ((datum
      :initarg :datum
      :accessor test-datum)))
  
  
  (defmethod format-test-label ((test monadic-predicate-test)
                                (stream stream))
    (princ-label test stream)
    (format stream "(~A ~A) => (~{ ~A~} ) ~A"
  
negative.code: 
  
  (defmacro deftest (name (&rest args
                                 &key (class 'diadic-values-test)
                                 &allow-other-keys)
                                   body
                     &environment env)
  