def wire.fail.of

emerging-ezhttp@0.21.0.0 · src/wirespec.bend:378

import Base

378# a failure once it is known whether it ran out of time
379def wire.fail.of(p: Phase, host: String, +port: U32, +ms: U32, +n: U32,
380  why: String, late: Bool) -> String:
381  match late:
382    case True{}:
383      wire.fail.late(p, host, port, ms, n)
384    case False{}:
385      wire.fail.other(p, host, port, n, why)