def pins

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

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

1265# the dependencies' and the tools' answers together
1266def pins(dd: Deps, tt: Tools, +rs: List<&2, Reply>, +old: M.Manifest) -> Next:
1267  Deps{ds, ss, es, dm, dsy, dtr, dasks, +dbad} = dd
1268  Tools{ts, tm, tsy, tasks, +tbad} = tt
1269  pins.bad(Bool.and(String.is_empty(dbad), String.is_empty(tbad)),
1270    Bool.pick(String, String.is_empty(dbad), tbad, dbad),
1271    List.append(&2, Ask, dasks, tasks), rs, old,
1272    Deps{ds, ss, es, dm, dsy, dtr, [], ""}, Tools{ts, tm, tsy, [], ""})

Uses (13)

Used by (1)