+(defmacro assert-condition (condition form &optional message)
+ (let ((cond (gensym "COND-")))
+ `(handler-case
+ (progn
+ ,form
+ (values))
+ (t (,cond)
+ (when (and (typep ,cond 'serious-condition)
+ (not (typep ,cond ,condition)))
+ (failure-message
+ ,message
+ "Assert condition ~A, but signaled condition ~A"
+ ,condition ,cond)))
+ (:no-error ()
+ (failure-message ,message
+ "Assert condition ~A, but no condition signaled"
+ ,condition)))))