def whole.miss

ezx@1.11.0.0 · src/lock/run.bend:433

import Base
import snap@1.4.0.0/main.bend as R
import ezx@1.11.0.0/src/lock/up.bend as Up

433# a checkout `ez add` walks, which could not be made or read: removed, and
434# the question answered with why
435def whole.miss(+work: String, +why: String) -> IO(Up.Answer):
436  do IO<Up.Answer>:
437    _rm : String <- R.exec(["rm", "-rf", work])
438    return Up.Miss{why}