From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p2O0GvE9005824 for ; Thu, 24 Mar 2011 01:16:57 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AigCAJcqik1KfVI0imdsb2JhbAClPQgUAQEBCgkNBxIGIYhNn1eKVIIfhQwviFwBAQMFhWQEjG+DUnOEQTqDEA X-IronPort-AV: E=Sophos;i="4.63,234,1299452400"; d="scan'208";a="78948499" Received: from mail-ww0-f52.google.com ([74.125.82.52]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 24 Mar 2011 01:16:51 +0100 Received: by wwj40 with SMTP id 40so11897473wwj.9 for ; Wed, 23 Mar 2011 17:16:51 -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=a/IQnUj4sISjpQzRQsKzPti5+67HSkO6O2kdOZVgBrE=; b=HG8aveLPGxBIU+eMs+qDMhxM/7lIFf8nyiaYwCPddvw/jZDpD/V4oqyfxCkZPC+59o +cZaKkTUlWLpIoAyoV1gD5mDk0KgrZBHCho+BnrnDO2RtWveiX2VhN5Bx6r486rqUOde q6mQP+btqQ8ljqjzSENv4Ps5/dgJA6h9HF60o= 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=CTYnOSpvFE+vW6FzrSq9BrsmaqoSzEXbPVJO3PDgON9UrLZo45J6BZkZyZEGWpMTG+ LYlBVGDozX9anuQQ8gBZ0UXnU80uhc8NkUG6XcnVziXaIDcNgdmk28YMIHwR70YiZrCI 7MfiGa5ss7acDbw9/46/5brc8ls5Jn6/EZ6fE= Received: by 10.227.195.211 with SMTP id ed19mr7026415wbb.208.1300925811501; Wed, 23 Mar 2011 17:16:51 -0700 (PDT) Received: from [192.168.0.195] ([95.60.213.7]) by mx.google.com with ESMTPS id b20sm4050247wbb.16.2011.03.23.17.16.49 (version=TLSv1/SSLv3 cipher=OTHER); Wed, 23 Mar 2011 17:16:50 -0700 (PDT) Mime-Version: 1.0 (Apple Message framework v1082) Content-Type: text/plain; charset=us-ascii From: Joel Reymont In-Reply-To: <622E23E3-5614-4ADE-B517-672577A406A2@math.nagoya-u.ac.jp> Date: Thu, 24 Mar 2011 00:16:47 +0000 Cc: caml-list@inria.fr Content-Transfer-Encoding: 7bit Message-Id: References: <07EE3576-E5F0-4187-AE8C-DEFEA5C92303@gmail.com> <622E23E3-5614-4ADE-B517-672577A406A2@math.nagoya-u.ac.jp> To: Jacques Garrigue X-Mailer: Apple Mail (2.1082) Subject: Re: [Caml-list] fighting the type system Jacques, On Mar 23, 2011, at 11:56 PM, Jacques Garrigue wrote: > If you just want the Endpoint interface to specify an object type > containing at least write, you could use a private row type: The private row type is what I was clearly missing. Why does it work with the private row type, though? Are there other uses for 'private' in a module? Is the use of private row types described somewhere? Thanks, Joel -------------------------------------------------------------------------- - for hire: mac osx device driver ninja, kernel extensions and usb drivers ---------------------+------------+--------------------------------------- http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont ---------------------+------------+---------------------------------------