|
|
|---|
|
|
|
|---|
A top-level assert$-like command to ensure that given forms are redundant.
The forms are put into an encapsulate, along with a set-enforce-redundancy command that precedes them.
Macro:
(defmacro must-be-redundant (&rest forms) (cons 'encapsulate (cons 'nil (cons '(set-enforce-redundancy t) forms))))