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 EB2157F72A for ; Tue, 9 Aug 2016 20:10:40 +0200 (CEST) IronPort-PHdr: 9a23:pyw9LxTsGlV9i9dZNTmjDuwF39psv+yvbD5Q0YIujvd0So/mwa65ZRWN2/xhgRfzUJnB7Loc0qyN4vmmATVLu8/J8ChbNscdD1ld0YRetjdjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9fbytScbshsi6n9q/54fUK10RwmHsOPUqdV7s9E2R7pBQ2to6bP5pi1PgmThhQ6xu32RmJFaezV7Xx/yb29pdyRlWoO8r7MVaUK/3LOwSRL1cCyk6YShuvJW4/TGKdwaE52MdX2MKiVIIRlGdtFCpFqv25wfzqOtxkACeOdbxVah8DTi45uJtRQDzoCIKKzci7GjciYp7i6cN8zy7oBkq+KCcRYiPN+dlNo7Zc8kbQ2UJCstVWTZABIyUcpACFfFHJuFFtYLwqVwUohb4AwSwUrC8ggRUj2P7iPVpm98qFhvLiUl5R4oD 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: A0BWAgCkG6pXhwMP49RdhBsqUrshHIJKgzcCgUw8EAEBAQEBAQEBEQEBAQgNCQkZL0EQgWEEARMBghQBBAF5BQsLDjhXBg0IAQGIJQzBLQEBAQcCJYgiglWKGwEEmTmPColHCgSFbohOh141gkKBWWyFUoFaAQEB X-IPAS-Result: A0BWAgCkG6pXhwMP49RdhBsqUrshHIJKgzcCgUw8EAEBAQEBAQEBEQEBAQgNCQkZL0EQgWEEARMBghQBBAF5BQsLDjhXBg0IAQGIJQzBLQEBAQcCJYgiglWKGwEEmTmPColHCgSFbohOh141gkKBWWyFUoFaAQEB X-IronPort-AV: E=Sophos;i="5.28,495,1464645600"; d="scan'208";a="187300319" 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 20:10:40 +0200 Received: from [192.168.1.2] ([78.48.104.219]) by smtp.web.de (mrweb002) with ESMTPSA (Nemesis) id 0MK2FR-1bYYWg1XQz-001Qth; Tue, 09 Aug 2016 20:10:31 +0200 To: David Allsopp References: <8737mfp7j3.fsf@gmail.com> <87y447npv3.fsf@gmail.com> <87r39znl6m.fsf@gmail.com> <378f6aa4-7e9d-19ee-2e45-93f386349703@users.sourceforge.net> From: SF Markus Elfring Cc: moosotc@gmail.com, Gabriel Scherer , caml-list@inria.fr Message-ID: Date: Tue, 9 Aug 2016 20:10:30 +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:7NWJrAd8+5U8cCWrKQZCTahtB+eUHVZX3PNPG2UBwCwiCz0c7ML bnkCfOdGNteFjwEbvPpC1T/+WJMN8Kvorn78LVjrSUxSFdS/z/Y9CnO8aT3TY+GdrCamqGr +BV44JzOBdqsgQe/+5jfB1zlPKJ5j1L3TrmbU1YRkPtWTfiZDH/HMqltBGiWiNUob3P8vz3 0qTtJJTSd7I5kqrqgs17Q== X-UI-Out-Filterresults: notjunk:1;V01:K0:zslg44nXrjI=:cq1ifBIUNQCeC09pxYukM8 MxaQEZLCoB7ml2IRsexGACDM+fzTDYAR+WkjUsovQaC0SIrpTehaaDW9H9TZvsOiYMMJbL7YN 25e36lAgOUiS/V/S/thSScGXw4+M/wOElCM1/MlgBualbXESPGe1jQuI1Shig/jEYOyvDQyhh 9NlLXqbqHdKxlSGQ5lPB2Dl8M3DjrK8Yu1Z6w3zRJvIZkvMETfYz684cxXM2noikYb/XSWdhz b8riSY/HEzobUZc/LvEO80llY4HG+pIfH2Ny15LVJwdhzbGq5IlwJGYkb9MVr4C2N12AXg2xo WzXFO4tC3i/WibS3cxK2OgOIcfUPoV1i4+J5oEFzv5kNbm77xBKNZNgLMUI1NtTeitTadWwKA sf7PG5p8Z42opU/umoJynVmWWrKinyxuyNXoqZvEnl8Iwq06nXC9x9Wfg42a+VdVBOvebP6Fp qr7P5QachD0mqcDKThZI8CNQizM90m4rGvFx+L/sHFQ7/9dBcYFc1/gRJE85wosDNemR3u03S OX3lVwKnRzwepdyRmtHPZ6bMFywBqUCcjVK1TCEFNH03kp+ItUTNyKEkyNAECZKWF3mHu6Zx0 xwi3n5KJ5biRR3rFFBDmLO2D/NGVfLaQLsu16WKTYSKHUxw3PwJeX6ClWdWPGWHBHywgly2Ku R2x6Sh8KvG8+kszDzDB2m6w2gutX9hKofwKPWW6hGp7NUCoJ+UDNWbu1TNDfUoobhoxl1VE5X Zvr/drl2VW/ZA2HBT33lglTMmeloDW813pCbz9dbZO9bF2nwTCTPT/gscN9xgv0Kx7E8LRd6A nVEPhok Subject: Re: [Caml-list] Interface(.mli) location >>> a) Delete ./a.cmi as part of your build procedure. >> >> Can this design option trigger difficulties in your file system >> configuration? > > What sort of difficulties do you mean? Do software build systems track the existence of such a generated file? Are you also concerned about a harder parallelisation there? > d/a.cmi may constrain values defined in ./a.ml and you won't get > the type-checking this way. I would usually expect that these interface descriptions should be kept consistent to some degree. > I was just floating ideas - if it's actually useful, raise a Mantis PR! Will another official bug report or feature request help to improve the discussed situation? Regards, Markus