From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 78DC782355 for ; Wed, 7 Feb 2018 12:09:56 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=josh@berdine.net; spf=Pass smtp.mailfrom=josh@berdine.net; spf=None smtp.helo=postmaster@out2-smtp.messagingengine.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of josh@berdine.net) identity=pra; client-ip=66.111.4.26; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="josh@berdine.net"; x-sender="josh@berdine.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of josh@berdine.net designates 66.111.4.26 as permitted sender) identity=mailfrom; client-ip=66.111.4.26; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="josh@berdine.net"; x-sender="josh@berdine.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@out2-smtp.messagingengine.com) identity=helo; client-ip=66.111.4.26; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="josh@berdine.net"; x-sender="postmaster@out2-smtp.messagingengine.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AOHpFgBNExljVCy3eGD0l6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Lf75rarrMEGX3/hxlliBBdydt6odzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlViDanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhS?= =?us-ascii?q?kHKzE3/27YhNF+gqJVvhyupR9xzYnPbYGJLfp+e7/RfdMGSWZfWMtaSixPApm7?= =?us-ascii?q?b4sKF+cPOeFYr5L9p1ATsBaxGxOsC/7uyj9OmHD9wKo30+YmEQHd3AwtBMkBv2?= =?us-ascii?q?rOrNroNacSV/66wLPOzTrdc/NbwDHw45XLfBA5ufyBXLN9fdDMxUUyCg/JlFqd?= =?us-ascii?q?pZb7Mz6UzugBrmyW4u56We6xl2Irtht9rzmuy8s2ioTEgJ8exEre+iVj2ok1IM?= =?us-ascii?q?W1SE5lbt6gF5tdryaaN5ZqQs88Wm1ooyM6yqEeuZKheSgF1o8nxwXFZPyIcoiI?= =?us-ascii?q?5B3jW/iXITd3hXJlfqywiwyu/kinz+3wTsi00FBUoSpZitTBt3EA2wbO5sSaV/?= =?us-ascii?q?dx5Eis1SyR2w3S8u1EJFo7lavfK54v2L4wkZ8TvFzBHi/xg0X2jLSbeV469eiy?= =?us-ascii?q?9uvnY7PmqYGGO49ylA7+LrwimtajDuQgLggOQ2+b9Pyg27L5+E35RKxGjvk3kq?= =?us-ascii?q?nCrJDXPt8bp668Aw9NyIkv8Re/DzG80NQZh3YLNlxFeAjUx7TublrHJfS9Cfak?= =?us-ascii?q?nxz4mz5uw7XCP6b9KpTLNHnK1rn7K+VT8UlZnSg01tAXzZ9OBrAHLbqnWEjqtP?= =?us-ascii?q?TSAwU1Mgq5heDqFIMuhcslRWuTD/rBY+vpuliS67d3erjeVMouoD/4bsMdybvr?= =?us-ascii?q?hH49l0UaePDyj5Eacny5GPkgJUiFMyO13oUxVFwStw97d9TEzUWYWGcINXy/Ra?= =?us-ascii?q?494Dx9Do+6X9+aG9KdxYeZ1SL+JaV4I2BLDlfXSCXvapneHuwJdDrUJ8J6iTUL?= =?us-ascii?q?VL6uRoku1Bej8gT9zug/Iw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BhBABM3XpahxoEb0JcGgEBAQEBAgEBA?= =?us-ascii?q?QEIAQEBAYQ6bSiOfY0xggKXU4IXCoU3AgICgmYZBwQ3EQECAQEBAQEBAQEBEgE?= =?us-ascii?q?BAQgNCQgoL4I4IoJJAQEBAwEnEwYBATgECwsYLlcGE4otCLE0gls6gwoBAQWFZ?= =?us-ascii?q?4IKAQEIAQEBAQEbCIR1ghWDaIMFgy8EgW+DSII0pC4JkHaFfIstE4gGlD2DTYE?= =?us-ascii?q?8OQeBaDMaCCYKPSoBghs/ggcfghJ4jhYBAQE?= X-IPAS-Result: =?us-ascii?q?A0BhBABM3XpahxoEb0JcGgEBAQEBAgEBAQEIAQEBAYQ6bSi?= =?us-ascii?q?OfY0xggKXU4IXCoU3AgICgmYZBwQ3EQECAQEBAQEBAQEBEgEBAQgNCQgoL4I4I?= =?us-ascii?q?oJJAQEBAwEnEwYBATgECwsYLlcGE4otCLE0gls6gwoBAQWFZ4IKAQEIAQEBAQE?= =?us-ascii?q?bCIR1ghWDaIMFgy8EgW+DSII0pC4JkHaFfIstE4gGlD2DTYE8OQeBaDMaCCYKP?= =?us-ascii?q?SoBghs/ggcfghJ4jhYBAQE?= X-IronPort-AV: E=Sophos;i="5.46,473,1511823600"; d="scan'208";a="312428357" Received: from out2-smtp.messagingengine.com ([66.111.4.26]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 07 Feb 2018 12:09:55 +0100 Received: from compute1.internal (compute1.nyi.internal [10.202.2.41]) by mailout.nyi.internal (Postfix) with ESMTP id EEFDF20F38; Wed, 7 Feb 2018 06:09:52 -0500 (EST) Received: from frontend2 ([10.202.2.161]) by compute1.internal (MEProxy); Wed, 07 Feb 2018 06:09:53 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=berdine.net; h= content-transfer-encoding:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-sender :x-me-sender:x-sasl-enc; s=fm2; bh=oN44HVEBU7wOHi3P0zRjPGMHXyZEm 9K/3dcZbc9uTCg=; b=A514IGU/kIevjnQRReJoP0zKb3pvOLbTcyC2atDwSE3Ti 6RiksaHdGkGwoDBSj4KjNYHoN4qoIvQolIlwD94FZtJqneu0BIbAA4Dsr1pxVuB4 KMvNDpHcaD20zRyNq1++i8hAeQDv6nqwiaeD0HFv3eRfAT2mWZhcJKzMT3SD782m cYiVgxfQ0FZsQLujKXrwpClkGSbE+4rIe8CgmCGuH8X/ooNPxpHP6Kc+5FQraCFU Y+ZNLMys4hZdr0HiGHBe0gSIbjj5y+nQMXuQFEvkjM0tXt5Vup3+TE+t7XoWJref zCf2n+MezJG6gKWHDgjy7L45Ezxij9s+cjKi3/buQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-me-sender:x-me-sender:x-sasl-enc; s=fm1; bh=oN44HV EBU7wOHi3P0zRjPGMHXyZEm9K/3dcZbc9uTCg=; b=BKzVtdc8fYfYzzdspdRgn9 i0XV5Fv0DwDA6WPbNCQ8voHfuFtNrwQn1MAmsSOuWMbpSoBh4RmUVlutouMxITc4 fm4XyrwI8ffSMcxd2dN6SrI9uXNvybC6UPiNUxEuDrJHPloi2n0CiR6GOHsgjEEJ Jkcolf3wjtoVuuSmzrm5q+0kwBBpHv+0RS6N8dlmYVcezBxjC81SSIyLTxauTtdl obDqmwIqvcEdUWtZIe9lsv2yokpz2D6Lt+n0nDggCdX/O6m9ZS3eWO6fLO38+BjT BIQirIz3G62YLBhd9+WysnSAsrcUjVOz7Uqa8HaSNSG4YNq3QH/OFq/lPf50h2Tg == X-ME-Sender: Received: from [172.16.3.210] (unknown [199.201.66.5]) by mail.messagingengine.com (Postfix) with ESMTPA id 4FCFF240DE for ; Wed, 7 Feb 2018 06:09:52 -0500 (EST) From: Josh Berdine Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 11.2 \(3445.5.20\)) Date: Wed, 7 Feb 2018 11:09:49 +0000 References: <5d17ed87-e78d-f9c4-ae42-382f4c2ed353@gerd-stolpmann.de> To: caml-list In-Reply-To: <5d17ed87-e78d-f9c4-ae42-382f4c2ed353@gerd-stolpmann.de> Message-Id: <75974590-FF69-4007-BC38-77D567E918CF@berdine.net> X-Mailer: Apple Mail (2.3445.5.20) Subject: Re: [Caml-list] ignore in postfix position Hi Gerd, > On Jan 9, 2018, at 11:49 AM, Gerd Stolpmann wrot= e: >=20 > the "ignore" function behaves specially when applied to a partial functio= n: >=20 > # ignore (fun _ -> ());; > Warning 5: this function application is partial, > maybe some arguments are missing. >=20 > This very useful warning is not emitted, however, when I switch to a > slight variation, like: >=20 > # (fun _ -> ()) |> ignore >=20 > 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. I don't know if treating reverse application similarly to the current treat= ment of application would be difficult, but as an alternative I tend to put= a type ascription on ignore: # (fun _ -> ()) |> (ignore : unit -> _);; Error: This expression has type unit -> unit but an expression was expected of type ('a -> unit) -> 'b Type unit is not compatible with type 'a -> unit Cheers, Josh=