From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 45E158021A for ; Sat, 23 Sep 2017 19:47:13 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=christophe@raffalli.eu; spf=Pass smtp.mailfrom=christophe@raffalli.eu; spf=None smtp.helo=postmaster@mailler06.lws-hosting.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of christophe@raffalli.eu) identity=pra; client-ip=31.207.32.247; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christophe@raffalli.eu"; x-sender="christophe@raffalli.eu"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of christophe@raffalli.eu designates 31.207.32.247 as permitted sender) identity=mailfrom; client-ip=31.207.32.247; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christophe@raffalli.eu"; x-sender="christophe@raffalli.eu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mailler06.lws-hosting.com) identity=helo; client-ip=31.207.32.247; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christophe@raffalli.eu"; x-sender="postmaster@mailler06.lws-hosting.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AB83v/xSeYngtBnkpqDMKRMOs/dpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa64ZRWN2/xhgRfzUJnB7Loc0qyN7PCmBDRIyK3CmU5BWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnY/BBjlCgp0?= =?us-ascii?q?OumwX6eaz4Huj7jzqNXvZFACjzO4ZfZ2LQ6qhQTXrMgfx4V4YO5lwRLMpj5Mev?= =?us-ascii?q?9K7WJuP1Oa2RjmsJSe5plmpg9QofM668lYUaiyRa02Q7VcCDVuZ2s1/szwqR7b?= =?us-ascii?q?TQan/HISXGwSlhsODhWTv0KyZYv4riav7rk14yKdJ8CjCOlsATk=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AkBQBCncZZVvcgzx9CGkkGDIMvI0FuJ?= =?us-ascii?q?4N2ixSpOAcDI4k+QxQBAQEBAQEBAQEBAQUBGQoLBSokC4IzJAGCagSBDiECETQ?= =?us-ascii?q?ODIpGBAwyp0uBbTqLRAWDK4ICihGEZYJgBYoYlweHXYxyDXKBCYIIjwOVRoE5N?= =?us-ascii?q?oEvUyiFJQwBgkh0AYgpAQEB?= X-IPAS-Result: =?us-ascii?q?A0AkBQBCncZZVvcgzx9CGkkGDIMvI0FuJ4N2ixSpOAcDI4k?= =?us-ascii?q?+QxQBAQEBAQEBAQEBAQUBGQoLBSokC4IzJAGCagSBDiECETQODIpGBAwyp0uBb?= =?us-ascii?q?TqLRAWDK4ICihGEZYJgBYoYlweHXYxyDXKBCYIIjwOVRoE5NoEvUyiFJQwBgkh?= =?us-ascii?q?0AYgpAQEB?= X-IronPort-AV: E=Sophos;i="5.42,430,1500933600"; d="asc'?scan'208";a="238495099" Received: from mailler06.lws-hosting.com ([31.207.32.247]) by mail3-smtp-sop.national.inria.fr with ESMTP; 23 Sep 2017 19:47:12 +0200 Received: from mailler06.lws-hosting.com (localhost.localdomain [127.0.0.1]) by filter3.lws (Postfix) with ESMTP id 111683AE5A7C for ; Sat, 23 Sep 2017 19:47:12 +0200 (CEST) Received: from mailler06.lws-hosting.com (localhost.localdomain [127.0.0.1]) by filter2.lws (Postfix) with ESMTP id EFC923AE5946 for ; Sat, 23 Sep 2017 19:47:11 +0200 (CEST) Received: from mailler06.lws-hosting.com (localhost.localdomain [127.0.0.1]) by filter1.lws (Postfix) with ESMTP id 920BA3AE5A7C for ; Sat, 23 Sep 2017 19:47:11 +0200 (CEST) X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on mailler06.lws-hosting.com X-Spam-Level: **** X-Spam-Virus: No Received: from raffalli.eu (vps29067.lws-hosting.com [192.162.68.177]) by mailler06.lws-hosting.com (Postfix) with ESMTP id 8FBD23AE5946 for ; Sat, 23 Sep 2017 19:47:11 +0200 (CEST) Received: from localhost (r167-57-85-153.dialup.adsl.anteldata.net.uy [167.57.85.153]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by raffalli.eu (Postfix) with ESMTPSA id A7D223522ACF for ; Sat, 23 Sep 2017 19:47:10 +0200 (CEST) Date: Sat, 23 Sep 2017 19:47:07 +0200 From: Christophe Raffalli To: "caml-list@inria.fr" Message-ID: <20170923174705.wkdryyzkixlroqdw@delli7.univ-savoie.fr> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="e4l6ntjpqz6lahbs" Content-Disposition: inline User-Agent: NeoMutt/20170609 (1.8.3) X-Validation-by: christophe@raffalli.eu Subject: [Caml-list] problem with generalisation --e4l6ntjpqz6lahbs Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Hello, I am blocked by this case not working (I reported on Mantis ... https://caml.inria.fr/mantis/view.php?id=7636) Any hint on how to make it works, apart fomr Obj.magic ? I can not change the types, they come from a functor. ==================================================== type ('a, 'b) elt = 'a type 'a iter = { f : 'b.('a, 'b) elt -> unit } let promote f : 'a -> unit = let f : 'b.('a, 'b) elt -> unit = fun x -> f x in { f } ==================================================== Cheers, Christophe --e4l6ntjpqz6lahbs Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAABCgAdFiEEJ369adg37nCCF0BCVXIaPfvmsfAFAlnGnhYACgkQVXIaPfvm sfCJPgf9E8gDe9MLJx6O2lFYbd8TkfAVm51BrSNG268yd9/kRoo84nzuTVvrKPoR VIb9E6s//qFzPQeX8JJwsENV+QX2/Dp3R59wm1ijVnfO0yBdZ0c11WpbsZ046tlu 1Qq7urdKgjVB3d+DVWsP7BpyZ0PrCVKPQGUhx6IPiigs8ZZmk/QEKCThQUK81UeG /qtOf4lvoStH1VzVTg6roU4mWmBn6al9XpAAcjIG/WNsy95IhJGT/PyjxUW2Buno qgnp91Vb0a0S55lb0cm0o+M9vWkpWAVpqzI8mOqlqjmpM5UCzGIjjCDW8y2uu7/L i685bNSyzJ8c6utRF9wjfNb0PgkIaA== =P4RJ -----END PGP SIGNATURE----- --e4l6ntjpqz6lahbs--