uri_parse_error.pony

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
primitive InvalidPort is Stringable
  """
  Port is non-numeric or exceeds U16 range.
  """
  fun string(): String iso^ => "InvalidPort".clone()

primitive InvalidHost is Stringable
  """
  Malformed host: unmatched brackets, an IPv6 address that does not
  match the RFC 3986 grammar, a malformed IPvFuture literal, or a
  reg-name containing ':'.
  """
  fun string(): String iso^ => "InvalidHost".clone()

type URIParseError is (InvalidPort | InvalidHost)