		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)))