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 146307F72A for ; Tue, 9 Aug 2016 10:45:29 +0200 (CEST) IronPort-PHdr: 9a23:F+tkDxbYYw99wq18TeTmXXP/LSx+4OfEezUN459isYplN5qZpcS9bnLW6fgltlLVR4KTs6sC0LuO9fG6EjRcqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ3pzxhrr5o8GbSj4LrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGx48sgs/M9YUKj8Y79wDfkBVGxnYCgJ45jHvAfCQUOm4n8HVX0O2k5EGQGA6hzlRb/0vzfzrfZ00yrcNsrzG+MaQzOnupxFADrhkiQaLHYU9G/Ni8p/xPZWpBy7phpw65PPbZuOcuF5Y7nWcN0dX2VMGMBcS3oSUcuHc4ITAr9Zbq5jpI7nqg5L9EPmCA== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=elfring@users.sourceforge.net; spf=Fail smtp.mailfrom=elfring@users.sourceforge.net; spf=None smtp.helo=postmaster@mout.web.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of elfring@users.sourceforge.net) identity=pra; client-ip=212.227.15.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="elfring@users.sourceforge.net"; x-sender="elfring@users.sourceforge.net"; x-conformance=sidf_compatible Received-SPF: Fail (mail3-smtp-sop.national.inria.fr: domain of elfring@users.sourceforge.net does not designate 212.227.15.3 as permitted sender) identity=mailfrom; client-ip=212.227.15.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="elfring@users.sourceforge.net"; x-sender="elfring@users.sourceforge.net"; 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@mout.web.de) identity=helo; client-ip=212.227.15.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="elfring@users.sourceforge.net"; x-sender="postmaster@mout.web.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CfAgCDl6lXhwMP49RdhEW7c4JmgzcCgUU7EQEBAQEBAQEBEQEBAQgNCQkZL0EQgWEEARMBghQBBAF5BQsLDjhXBg0IAQGIJQzDOgEBCAIliCKCVYQshW8BBJk5jwqJRwoEhW6QLDSCQ4FZhl8WgUQBAQE X-IPAS-Result: A0CfAgCDl6lXhwMP49RdhEW7c4JmgzcCgUU7EQEBAQEBAQEBEQEBAQgNCQkZL0EQgWEEARMBghQBBAF5BQsLDjhXBg0IAQGIJQzDOgEBCAIliCKCVYQshW8BBJk5jwqJRwoEhW6QLDSCQ4FZhl8WgUQBAQE X-IronPort-AV: E=Sophos;i="5.28,494,1464645600"; d="scan'208";a="187254469" Received: from mout.web.de ([212.227.15.3]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 09 Aug 2016 10:45:28 +0200 Received: from [192.168.1.2] ([78.48.104.219]) by smtp.web.de (mrweb001) with ESMTPSA (Nemesis) id 0M6mgu-1bKrUY3qGy-00wTUC; Tue, 09 Aug 2016 10:45:19 +0200 To: David Allsopp References: <8737mfp7j3.fsf@gmail.com> <87y447npv3.fsf@gmail.com> <87r39znl6m.fsf@gmail.com> <87mvknnia0.fsf@gmail.com> From: SF Markus Elfring Cc: moosotc@gmail.com, Gabriel Scherer , caml-list@inria.fr Message-ID: <6718eb74-9b8a-f386-6e7b-e77217f39f95@users.sourceforge.net> Date: Tue, 9 Aug 2016 10:45:10 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit X-Provags-ID: V03:K0:flTV831Iu3mW0fqVKtm/2TTFpNvb5vMAO9m5Y2n9FmKXqdh1bac 6EtyOJSGlk8wbNkFZFivT7TjMSccyywwA95kej7sgpZmjU/ULQA+D64JdZjVUTPcYtlYPf+ h0efK6+F/GskCsJd5MmSPpXsK9AvUou0dnA9uoOZI/ONV8SEPzq3fEDTETSY9MVwxbiTo6K HTIK46H7jtIqDey0z1WsQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:OUibFtau02w=:T2CBZ+zojGy3roE6nBTkbk kqflIAEWWs/Uyl13WhfvzAVkXKli8xoWdq4znOaoSNnOOObYLudAlMpuE8yPh8/3a98RQwVCJ kDODa8pMi8stajtHaVSa2hoGc+BWmTBCWb6c6iYiQmYcW2KF4mcvWT2rcexFbaTLYNex4sUFK xtZAm8iwr32Q5QZllAxQUboQV7Nv4H1GtgFO/x/MhL2YMyyVT6OTTexepWMw5g2B1rWJZ92DJ XdRs9GHa5Io8JltcBMhNP0E1XFcXVcLCPly7BIMbqd5NofytC60dgL9lfq+M/3s6FhTgo6Hnn JB9/l9ZStPjuc3vxyzTXCUbwAX17DSkiX9xMO6M8ou+ptHyq+FUAsVJLdWdFWPZ5WMp0cspUD f97tRZJQht18wjI7ygKOnzAcjXUus+B0F4txaYlyg9C6oQpDquYNi3ODzl6qHsrw6IF8WLpfj 9Ui5h6hmhPKUVEXlfWhWZ527YEzre/5RTAGah+4g/vzxmnmJWnSBfqEB4Ov7O/3vp2XUZLjAo 1e7xOjIbrwU6nSpjejIpjGEkJU71CgVIzbmmICELjAgRoFS6QDs5K3Qh5mH3vuH3yM0rRfICz c/yU4FuMKJ9rtY1G7Dr2wdnNu5BGMCmAl4F03jBGBBKU+7HJGwOtikFwhEXlHUIQP6i4JeZ4u 0f4Pst0Vwl1eYk6chXjz86dS1qNl/zfDQj/dvzGDXCKeqkhDhHqSx9UxTK8s7rBl1V/C15fLa iX2ClUbgHM9naaNJILIqszvYGHryZ1BcT5atM/shZGiSlisYf3w61WAK4vmUmT6/VqkAVau4o kjP2kUd Subject: Re: [Caml-list] Interface(.mli) location > I think the use-case is too niche to justify breaking backwards compatibility. Do you care for development challenges around parallel software builds? Would you like to consider other possibilities? > That's potentially a very subtle way to break someone else's existing build system. How do you think about the application of an extra environment variable (or a command line parameter) which specifies the preferred directory for the storage of compiled interface descriptions? > The existing behaviour is precisely documented in the manual I find that there is still room for interpretation. > (even if it's not necessarily the best approach). Are you looking for corresponding software extensions? Regards, Markus