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

[Joel Reymont <joelr1@gmail.com>]

Gabriel,

On May 16, 2011, at 3:39 PM, Gabriel Scherer wrote:

> A solution to this problem would be to tag each item with its provenance type, so that you can regain fine-grained types dynamically :
> 
> type any_poll =
>   | Pair of pair poll
>   | Sub of sub poll
>   | ...

I do agree with you on the losing of types.

I cannot have a pair poll, sub poll, etc. because poll takes in the array of 'any socket' types. 

I wonder if the right solution here is -not- to return the socket from the call to poll but just return the flags. 

You can then get hold of the socket itself in the original poll set and that socket would have the original type information.

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