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

[Pedro Borges <pdhb.lists@gmail.com>]

Hi Joel,

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

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

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


On Sun, May 15, 2011 at 2:56 PM, Joel Reymont <joelr1@gmail.com> wrote:
> 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
> ---------------------+------------+---------------------------------------
>
>
>
>
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa-roc.inria.fr/wws/info/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>