def tools.join

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

import Base

1087def tools.join(pinned: Pinned, rest: Tools) -> Tools:
1088  match pinned:
1089    case Pinned{t, m, says}:
1090      Tools{ts, any, sy, asks, bad} = rest
1091      Tools{t <> ts, Bool.or(m, any), List.append(&2, String, says, sy), asks, bad}
1092    case PinWait{more}:
1093      Tools{ts, any, sy, asks, bad} = rest
1094      Tools{ts, any, sy, List.append(&2, Ask, more, asks), bad}
1095    case PinHalt{why}:
1096      Tools{ts, any, sy, asks, _bad} = rest
1097      Tools{ts, any, sy, asks, halt.why(why)}