Test.short: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/test.bend as Test
Lines 62-73 of ezx@1.11.0.0/src/ez/test.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/test.bend&start_line=62&end_line=73

import Base

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

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.write
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/test.bend&name=Tally
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/test.bend&name=tally