Wirespec.wire.fail.late: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/wirespec.bend as Wirespec
Lines 343-359 of emerging-ezhttp@0.21.0.0/src/wirespec.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/wirespec.bend&start_line=343&end_line=359

import Base

# a call that ran out of time, by its phase
def wire.fail.late(p: Phase, host: String, +port: U32, +ms: U32, +n: U32)
  -> String:
  match p:
    case Resolve{}:
      wire.fail.resolve(host, n, U32.is_eq(n, 2))
    case Connect{}:
      "28\nconnecting to " ++ host ++ " port " ++ U32.show(port)
        ++ " took over " ++ U32.show(ms) ++ " ms"
    case Handshake{}:
      "28\nthe TLS handshake with " ++ host ++ " took over " ++ U32.show(ms)
        ++ " ms"
    case Send{}:
      "28\nsending the request to " ++ host ++ " took over " ++ U32.show(ms)
        ++ " ms"
    case Receive{}:
      "28\n" ++ host ++ " sent nothing for " ++ U32.show(ms) ++ " ms"

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.show
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/wirespec.bend&name=Phase
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/wirespec.bend&name=wire.fail.resolve