example. 算术减法表达式的未知语法异常[lp-invalid]

(interpret '(- 1 2) '())

⇒ "expected exception: invalid-expression" · checked