From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 D15DA7EE79 for ; Mon, 16 May 2016 19:32:34 +0200 (CEST) IronPort-PHdr: 9a23:EJ4r3xSC9WGM99rZpco0cINGb9psv+yvbD5Q0YIujvd0So/mwa64bRCN2/xhgRfzUJnB7Loc0qyN4/GmAzJLuM7Q+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8yVOVsD3WLsKZpJbzyI7izp/vEMhoVjLqtjgjDomVBvP9ps+GVzOFiIlAz97MrjtLRq8iBXpu5zv5UYCfayV+0CQLdZFDUrNXwurI2u7EGbDFjH2nxJfXgXlh5BHg3IpDH3WJH8qzb7sKIp12+aMMvwQKkpWDKK4qFkDhThjWEOPHgk8zeEpNZ3ifd0rQit7ydjxIrMZYiTMrIqf6XTevsVSHBNG91NUChZB4q6ac0DArxSbq5js4Dhqg5W/lOFDg62Cbaqk2cQiw== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=info@gerd-stolpmann.de; spf=None smtp.mailfrom=info@gerd-stolpmann.de; spf=None smtp.helo=postmaster@mout.kundenserver.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.187; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.187; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.126.187; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CbAAA0AzpXiLt+49RdDoN+frltAQ2BdiSFbQKBKTgUAQEBAQEBAQERAQEBCAsLCR8xgi2CFgEBBCcuJBALDjhXBhMJiCoBCcAhAQEBAQEBAQMBAQEBARQOhS2FRYRLhU0Fh36QKYE1AoRHiCCJOwSFWo9BHgEBglmBGj1sAYgFAQEB X-IPAS-Result: A0CbAAA0AzpXiLt+49RdDoN+frltAQ2BdiSFbQKBKTgUAQEBAQEBAQERAQEBCAsLCR8xgi2CFgEBBCcuJBALDjhXBhMJiCoBCcAhAQEBAQEBAQMBAQEBARQOhS2FRYRLhU0Fh36QKYE1AoRHiCCJOwSFWo9BHgEBglmBGj1sAYgFAQEB X-IronPort-AV: E=Sophos;i="5.26,627,1459807200"; d="asc'?scan'208";a="177952462" Received: from mout.kundenserver.de ([212.227.126.187]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 16 May 2016 19:32:33 +0200 Received: from office1.lan.sumadev.de ([188.107.164.184]) by mrelayeu.kundenserver.de (mreue003) with ESMTPSA (Nemesis) id 0LtRzc-1blh5w2ooG-010xGH; Mon, 16 May 2016 19:32:32 +0200 Received: from [192.168.65.10] (unknown [192.168.65.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id A7FA6DC05D; Mon, 16 May 2016 19:32:31 +0200 (CEST) Message-ID: <1463419945.3467.32.camel@e130.lan.sumadev.de> From: Gerd Stolpmann To: Guillaume Hennequin Cc: caml users Date: Mon, 16 May 2016 19:32:25 +0200 In-Reply-To: <1463417600-sup-2106@hennequin-xps> References: <1463412482-sup-8520@hennequin-xps> <1463417600-sup-2106@hennequin-xps> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-mIYbcQwsgtAsHR+pmMWq" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:w8asoNZgZhU0LKyG3g1UT1nOAXGlakszsxW3AHHlEYuzPyVErUo +C0KC8fUDnoGz70yymWDyjvO4cfC2NNcpw5y7/PXAie03XqVCi8r/jFOgRz8B1nYxYugZW7 8MeO5wGRBWOXJJvzQVrU7afiwc1mCpDl7ZY6qaDVKAOgB1Sg2LNoar3ii04ZOREuZiwJSos xEO3atkdk19+0jwrJ3f0w== X-UI-Out-Filterresults: notjunk:1;V01:K0:/8YXpolagnw=:vGgvBPr9YeqCDTbWzXcPVd KZcHW/WF/5Bma1Y3A7vG4opx2iFuhdA9F2zuI7l4AWiPPdMN5je1RDAYBgjvUyg2n5oN5GNA1 VdwnDMPVeKm2dnNBmQ140KSLQ7pw1ZxBq3Yce0pnCZRBOQnnYvI7c6Fp4MkG0/l0O6YMoSf/5 EeiDcRUD0qmsHRzd+vo5HPoc5rOnzMfDrEdy86yb3+vD97hDTDgz/WNGx18Z7yeKbMKKqs8Km 3rwgpyfK5WgdUt1tH3ihc/JRGOLGad3A02M+CrZFXz58BfeFAFl3EOd9zjjmt5eD5QQ46/JT6 dkHILcnf61CsZFy5MZNNmEX4EXnqrdJEvbUwY1LUQATyvrMblzE/qQeeAO7DSBnVQcKFwRP/u /OPph16Z/JDKUS5hLOvpBiTuQLKygjTaeyxcinDB4KP+JaNn8T+czTdpXfIqi8u9WDYbylsfy TMFXhUP5fMDxa/py/TM6ry6JFUQHB42uZ9p9eU00EAl7xhhR9XZfVvDxG08pbtDYbNKVLe4Ng HmrSzxm7Dk6fHuYRhPhLI7T4gOBWJHIN52becT9vHYAmorCcj1gBBJgGS2Fk9Vmi4cdjyHfE+ S3j7vYcakUtXZNX5T7O39zspi0F7K0kbCYchuDTIao0En1emhGEI0Pm2w8dJb2ED2qKUmGHn8 hmN0pubW2WjauFM3UMz5tnWjGMqufowEd9fEJ+he+n98gMJ8TCzNS9mB+sLP5KfESEbOEWpQv CDVkjKMBk+DX3KDb Subject: Re: [Caml-list] issue with polymorphism --=-mIYbcQwsgtAsHR+pmMWq Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable Am Montag, den 16.05.2016, 17:55 +0100 schrieb Guillaume Hennequin: > Thanks all for your prompt answers; >=20 > > See the FAQ entry, "How to write a function with polymorphic arguments?" > > https://ocaml.org/learn/faq.html#Howtowriteafunctionwithpolymorphicar= guments >=20 > this page explains how to do it with records or objects, but ends with a= =20 > mysterious "FIXME: a direct way now exists". Does anyone know what this m= ight=20 > refer to? What you would need is let print_both : ('a . 'a -> 'a) -> unit =3D ... i.e. the scope of the quantifier is restricted to the first argument. This doesn't exist to my knowledge. Maybe it was part of some dev version? Gerd --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de My OCaml site: http://www.camlcity.org Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --=-mIYbcQwsgtAsHR+pmMWq Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAABAgAGBQJXOgQpAAoJEAaM4b9ZLB5TV/gH/3hWHeb4QGlCRGbf7XWGglhi 2rid0f5RuWpCs7iFpQQBIzW67hx6kOLIsy3z2zGPh38mXxBqPHSNMAx2QhXduFCG P7xD55QTR06wdMQczU4iQ1EJfqByKNmPB3XqpZKiuX/OV47cuZqem4GT+t9WiKgy YWImPNsBfKYWZv/CT24TL5iZZS1O0TL9HRk9XEcHIDz/DxYgcopsYnTEcgPk6vQx 9GFGRAzew3P8YCRQR6zuWzqJb4sPopvhW74CAZrQUwnk7cBYrI3fyF1fFKTrSm29 0Ta5yk4gCewx/AvzPZFtaZseUb/xebugI+xs5yIEvit7RBc3zNZs+c7Bo7FZ1zQ= =V8OK -----END PGP SIGNATURE----- --=-mIYbcQwsgtAsHR+pmMWq--