From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <sp@orbitalfox.com>
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 24C8C7FD90
	for <caml-list@sympa.inria.fr>; Thu, 12 Jan 2017 22:37:28 +0100 (CET)
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sp@orbitalfox.com; spf=None smtp.mailfrom=sp@orbitalfox.com; spf=None smtp.helo=postmaster@orbitalfox.com
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  sp@orbitalfox.com) identity=pra; client-ip=95.172.232.202;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="sp@orbitalfox.com";
  x-sender="sp@orbitalfox.com"; x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  sp@orbitalfox.com) identity=mailfrom;
  client-ip=95.172.232.202;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="sp@orbitalfox.com";
  x-sender="sp@orbitalfox.com"; x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@orbitalfox.com) identity=helo;
  client-ip=95.172.232.202;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="sp@orbitalfox.com";
  x-sender="postmaster@orbitalfox.com";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3AzRewphXzgOG2gP/u1bnzZuKIo+DV8LGtZVwlr6E/?=
 =?us-ascii?q?grcLSJyIuqrYYhGEt8tkgFKBZ4jH8fUM07OQ6PG8HzdYqs/c6TgrS99lb1c9k8?=
 =?us-ascii?q?IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBo?=
 =?us-ascii?q?KevrB4Xck9q41/yo+53Ufg5EmCexbal8IRiyogjdrMcbjZdtJqosyhbFv2ZDdv?=
 =?us-ascii?q?hLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfM?=
 =?us-ascii?q?TQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklD?=
 =?us-ascii?q?sLOjgk+2zRl8d+jr9UoAi5qhJi3YDUboGbOvlwcKzTctwVR3ZOUMlKWixdAI6x?=
 =?us-ascii?q?dZcDA/YPMOtaqYT2ulsArQG5BQmpHO7h1yVGjWLx0K0hy+QsCgbG3BY7ENIPrH?=
 =?us-ascii?q?TbttH1NKkVUeG61qXH0TLDb/ZP1Dr79YPGcQghrOmIUL9wa8bd1EsiGx3fglmO?=
 =?us-ascii?q?p4HpISmZ2voRv2SF6edrSPihhHQ9qw5rpzii3scshZfNhoIS0l3E8j95z500Jd?=
 =?us-ascii?q?2kUkF7ZdCkEJxfti2AK4R2RcYiT3lpuCY81LIGpYa2cSwKxZg92hLSaeKLf5KW?=
 =?us-ascii?q?7h/tSuqdOyl0iG57dL6ngha960mgyunyVsmu11ZKqzJIksLUtn0W0BzT8NOISv?=
 =?us-ascii?q?ph/ki73TaP2QfT6+5eLU8okqrbLoYtwqQsmZoLrUTDAij2lV3qg6CMc0Uk/vGk?=
 =?us-ascii?q?6+DmYrX9up+RLJR0iwH7MqQ2gMOzG+U4Mg4UX2ia4+uwzrPj/VeqCIlN2/Y/l6?=
 =?us-ascii?q?2ctJHBOewaoLS4CklbyNUN8RG6WgyemIADhVEANlhEZBuDgY/5fVrJJaarXr+E?=
 =?us-ascii?q?n12wnWIzlLj9Nbr7D8CVIw=3D=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DPBQCv9XdY/8rorF9dHAEBBAEBCgEBF?=
 =?us-ascii?q?wEBBAEBCgEBgxEBAQEBAR9iJ1+DULFHgXsShhkJAgyBfEESAQEBAQEBAQEBAQF?=
 =?us-ascii?q?iKIIzGYIeBhkKHQEBOA8LGgImAgJXEwgBAYkAsANogiWDCAEBBYZ/KgiBC4c8g?=
 =?us-ascii?q?l+FEoI6gl6VLYVwFJM1AYhPhjuSZCYGK4FEFTqEJYIKPjWIZgEBAQ?=
X-IPAS-Result: =?us-ascii?q?A0DPBQCv9XdY/8rorF9dHAEBBAEBCgEBFwEBBAEBCgEBgxE?=
 =?us-ascii?q?BAQEBAR9iJ1+DULFHgXsShhkJAgyBfEESAQEBAQEBAQEBAQFiKIIzGYIeBhkKH?=
 =?us-ascii?q?QEBOA8LGgImAgJXEwgBAYkAsANogiWDCAEBBYZ/KgiBC4c8gl+FEoI6gl6VLYV?=
 =?us-ascii?q?wFJM1AYhPhjuSZCYGK4FEFTqEJYIKPjWIZgEBAQ?=
X-IronPort-AV: E=Sophos;i="5.33,220,1477954800"; 
   d="scan'208";a="208958845"
Received: from orbitalfox.com ([95.172.232.202])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 12 Jan 2017 22:37:27 +0100
Received: from [192.168.88.5] (unknown [192.168.88.5])
	by orbitalfox.com (Postfix) with ESMTPSA id 1C8A4AA0032
	for <caml-list@inria.fr>; Thu, 12 Jan 2017 21:37:25 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=orbitalfox.com;
	s=orbitalfox; t=1484257046;
	bh=1IjYZMeYUN9dRuItCcXgbCULsMOPqRYPjs2BZmi+9/g=;
	h=Subject:To:References:From:Date:In-Reply-To;
	b=Gf4bsLeyluhYAXLqdP/ProRwe+YulmS3uOKF5D7ZP0TN0005UjfzZXwJhC+2uFsP6
	 +UvrEZCOTvhubuu8XHmaIVczqxLgXYg68c6iJJYKJw71SQb0rSAmhpWFKbRMexjaDG
	 BxMEXqire7SNxuIX3PTNa1pKe3fqr9hoGNsTHhVE=
To: caml-list@inria.fr
References: <f5c2459b-ada4-fe00-d733-a1148f041d8f@inria.fr>
From: SP <sp@orbitalfox.com>
Message-ID: <89b3a273-ed12-b1ed-202b-f1e3610c00e0@orbitalfox.com>
Date: Thu, 12 Jan 2017 21:37:24 +0000
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:45.0)
 Gecko/20100101 Thunderbird/45.6.0
MIME-Version: 1.0
In-Reply-To: <f5c2459b-ada4-fe00-d733-a1148f041d8f@inria.fr>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] Improved type error messages for Ocaml

Nice!

-- 
    SP