Run.clone.miss: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/run.bend as Run
Lines 162-167 of ezx@1.11.0.0/src/lock/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/run.bend&start_line=162&end_line=167

import Base
import snap@1.4.0.0/main.bend as R
import ezx@1.11.0.0/src/lock/world.bend as W

# a checkout that could not be made or read is removed, and the question is
# answered with why
def clone.miss(+work: String, +why: String) -> IO(W.Answer):
  do IO<W.Answer>:
    _rm : String <- R.exec(["rm", "-rf", work])
    return W.Miss{why}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Answer
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/main.bend&name=exec