def report

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

import Base

132# every proof, in the tree's order however the run happened to interleave
133def report(ps: List<&2, String>, as: List<&2, String>, +gigs: String, +passed: Nat) -> IO(Nat):
134  match ps as:
135    case Con{+h, pt} Con{+x, xt}:
136      do IO<Nat>:
137        next : Nat <- one(h, gigs, x, passed)
138        report(pt, xt, gigs, next)
139    case rest _x:
140      do IO<Nat>:
141        short(rest)
142        return passed