Wirespec.wire.fail.other: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/wirespec.bend as Wirespec
Lines 361-376 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=361&end_line=376

import Base

# a call that failed for another reason, by its phase
def wire.fail.other(p: Phase, host: String, +port: U32, +n: U32, why: String)
  -> String:
  match p:
    case Resolve{}:
      wire.fail.resolve(host, n, U32.is_eq(n, 2))
    case Connect{}:
      "7\ncould not reach " ++ host ++ " port " ++ U32.show(port) ++ ": "
        ++ wire.cause(n)
    case Handshake{}:
      "35\nthe TLS handshake with " ++ host ++ " failed: " ++ wire.cause(n)
        ++ ": " ++ why
    case Send{}:
      "55\nthe request to " ++ host ++ " could not be sent: " ++ wire.cause(n)
    case Receive{}:
      "56\nthe answer from " ++ host ++ " was cut short: " ++ wire.cause(n)

Uses (8):
  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.cause
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/wirespec.bend&name=wire.fail.resolve