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

[Joel Reymont <joelr1@gmail.com>]

https://github.com/wagerlabs/ocaml-zmq/blob/master/src/ZMQ.ml

Looking at the Poll module at the bottom and the definition of poll_item as

  type 'a poll_item = ('a Socket.t * event_mask)

I would like to be able to put different 'a in the same poll_item array. 

This is not possible as written, e.g. 

Error: This expression has type
         ZMQ.Socket.pub ZMQ.Socket.t * ZMQ.Poll.event_mask
       but an expression was expected of type
         ZMQ.Socket.pull ZMQ.Socket.t * ZMQ.Poll.event_mask

How do I type poll_item and poll_item array so that the array is polymorphic with respect to 'a?

Does the definition of Socket a the top of ZMQ.ml need to be changed to make this possible?

	Thanks, Joel

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