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 273EA7FCF0 for ; Fri, 10 Apr 2015 13:55:46 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=pra; client-ip=74.55.86.74; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=mailfrom; client-ip=74.55.86.74; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp.webfaction.com) identity=helo; client-ip=74.55.86.74; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="postmaster@smtp.webfaction.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CxAAD9uCdVnEpWN0pch0/JJgKBdxABAQEBAQEBEQEBAQEBBg0JCRQuhCABAQMBI1YFCwsODAImAgJHEAYbiBoIBLgQllkBAQgBAQEBHoEhigqESTMHgmgvgRYBBKIYD41NhBODMAEBAQ X-IPAS-Result: A0CxAAD9uCdVnEpWN0pch0/JJgKBdxABAQEBAQEBEQEBAQEBBg0JCRQuhCABAQMBI1YFCwsODAImAgJHEAYbiBoIBLgQllkBAQgBAQEBHoEhigqESTMHgmgvgRYBBKIYD41NhBODMAEBAQ X-IronPort-AV: E=Sophos;i="5.11,556,1422918000"; d="scan'208";a="109128474" Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74]) by mail3-smtp-sop.national.inria.fr with ESMTP; 10 Apr 2015 13:55:45 +0200 Received: from [172.20.10.2] (207.228.197.178.dynamic.wless.zhbmb00p-cgnat.res.cust.swisscom.ch [178.197.228.207]) by smtp.webfaction.com (Postfix) with ESMTP id 6D64B20E1559; Fri, 10 Apr 2015 11:55:34 +0000 (UTC) Date: Fri, 10 Apr 2015 13:55:24 +0200 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: Gerd Stolpmann Cc: Dario Teixeira , caml-list@inria.fr Message-ID: In-Reply-To: <1428665122.22412.39.camel@e130.lan.sumadev.de> References: <2f9c74beafcf41f3ab30324fb1ece739@nleyten.com> <55257AAD.6030004@zoho.com> <5297cdaceccd6db2a60700bf686ccfb7@nleyten.com> <1428576994.22412.21.camel@e130.lan.sumadev.de> <46483E4AF51B46A3B3F91B3B5CFE8249@erratique.ch> <1428597912.4056.107.camel@thinkpad.lan.sumadev.de> <9CB3F43413964B9F93581B26AD6B391B@erratique.ch> <1428618115.4451.6.camel@zotac> <1428665122.22412.39.camel@e130.lan.sumadev.de> X-Mailer: sparrow 1.6.4 (build 1178) MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Subject: Re: [Caml-list] META file standards for ppx extensions Le vendredi, 10 avril 2015 =C3=A0 13:25, Gerd Stolpmann a =C3=A9crit : > > and are things that get in the way/you have to consider when you need t= o debug build systems. >=20=20 > Why is it in the way? Passing uneeded arguments to utility invocations is noisy and confusing whe= n I need to understand what is happening. These are instructions I have to = consider to eventually realize they end up doing nothing.=20=20 I guess you wouldn't find it acceptable to have a program that calls functi= ons passing them random arguments that have no effects whatsoever. Why shou= ld it be so on the command line ? > I think you are hunting a ghost animal. The ocamlfind wrapper is fast > enough that you can ignore it, and skipping it will only so minimally > speed up builds that it is not worth doing it. As was already mentioned in the discussion, there are benefits beyond savin= g the cost to the ocamlfind wrapper to be able to cleanly separate the comp= ilation phases. Best, Daniel