Commits

Anonymous committed b2d73bb

Explicitly specify socket type tags.

  • Participants
  • Parent commits 6df74ea

Comments (0)

Files changed (4)

File cf/cf_sock_dgram.ml

 end
 
 module type T = sig
-    include Cf_sock_common.T
+    include Cf_sock_common.T with type P.ST.tag_t = [ `SOCK_DGRAM ]
 
     class endpoint:
         t ->

File cf/cf_sock_dgram.mli

     module type used for handling sockets of the [SOCK_DGRAM] socket type.
 *)
 module type T = sig
-    include Cf_sock_common.T
+    include Cf_sock_common.T with type P.ST.tag_t = [ `SOCK_DGRAM ]
 
     (** Use [new endpoint sock] to construct an object derived from
         {!Cf_sock_common.T.basic} that sports methods for sending data to one

File cf/cf_sock_stream.ml

 end
 
 module type T = sig
-    include Cf_sock_common.T
+    include Cf_sock_common.T with type P.ST.tag_t = [ `SOCK_STREAM ]
 
     class initiator:
         ?sock:t -> ?src:address_t -> address_t ->

File cf/cf_sock_stream.mli

     module type used for handling sockets of the [SOCK_STREAM] socket type.
 *)
 module type T = sig
-    include Cf_sock_common.T
+    include Cf_sock_common.T with type P.ST.tag_t = [ `SOCK_STREAM ]
 
     (** Use [new initiator ?sock ?src addr] to construct an object derived from
         {!Cf_sock_common.T.basic} that sports a method for connecting to a