		Search-engine friendly clone of the ACL2 documentation.

Oslib

Rmtree!

Recursively delete files, like the shell command rm -rf, causing a hard error on any failure.

Signature
(rmtree! path &key (state 'state)) → state
Arguments: path — Guard (stringp path).

Definitions and Theorems

Function: rmtree!-fn

(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))
                 ((unless successp)
                  (raise "Error removing ~s0." path)
                  state))
                state)))