Basic constructor macro for rlp-error-subtree structures.
(make-rlp-error-subtree [:error <error>])
This is the usual way to construct rlp-error-subtree structures. It simply conses together a structure with the specified fields.
This macro generates a new rlp-error-subtree structure from scratch. See also change-rlp-error-subtree, which can "change" an existing structure, instead.
This is an ordinary
Macro:
(defmacro make-rlp-error-subtree (&rest args) (std::make-aggregate 'rlp-error-subtree args '((:error)) 'make-rlp-error-subtree nil))
Function:
(defun rlp-error-subtree (error) (declare (xargs :guard (rlp-error-p error))) (declare (xargs :guard t)) (let ((__function__ 'rlp-error-subtree)) (declare (ignorable __function__)) (b* ((error (mbe :logic (rlp-error-fix error) :exec error))) (cons :subtree (list error)))))