From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rich@annexia.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 1F5BE7F616
	for <caml-list@sympa.inria.fr>; Wed, 22 Feb 2017 18:38:16 +0100 (CET)
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rich@annexia.org; spf=Pass smtp.mailfrom=rich@annexia.org; spf=Pass smtp.helo=postmaster@annexia.org
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  rich@annexia.org) identity=pra; client-ip=80.68.91.176;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="rich@annexia.org";
  x-sender="rich@annexia.org"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  rich@annexia.org designates 80.68.91.176 as permitted sender)
  identity=mailfrom; client-ip=80.68.91.176;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="rich@annexia.org";
  x-sender="rich@annexia.org"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  postmaster@annexia.org designates 80.68.91.176 as permitted
  sender) identity=helo; client-ip=80.68.91.176;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="rich@annexia.org";
  x-sender="postmaster@annexia.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
IronPort-PHdr: =?us-ascii?q?9a23=3AvHP6UxYIHVAQp8mvcNz2OEX/LSx+4OfEezUN459i?=
 =?us-ascii?q?sYplN5qZoMyybnLW6fgltlLVR4KTs6sC0LuL9fm+EjVYuN6oizMrSNR0TRgLiM?=
 =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?=
 =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCzbL52LBi6txjdu8gZjYd/Nqo91wbCr2dVde?=
 =?us-ascii?q?hR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/Y?=
 =?us-ascii?q?TQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkhS?=
 =?us-ascii?q?EaPDM/7WrZiNF/jLhDrRyvpxJx3ZPaboKbNPVxYqzSYNEVSmRaU8ZNSyBMGJ+w?=
 =?us-ascii?q?Y5cVAuYfO+tTsonzp0EJrRu7HQSgCv/hyj5UiX/2x6I6yfkuGhzG0wA6GNwCqm?=
 =?us-ascii?q?nfotHyNKcUT++116fExijEYvNM2Dfy9IjIfws7rvGKW7J/b8XQyUg1GA/fiVWQ?=
 =?us-ascii?q?s4PlMiqT2+8QsGab9/JtWOGzh2I9qgx8oSKjy8MxhoXTm44YyFHJ+CNky4gvP9?=
 =?us-ascii?q?K4UlR0Ydu8HZtQqS6aM4x2T9s4TGFuviY11LIHuZ+hcyQQz5Qn3RHfZ+SGc4iO?=
 =?us-ascii?q?/B3jSP6cLDRkiH5/eb+yhAy+/Ey9xuHmS8W50ldHojJAktbWt3AN0xLT6tKASv?=
 =?us-ascii?q?t45kqhwzeP2BzT6uxfO080k6zbJIAuw74xjJUfq0PDHjX5mEnulq+Zal0k+vS0?=
 =?us-ascii?q?6+TgerjpuoWTN4pwig3nNqQum9e/AfgjPwgVX2mb/Py826f58U34RrVKlPw2nb?=
 =?us-ascii?q?PDvJDUP8RI7pK+ViNc14cu7V6QEjat0N0CkTFTJVZdeBuNi4/iOHnJOvn+Avr5?=
 =?us-ascii?q?jU76wxlxwPWTdIfgCZXENHSLr/HEO/5f7EhR00B7mcpe7JJ8A7cHLeLyUwn2rt?=
 =?us-ascii?q?OOXUxxCBC93+uyUIY17YgZQ2/aWqI=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DYAwBoy61Y/7BbRFBeGgEBAQECAQEBA?=
 =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBgyaEd5sCAQEBAQEBBoEil0GGIgKDBUIVAQE?=
 =?us-ascii?q?BAQEBAQEBAQFhKIIzIIIeAQU6PxALDgoJExIPBSghiXsRsTeLOAEBCAImhgc7h?=
 =?us-ascii?q?HmKOQWVZoYqAZIVgXABjyyTJTUigQBhCD6GSUCKSQEBAQ?=
X-IPAS-Result: =?us-ascii?q?A0DYAwBoy61Y/7BbRFBeGgEBAQECAQEBAQgBAQEBFQEBAQE?=
 =?us-ascii?q?CAQEBAQgBAQEBgyaEd5sCAQEBAQEBBoEil0GGIgKDBUIVAQEBAQEBAQEBAQFhK?=
 =?us-ascii?q?IIzIIIeAQU6PxALDgoJExIPBSghiXsRsTeLOAEBCAImhgc7hHmKOQWVZoYqAZI?=
 =?us-ascii?q?VgXABjyyTJTUigQBhCD6GSUCKSQEBAQ?=
X-IronPort-AV: E=Sophos;i="5.35,195,1484002800"; 
   d="scan'208";a="214387039"
Received: from annexia.org ([80.68.91.176])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Feb 2017 18:38:15 +0100
Received: from rich by annexia.org with local (Exim 4.84_2)
	(envelope-from <rich@annexia.org>)
	id 1cgarm-0001uy-Lz; Wed, 22 Feb 2017 17:38:14 +0000
Date: Wed, 22 Feb 2017 17:38:14 +0000
From: "Richard W.M. Jones" <rich@annexia.org>
To: Damien Guichard <alphablock@orange.fr>
Cc: caml-list@inria.fr
Message-ID: <20170222173814.GG28111@annexia.org>
References: <20170222170101.GE28111@annexia.org>
 <61e8bf6f-4abc-26e7-7b0b-ce935faaf8b8@orange.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <61e8bf6f-4abc-26e7-7b0b-ce935faaf8b8@orange.fr>
User-Agent: Mutt/1.5.23 (2014-03-12)
Subject: Re: [Caml-list] List of structurally typed objects

On Wed, Feb 22, 2017 at 06:28:51PM +0100, Damien Guichard wrote:
> 
> Hi Richard.
> 
> Is this the code you want ?
> 
> type 'a obj_list = 'a list
> constraint 'a = < hello : string; .. > as 'a

Perhaps.  Is it possible to write the list_fns.mli interface
using this?

Rich.