Recursively delete files, like the shell command rm -rf, causing
a hard error on any failure.
(rmtree! path &key (state 'state)) → state
- path — Guard (stringp path).
Definitions and Theorems
(defun rmtree!-fn (path state)
(declare (xargs :stobjs (state)))
(declare (xargs :guard (stringp path)))
(let ((__function__ 'rmtree!))
(declare (ignorable __function__))
(b* (((mv successp state) (rmtree path))
(raise "Error removing ~s0." path)