(define fail
	(lambda (f x y)
		(display "test failed: ") (display f) (newline)
		(display "expected: ") (display x) (newline)
		(display "got: ") (display y) (newline)
	)
)

(define test
	(lambda (f x)
		(define y (eval f))
		(if (not (equal? x y))
			(fail f x y)
		)
	)
)

(test '(eq? #t #t) #t)
(test '(eq? #f #f) #t)
(test '(eq? #t #f) #f)
(test '(eq? #f #t) #f)
(test '(eq? () ()) #t)
(test '(eq? 1 1) #f)
(define x 1)
(test '(eq? x x) #t)
(define y x)
(test '(eq? x y) #f) ; y is pointing at x but isn't the same thing

(test '(infinite? -inf) #t)
(test '(infinite? +inf) #t)
(test '(infinite? 0) #f)
(test '(finite? -inf) #f)
(test '(finite? +inf) #f)
(test '(finite? 0) #t)

(test '(null? ()) #t)
(test '(null? #f) #f)
(test '(null? (list () ())) #f)

(test '(and #t) #t)
(test '(and #f) #f)
(test '(and #t #t) #t)
(test '(and #f #t) #f)
(test '(and #t #f) #f)
(test '(and 0 1 2 3) 3)
(test '(and #t 1) 1)
(test '(and () "lol") "lol")
(test '(and "lol" ()) ())

(test '(or #f #f) #f)
(test '(or #f #t) #t)
(test '(or #t #f) #t)
(test '(or 0 1 2 3) 0)
(test '(or () "lol") ())
(test '(or "lol" ()) "lol")

(test '(not 0) #f)
(test '(not ()) #f)
(test '(not "lol") #f)
(test '(not #t) #f)
(test '(not #f) #t)

(test '(car (cons 1 2)) 1)
(test '(cdr (cons 1 2)) 2)
(test '(car (cons 3 (list 1 2))) 3)
(test '(cdr (cons 3 (list 1 2))) (list 1 2))

(test '(max 1 2) 2)
(test '(max 2 1) 2)
(test '(max -1 -2) -1)
(test '(max -2 -1) -1)

(test '(min 1 2) 1)
(test '(min 2 1) 1)
(test '(min -1 -2) -2)
(test '(min -2 -1) -2)

;;;; R7RS specifics
(test '(eq? #t #true) #t)
(test '(eq? #f #false) #t)