Assert Check Macro

assert-check.stanza

defpackage assert-check :
  import core
  import stz/core-macros

defsyntax assert :
    import exp4 from core

    defrule exp4 = (assert(?check-expr)) :
        println("Assert Check")
        println("check-expr = %~" % [check-expr])

        val format-string = to-string("ASSERT: %_ = %%~" % [name(unwrap-token(check-expr))])
        val form = qquote(println(~ format-string % [~ check-expr]))
        parse-syntax[core / #exp](form)