def deps.join

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

import Base

807# one dependency in front of the rest. A refusal ahead of the rest wins, so
808# the first in ledger order is the one given.
809def deps.join(fate: Fate, rest: Deps) -> Deps:
810  match fate:
811    case Became{d, +old, +new, +prev, m, says, trees}:
812      Deps{ds, ss, es, any, sy, tr, asks, bad} = rest
813      Deps{d <> ds, swaps.put(String.is_empty(old), old, new, ss),
814        swaps.put(String.is_empty(prev), prev, new, es), Bool.or(m, any),
815        List.append(&2, String, says, sy), List.append(&2, Laid, trees, tr), asks, bad}
816    case Waits{more}:
817      Deps{ds, ss, es, any, sy, tr, asks, bad} = rest
818      Deps{ds, ss, es, any, sy, tr, List.append(&2, Ask, more, asks), bad}
819    case Halts{why}:
820      Deps{ds, ss, es, any, sy, tr, asks, _bad} = rest
821      Deps{ds, ss, es, any, sy, tr, asks, halt.why(why)}