Commits

Anonymous committed 32efd51

Fix the [v4compat] and [v4mapped] address type tags so that they are
actually polymorphic variants, like they're supposed to be.

  • Participants
  • Parent commits 6cfcc4f

Comments (0)

Files changed (2)

cf/cf_ip6_addr.ml

 external unicast_format:
     [> unicast] t -> unicast_format = "cf_ip6_addr_unicast_format"
 
-type v4compat = [ unicast | `V4C ] t
+type v4compat = [ unicast | `V4C ]
 external is_v4compat:
     [> unicast ] t -> Cf_ip4_addr.opaque Cf_ip4_addr.t =
     "cf_ip6_addr_is_v4compat"
     [> Cf_ip4_addr.unicast ] Cf_ip4_addr.t -> v4compat t =
     "cf_ip6_addr_to_v4compat"
 
-type v4mapped = [ unicast | `V4M ] t
+type v4mapped = [ unicast | `V4M ]
 external is_v4mapped:
     [> unicast ] t -> Cf_ip4_addr.opaque Cf_ip4_addr.t =
     "cf_ip6_addr_is_v4mapped"

cf/cf_ip6_addr.mli

 val unicast_format: [> unicast ] t -> unicast_format
 
 (** The shadow attribute of "v4-compat" unicast addresses *)
-type v4compat = [ unicast | `V4C ] t
+type v4compat = [ unicast | `V4C ]
 
 (** Use [is_v4compat a] to obtain the opaque IPv4 address corresponding to the
     v4-compat IPv6 address.  Raises [Failure] if the address is not a v4-compat
 val to_v4compat: [> Cf_ip4_addr.unicast ] Cf_ip4_addr.t -> v4compat t
 
 (** The shadow attribute of "v4-mapped" unicast addresses *)
-type v4mapped = [ unicast | `V4M ] t
+type v4mapped = [ unicast | `V4M ]
 
 (** Use [is_v4mapped a] to obtain the opaque IPv4 address corresponding to the
     v4-mapped IPv6 address.  Raises [Failure] if the address is not a v4-mapped