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 p4GD2DF7008008 for ; Mon, 16 May 2011 15:02:13 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuQBAAAg0U1KfVI0kGdsb2JhbACmDAgUAQEBAQkJDQcUBCGqYYwagjWETjeIYgEBAwaGEwSQEYQvgRGFRTuDNw X-IronPort-AV: E=Sophos;i="4.64,374,1301868000"; d="scan'208";a="108688502" 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 15:02:04 +0200 Received: by mail-ww0-f52.google.com with SMTP id 31so5966441wwb.9 for ; Mon, 16 May 2011 06:02:04 -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=zn4h3Vhx7eZ5tHPj/u08omj9eoY2SRf2O/4CGigxwKE=; b=JgS5KXa36f7rPWsCodtWhmv7RYwxV7xl2GF9jfS3JyGXf6uycS1n9DzsvM1bcBOh9J bJEHvgvlE8c7wfk963tI/hsQty9jo98xTz9dEEMGoUsXrx/UWQ+nXB68oGnSS62v7ZNq SvA0w0ynIHvb01wdRS84CX8pPC9zhuoz5aAp8= 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=Cg+7sy8eAv2qRb8OxznCvLHOwiebJpM6mgeBhuBnJoIGi0wPVZQB3lFYgxFatCa7TQ C+s/gKzOU4WP4CN2wZZeArSyydoEF6wDSzVp1NHxLs1Y4UTbPJjRgJDcmmZonriNOZ7q 14+2x17T0PlHXk2R874sZ0XrZVZt9M8UCTRDQ= Received: by 10.227.5.194 with SMTP id 2mr4344095wbw.93.1305550923986; Mon, 16 May 2011 06:02:03 -0700 (PDT) Received: from [10.0.1.31] ([87.54.60.37]) by mx.google.com with ESMTPS id t8sm8733wbz.67.2011.05.16.06.02.01 (version=TLSv1/SSLv3 cipher=OTHER); Mon, 16 May 2011 06:02:03 -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 15:02:00 +0200 Cc: Goswin von Brederlow , caml-list Message-Id: <522E096A-D3D5-466A-A445-AC5932F7B68F@gmail.com> References: <87wrhr9n88.fsf@frosties.localnet> 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 p4GD2DF7008008 Subject: Re: [Caml-list] do i need a private row type? Issue solved thanks to Anil Madhavapeddy. val pair : [>`Pair] kind val pub : [>`Pub] kind etc. and then 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 This does it! -------------------------------------------------------------------------- - for hire: mac osx device driver ninja, kernel extensions and usb drivers ---------------------+------------+--------------------------------------- http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont ---------------------+------------+---------------------------------------