def why.read

ezx@1.11.0.0 · src/pub/plan.bend:626

import Base

626# why an upload that bend finished does not agree: it printed no line that
627# is a name, or a name that is not ours. Both numbers are named, since the
628# next question is which walk drifted, and neither is reported as the
629# package's name.
630def why.read(+ours: String, +text: String) -> String:
631  +theirs = other(ours, String.lines(text))
632  Bool.pick(String, String.is_empty(theirs),
633    "ez: bend printed no line that is a 0x name, so there is nothing to " ++
634      "check ez's hash against. bend said:\n" ++ text,
635    "ez: ez computed " ++ ours ++ " and bend published " ++ theirs ++
636      ". One of the two package walks has drifted from the other, so " ++
637      "neither name is safe to write down and ez has reported none.")