		Search-engine friendly clone of the ACL2 documentation.

Raise

Shorthand for causing hard errors.

(raise &rest args) is equivalent to (er hard? ...), but it automatically fills in the function name using __function__.

This only works in contexts where __function__ is bound, e.g., the body of a define or within a defconsts form. In these contexts, rather than write something like:

(er hard? __function__ "bad input value ~x0~%" x)

You can just write:

(raise "bad input value ~x0~%" x)

Logically raise just returns nil.

Macro: raise

(defmacro raise (&rest args)
  (cons 'er
        (cons 'hard?
              (cons '__function__ args))))