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 97BF782355 for ; Tue, 9 Jan 2018 12:49:40 +0100 (CET) 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=217.72.192.75; 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=217.72.192.75; 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=217.72.192.75; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AFcjPARQ2+qxsaRiKYIPbNoIFSNpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6yZhaN2/xhgRfzUJnB7Loc0qyK6/mmATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfa5+IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlS?= =?us-ascii?q?gHLSY0/n/XhMJtj6xVrhyuqBNjzIPPb4GZKOBzcKTBcd4UR2dMWNtaWSxbAoO7?= =?us-ascii?q?aosCF+sPMvhCr4bgulAAsAe+BQ6oBOP3zz9HnHn23asn2OkmEAHG2gIgH9UVvX?= =?us-ascii?q?Tbstr1LrodXfmuzKnUyjXDa+tW2TLn54jOdBAtu+yDUqxpfMfX1EIhGQTFjlCK?= =?us-ascii?q?pozkOTOYzusNvHaB7+V9TO6vkHInqwZ1oji3w8cjkI/JhoQPxl/Z6yp12Jo6Ks?= =?us-ascii?q?e9SE5/fdGkEYdQtiGAO4txWMMiTGdlszs5xL0eoZO3YjUGxZY9yxPddfCLaZWE?= =?us-ascii?q?7xb9WOqLIzp1hGppdbG/ihqo7EStyePxWtO13VtOtCZJj9jBum0L2hfO8MaIUO?= =?us-ascii?q?F98V2k2TuX1wDc9OVEIUcsmKreLJ4h36IwmoAQsUTeGC/5hVv5jKmNdko64Oio?= =?us-ascii?q?9froYq/8qpCBKYB4kgD+MqIwlcyjGek0LBUCUmqB9em+yrHv51D1TbFUgvEskK?= =?us-ascii?q?TUsIjWJcEBqa64Bw9V3Jwj6xG6Dzq+0dQYm3cHLFVedRKIkYfpIUzBLOnjDfej?= =?us-ascii?q?hFSslC9rx/XcMb3nBJXBNGXMn6n5cbZn90Fc0BYzzcxY559MFr4OOvfzWkvouN?= =?us-ascii?q?zcDx85KBC0zv38CNR904MeQXiADrWYMKPUq1+I5/ggL/OCZI8P637BLK0u7vvq?= =?us-ascii?q?yHs4gkNVKaKg2J9SbHGjAtxnJV+YaDzimIFSP30Nu18RQfbmwGaeVjpLYn+0We?= =?us-ascii?q?po5zc1D6qpAJ3PA5uxh7iZ2S69GNtaazYVWRi3DX70etDcCL83YyWIL5o5nw?= =?us-ascii?q?=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BACQC6q1Rah0vASNldHgEGDIQmdCeEB?= =?us-ascii?q?5kAghKZMwcDH4lWRBMBAQEBAQEBAQEBEgEBAQgNCQgoL4I4IoJzBC6BAQJTDA0?= =?us-ascii?q?GAgEBBYosAQuvDIFtOopmD4QgghVUgxWGKQyFBYJlBYpTmQyBFnIDgkuCL5pWh?= =?us-ascii?q?2+XGYE8N4FxTCQUPYIqCYIHVIF0dwGKfQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BACQC6q1Rah0vASNldHgEGDIQmdCeEB5kAghKZMwcDH4l?= =?us-ascii?q?WRBMBAQEBAQEBAQEBEgEBAQgNCQgoL4I4IoJzBC6BAQJTDA0GAgEBBYosAQuvD?= =?us-ascii?q?IFtOopmD4QgghVUgxWGKQyFBYJlBYpTmQyBFnIDgkuCL5pWh2+XGYE8N4FxTCQ?= =?us-ascii?q?UPYIqCYIHVIF0dwGKfQEBAQ?= X-IronPort-AV: E=Sophos;i="5.46,335,1511823600"; d="asc'?scan'208";a="250546708" Received: from mout.kundenserver.de ([217.72.192.75]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 09 Jan 2018 12:49:39 +0100 Received: from office1.lan.sumadev.de ([85.183.69.161]) by mrelayeu.kundenserver.de (mreue102 [212.227.15.183]) with ESMTPSA (Nemesis) id 0MHYCK-1eZxoE3LO0-003Pgf for ; Tue, 09 Jan 2018 12:49:38 +0100 Received: from gerdbook.fritz.box (gerdbook.fritz.box [192.168.5.104]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 35DE5DC05D for ; Tue, 9 Jan 2018 12:49:38 +0100 (CET) To: caml-list From: Gerd Stolpmann Message-ID: <5d17ed87-e78d-f9c4-ae42-382f4c2ed353@gerd-stolpmann.de> Date: Tue, 9 Jan 2018 12:49:27 +0100 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:52.0) Gecko/20100101 Thunderbird/52.5.2 MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="JWplwrTn8tvHYGRVZLsXFEHjsnCh8DOl4" X-Provags-ID: V03:K0:IsxX4MUs2piSA0g3nlL5fyW9+1wFmYQPK1FSpg95JXhJM762n8E Pl0cwrUPnOqqVKW9foVvVZ5wTZ/2WggJzFZ0NdomiNrw2XKuszJX8uhXmOMgayBa4PwYpqY X0RtiO9lVkDeGYUULrfh6fja+GDA7gRif9frFyEegU5fu3Byr7GZ3scv/k+9+wBK4oN4vH+ RGt5DeKk/QWy0UJ4oeTsQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:rhrC1qN+W4Q=:o7jeiihqQMm/EPLnq9OiJn PE0DK5xdLryhGmeAsYg5z9auxTklBVogi6Kwx/MeCCBKljtw1/JvEwsb7Nb0wd0d3GlUi6XxR yzDGDl8jLcic5eOR2oNSke0KyU9VnD+5bYlinLRxjqITrrUw8rtLwM7dNm697O5C5e2FCeDvT SHY6Gd6oTdGx81F1oT/gaL9T6mHIwz93bG7xISOt96tmec4vmhVGLGuDA9zCGr9KihPwKuF5Q gFEsiJzVRQ3CkBjQoc7kLkmQ8IWuLRPuqxeDL0qgtkFFn2TbLFJYLp7CkoLpAA6QWXu4jrdYb f3R1oVrEbFy1xloy2WhaXV+7LALlWZ0A+kxRecpabGjrmeiHm2J+ZlqWhvn/iqPrzsiyNhqHy mXX2TuOGVdwW9HfUkemw9evLztHvuxhl52lUMMj/HoEXGESrqbfcrqvC7dEgjbYKFGpzT9RBj 4evQ217ixfiL6697tc6F7xZ2BmpGBcCAKyzacYlAREkeMdufU6/LFaPZmCNQ4cQbBhMElyK+b 0Ujl2rayfK71ILZqSv1/kGa64C+6GmBYiV1j+Lur5A4sHK6OX3NrnCuzjZ2d4H/e+L1hECF2w 0XkFuDf4vHRAbHYcR5HKZy2ffy//X++R6cVPIXrRIFhqkBUSkm8nsSMsEoFJgnpy/lR9HkWzV FOFAnHDa3qM8W7smslh6xJbLHI3p4f5U2EnjEfoWO1koGbcMRCQAbZIuiC0Q1fL8hKX3e1BiL CtYOycA7UdEEN7l3Licup/ChVhD4+ckd44R4Dg== Subject: [Caml-list] ignore in postfix position This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --JWplwrTn8tvHYGRVZLsXFEHjsnCh8DOl4 Content-Type: multipart/mixed; boundary="Df6DnXTLjDoXkWmvkOx1ViKiVGEF8g44Y"; protected-headers="v1" From: Gerd Stolpmann To: caml-list Message-ID: <5d17ed87-e78d-f9c4-ae42-382f4c2ed353@gerd-stolpmann.de> Subject: ignore in postfix position --Df6DnXTLjDoXkWmvkOx1ViKiVGEF8g44Y Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Content-Language: en-US Hi list, the "ignore" function behaves specially when applied to a partial function: # ignore (fun _ -> ());; Warning 5: this function application is partial, maybe some arguments are missing. This very useful warning is not emitted, however, when I switch to a slight variation, like: # (fun _ -> ()) |> ignore I like this post-fix syntax more than the original because "ignore" isn't then as distracting, but it's a pity that the warning can no longer be generated. I am wondering whether this behavior is deeply anchored in the inference engine or whether this is improvable. 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 ------------------------------------------------------------ --Df6DnXTLjDoXkWmvkOx1ViKiVGEF8g44Y-- --JWplwrTn8tvHYGRVZLsXFEHjsnCh8DOl4 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEDD3jJ6xcCmoYHoi4Bozhv1ksHlMFAlpUrEwACgkQBozhv1ks HlMqnAf+KN4GHoyfsfGANO/YoYZUldUAHTBQAGXSR/Ly66rwonn06q31IxbT92e0 W4+nWNIRJ9jINR2+VRRO47ewz5Fjng27SR0sxj/6Gxf8SojwX5pLt/x3jIGVrel0 /bRrzLgOVG9+EEHrim8diIqHHwOqIDm4/Z8xYbQdVizMlz+jpcp6ZwFOdnQ0C16o WwQIbBha1N6BF6KpYP8IDtXXt017Gw+IVdyK1YbFfFO0GX6HWNs2RsINNC60NbQW mCi/C6qtKX5UfUShBn6PstqtMcEXMsudbAloJPH/e6ixvbaOKThoewOOolzXKSvz iEtsdtkcrhiR3Dh037JrSLnkrpF0dw== =Hm9S -----END PGP SIGNATURE----- --JWplwrTn8tvHYGRVZLsXFEHjsnCh8DOl4--