def pins.bad

ezx@1.11.0.0 · src/lock/up.bend:1249

import ezx@1.11.0.0/src/lock/up.bend as Up
import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M

1249# a refusal wins over every question still open
1250def pins.bad(
1251  clean: Bool,
1252  +bad: String,
1253  asks: List<&2, Ask>,
1254  +rs: List<&2, Reply>,
1255  +old: M.Manifest,
1256  dd: Deps,
1257  tt: Tools
1258) -> Next:
1259  match clean:
1260    case True{}:
1261      pins.asks(asks, rs, old, dd, tt)
1262    case False{}:
1263      stopped(M.Good{old}, bad, [])

Uses (12)

Used by (1)