(import (scheme base)
        (only (csc ir2)
          ir2=?
          make-atom
          make-tail
          make-constant)
        (only (csc testing)
          assert-equal
          test)
        (csc cps))


(test atom-const
  (assert-equal ir2=?
    (make-atom
      (make-constant 5)
      (make-tail))
    (ir1->ir2 (make-constant 5))))