def short

ezx@1.11.0.0 · src/ez/prove.bend:120

import Base

120# every proof the answers ran out before. The two lists are the same length by
121# construction and this should never have one to report, but the alternative
122# to saying so is a green count over fewer proofs than the tree holds.
123def short(ps: List<&2, String>) -> IO(Unit):
124  match ps:
125    case Nil{}:
126      IO.pure(Unit, Unit{})
127    case Con{+h, t}:
128      do IO<Unit>:
129        IO.print("FAIL: " ++ h ++ ": the run never answered for it")
130        short(t)