(import checks simple-tests)

(define x 5)

(define-test (checks?)
  (= (>> x) 5)
  (= (<< x) 5)
  (= (>> x integer? odd?) 5)
  (= (>>% 'x x integer? odd?) 5)
  (= (<< x integer? odd?) 5)
  (= (<<% 'x x integer? odd?) 5)
  (= (<<< 'loc x integer? odd?) 5)
  (= (>>> 'loc x integer? odd?) 5)
  (= (<<<% 'loc 'x x integer? odd?) 5)
  (= (>>>% 'loc 'x x integer? odd?) 5)
  (not (condition-case
         (<<% 'x x integer? even?)
         ((exn) #f))) 
  (not (condition-case
         (<<<% 'loc 'x x integer? even?)
         ((exn) #f))) 
  (not (condition-case
         (>> x integer? even?)
         ((exn) #f))) 
  (not (<< ((lambda () #f)) boolean?))
  (= ((named-lambda (! n)
        (if (zero? n)
          1
          (* n (! (- n 1)))))
      5)
     120)
  )

(compound-test (CHECKS)
  (checks?)
  )