Erlang Mailing Lists

(defm deftest (:all Name Forms):
  `(def ,Name ():
     (let Rs (cat [;Forms]):
     (io\nl)
     Rs)))

(defm assert (:all Es):
  `(assert-equal ;(lsc E Es:
             `(true ,E))))

(defm assert-equal (:all Es):
  `[;(lsc `(,V ;Body) Es:
     (let L (integer (ast-line V))
          Body `(do ;Body)
          :
          `{,L
       (try (case ,Body
         (,V (fmt "."))
         (R (fmt "X\n~p:Expected ~p, got ~p\n"
            [,L ,V R])
            ## `(... ',E ...) is broken
            (printer\p (%a{__quote} ,Body))
            failed))
            :catch
            (Class Exception:
              (fmt "X\n~p:Exception ~p\\~p\n" [,L Class Exception])
              (printer\p (%a{__quote} ,Body))
              failed))})
     )])

(defm assert-error (:all Forms):
  `[;(lsc `(;Es) Forms:
     (let* {Heads [(block Body)]} (upto-block Es)
      L (integer (ast-line (hd Heads))):
      `(try (begin ;Body)
            (fmt "X\n~p:Expected to fail." [,L])
            {,L failed}
        :catch
         (;Heads: (fmt ".")
             {,L ok})
         (C R: (fmt "X\n~p:Unexpected failure: ~p\\~p" [,L C R])
            {,L failed}))
      )
     )])


(deftest test-if
    (assert-equal
     (1 (if true 1 2))
     (2 (if false 1 2))
     (3 (if false 1 false 2 3)))
  (assert-error
   (error if_clause: (if false 1)))
  )