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

[Joel Reymont <joelr1@gmail.com>]

What about this?

It almost works, e.g. 

File "ZMQ.mli", line 125, characters 7-99:
Error: A type variable is unbound in this type declaration.
In type
  ([> `Dealer | `Pair | `Pub | `Pull | `Push | `Rep | `Req | `Router | `Sub ]
   as 'a)
  Socket.t * event_mask the variable 'a is unbound

I marked line 125 below.

	Thanks, Joel

---

module Socket :
sig
  type 'a t
  type 'a kind

  val pair   : [`Pair] kind
  val pub    : [`Pub] kind
  val sub    : [`Sub] kind
  val req    : [`Req] kind
  val rep    : [`Rep] kind
  val dealer : [`Dealer] kind
  val router : [`Router] kind
  val pull   : [`Pull] kind
  val push   : [`Push] kind

  ...

  val subscribe : [`Sub] t -> string -> unit
  val unsubscribe : [`Sub] t -> string -> unit

end

module Device :
sig

  val streamer  : [`Pull] Socket.t -> [`Push] Socket.t -> unit
  val forwarder : [`Sub] Socket.t -> [`Pub] Socket.t -> unit
  val queue     : [`Router] Socket.t -> [`Dealer] Socket.t -> unit

end

module Poll :
sig

  type t

  type event_mask = In | Out | In_out

  type poll_socket = [>`Pair|`Pub|`Sub|`Req|`Rep|`Dealer|`Router|`Pull|`Push] Socket.t (* <---- line 125 *)
  type poll_item = (poll_socket * event_mask)

  val of_poll_items : poll_item array -> t

  val poll : ?timeout: int -> t -> poll_item array

end

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