From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p4GE8iSQ012694 for ; Mon, 16 May 2011 16:08:44 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuQBAEYv0U1KfVI0kGdsb2JhbACmDggUAQEBAQkJDQcUBCGIcKFSjBqCNYRgN4hiAQEDBoYTBJARhC+BEYVFO4M3 X-IronPort-AV: E=Sophos;i="4.64,374,1301868000"; d="scan'208";a="108698499" Received: from mail-ww0-f52.google.com ([74.125.82.52]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 May 2011 16:08:39 +0200 Received: by mail-ww0-f52.google.com with SMTP id 31so6054593wwb.9 for ; Mon, 16 May 2011 07:08:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:subject:mime-version:content-type:from :in-reply-to:date:cc:content-transfer-encoding:message-id:references :to:x-mailer; bh=Kwlw4hrv8puOg52TeCx59pjFrXixELMrn0aGV7QX7e8=; b=PBB5lcvVK5jtXT5vUqHraVh6dfi2w3RPvuO+R0udSwq5NcpZIaDgFJ6zWZCceQq7Gq vnAqdjbQj5yMtXuvhljRreN2LdOthzIUCtOB/D5uAsnf0yGek4Cm8/gcO5jCarSio1fK Igi0uR/H+y1VjKq+2o5yUbjA9von+V67oY0HI= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=subject:mime-version:content-type:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to:x-mailer; b=SdLQKPIbI5X0hwtgy3d1llbch5xRIZY9ZYVs+QVAe5OdXho6cnt2c26ZM/AgVTGPYv EI/Es8L/xT86hBlkbHgRn9Md16tNnTAswALBUvxewf63JY49iOuvyek0LGDaZ4P9UkbG UAY/o8nUHqbpYuojAnXLFJwW2q857RUvjlzeE= Received: by 10.227.27.98 with SMTP id h34mr4217308wbc.113.1305554919191; Mon, 16 May 2011 07:08:39 -0700 (PDT) Received: from [10.0.1.31] ([87.54.60.37]) by mx.google.com with ESMTPS id bd8sm3165746wbb.65.2011.05.16.07.08.37 (version=TLSv1/SSLv3 cipher=OTHER); Mon, 16 May 2011 07:08:38 -0700 (PDT) Mime-Version: 1.0 (Apple Message framework v1084) Content-Type: text/plain; charset=us-ascii From: Joel Reymont In-Reply-To: Date: Mon, 16 May 2011 16:08:36 +0200 Cc: caml-list Message-Id: <29BADAA8-97CF-4C4D-92AD-29B1BFA736F4@gmail.com> References: <87wrhr9n88.fsf@frosties.localnet> <522E096A-D3D5-466A-A445-AC5932F7B68F@gmail.com> <4B14DFCC-03B8-49CD-87A6-844D23FAC53A@gmail.com> To: Gabriel Scherer X-Mailer: Apple Mail (2.1084) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p4GE8iSQ012694 Subject: Re: [Caml-list] do i need a private row type? On May 16, 2011, at 4:06 PM, Gabriel Scherer wrote: > module Device : sig > type pull > type push > type pub > type sub > type router > type dealer > 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 This is very much how it was before and then I could not implement the poll 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 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 ---------------------+------------+---------------------------------------