def short

ezx@1.11.0.0 · src/ez/test.bend:62

import Base

62# every test the answers ran out before. The two lists are the same length by
63# construction and this should never have one to report, but the alternative to
64# saying so is a green count over fewer tests than the tree holds, which is the
65# worst answer a gate can give.
66def short(ts: List<&2, String>, score: Tally) -> IO(Tally):
67  match ts:
68    case Nil{}:
69      IO.pure(Tally, score)
70    case Con{_h, rest}:
71      do IO<Tally>:
72        IO.write("FAIL: the run planned a test it never got an answer for\n")
73        short(rest, tally(False{}, score))