Re: [Caml-list] do i need a private row type?

[Joel Reymont <joelr1@gmail.com>]

On May 19, 2011, at 6:15 AM, Pedro Borges wrote:

> the current version is a bit ahead of your version I think.

Maybe, maybe not :-). 

> you can cast any socket type to (generic Socket.t) so you can have
> different socket types inside the poll.

I don't need to cast in my new phantom types version, I can just stick the various 
sockets into the poll mask, regardless of type. There's no type loss information either
because I don't return sockets, I return flags, e.g.

module Poll : sig

  type t

  type poll_event = In | Out | In_out
  type poll_socket = [`Pair|`Pub|`Sub|`Req|`Rep|`Dealer|`Router|`Pull|`Push] Socket.t
  type poll_mask = (poll_socket * poll_event)

  val mask_of : poll_mask array -> t
  val poll : ?timeout: int -> t -> poll_event option array

end

This also does not rely on OCaml figuring out that the socket I returned is the same
as the socket I put in. I know that the returned flags in position N apply 
to the socket in the same position in the poll mask.

> This weekend I'm going to look at the bindings again. They need a serious fix.

I have fixed the bindings enough for our ad serving use. Please take a look at 
the batch of commits in your pull queue on Github.

--------------------------------------------------------------------------
- for hire: mac osx device driver ninja, kernel extensions and usb drivers
---------------------+------------+---------------------------------------
http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont
---------------------+------------+---------------------------------------