(set 'success t)

(defun test (test-expr res)
  (newline)
  (princ
   (list (fill ((differ (eval test-expr) res) '+)
               ('f 'fail))
         '--> test-expr))
  (and success
       (set 'success (fill ((differ (eval test-expr) res) t)
                           (f f)))))

;; atom
(test '(atom ()) f)
(test '(atom 'a) t)
(test '(atom '(x . a)) f)
(test '(atom '(x a)) f)
;(test '(atom 'a) undef)

;; dif
(test '(dif () 'b) t)
(test '(dif () ()) f)
(test '(dif 'a 'b) t)
(test '(dif 'a 'a) f)
(test '(dif 'a '(b . c)) t)
(test '(dif 'a '(b c)) t)
(test '(dif '(b . c) '(b . c)) t)
(test '(dif '(b c) '(b c)) t)

;; differ
(test '(differ 'a ()) t)
(test '(differ () ()) f)
(test '(differ 'a '(b c)) t)
(test '(differ '(a b) '(b c)) t)
(test '(differ '(b . c) '(b . c)) f)
(test '(differ '(b c) '(b c)) f)

;; car
(test '(car ()) ())
(test '(car '(a)) 'a)
(test '(car '(a . b)) 'a)
(test '(car '(a b)) 'a)
(test '(car '((a . b) . c)) '(a . b))
;(test '(car 'a) undef)

;; cdr
(test '(cdr ()) ())
(test '(cdr '(a)) ())
(test '(cdr '(a . b)) 'b)
(test '(cdr '(a b)) '(b))
(test '(cdr '((a . b) . c)) 'c)
;(test '(cdr 'a) undef)

;; cons
(test '(cons 'a ()) '(a))
(test '(cons 'a 'b) '(a . b))
(test '(cons 'a '(b)) '(a b))
(test '(cons '(a . b) 'c) '((a . b) . c))

;; or
(test '(or () 'a) ())
(test '(or t 'a) t)
(test '(or 'a 'b 'c) 'a)
(test '(or f f t) t)
(test '(or t (car 'a)) t)
;(test '(or (car 'a) t) undef)

;; and
(test '(and () 'a) 'a)
(test '(and f 'a) f)
(test '(and 'a 'b 'c) 'c)
(test '(and t t f) f)
(test '(and f (car 'a)) f)
;(test '(and (car 'a) f) undef)

;; cond
(test '(cond (() 'a) (f 'b)) 'a)
(test '(cond (t 'a) (f 'b)) 'a)
(test '(cond (f 'a) (t 'b) (t 'c)) 'b)
(test '(cond (f 'a) (t 'b)) 'b)
(test '(cond (f (car 'a)) (t 'b)) 'b)
;(test '(cond (f 'a) (t (car 'a))) undef)
(test '(cond (f 'a) (f 'b)) n)

;; fill
(test '(fill (() 'a) (f 'b)) 'b)
(test '(fill (f 'a) (t 'b)) 'a)
(test '(fill (t 'a) (f 'b) (f 'c)) 'b)
(test '(fill (t 'a) (f 'b)) 'b)
(test '(fill (t (car 'a)) (f 'b)) 'b)
;(test '(fill (t 'a) (f (car 'a))) undef)
(test '(fill (t 'a) (t 'b)) n)

;; final message
(and success (prog
                (newline)
                (princ '(All with success.))
                (newline)))

(defmacro clean (x) (newline) (princ '(** macro clean:)) (newline) (print x) (newline) (print x) (newline))
(defmacro mac (x) (newline) (princ '(** macro:)) (newline) (print x) (newline) (print (eval x)) (newline))
(defmacro macr (x) (newline) (princ '(** macro reverse:)) (newline) (print (eval x)) (newline) (print x) (newline))
(defmacro double (x) (newline) (princ '(** double:)) (newline) (print (eval (eval x))) (newline))
(defun fun (x) (newline) (princ '(** function:)) (newline) (print x) (newline) (print (eval x)) (newline))
(defun fun1 (x) (newline) (princ '(** function reverse:)) (newline) (print (eval x)) (newline) (print x) (newline))

(newline)
(princ '(TEST (and t t f)))
(newline)
(princ '(- unquoted))
(newline)
(clean (and t t f))
(mac (and t t f))
(macr (and t t f))
(double (and t t f))
(fun (and t t f))
(fun1 (and t t f))
(princ '(- quoted))
(newline)
(clean '(and t t f))
(mac '(and t t f))
(macr '(and t t f))
(double '(and t t f))
(fun '(and t t f))
(fun1 '(and t t f))