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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id EA06F7F72A for ; Tue, 9 Aug 2016 11:22:45 +0200 (CEST) IronPort-PHdr: 9a23:jEl1FxJZ1YlXWVdomNmcpTZWNBhigK39O0sv0rFitYgUIvvxwZ3uMQTl6Ol3ixeRBMOAuqoC2rCd6vqocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+kQsiD1Y/ujaibwN76W01wnj2zYLd/fl2djD76kY0ou7ZkMbs70RDTo3FFKKx8zGJsIk+PzV6nvp/jtLYqySlbuuog+shcSu26Ov1gFf0LRAghZkw8+szn/TDHSRCI/mNUBmkMm19ODhfexBT3Qp7qriLxtax23yzMbuPsSrVhYhrqyq5xSwLzwAoDOSQ49m6f3sF0grhaph2Jugdy2ZWSe4aILvFzcKTHct5cQ2ddCJUCHxddC5+xOtNcR9EKOvxV+syk/wMD Authentication-Results: mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of elfring@users.sourceforge.net) identity=pra; client-ip=217.72.192.78; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="elfring@users.sourceforge.net"; x-sender="elfring@users.sourceforge.net"; x-conformance=sidf_compatible Received-SPF: Fail (mail2-smtp-roc.national.inria.fr: domain of elfring@users.sourceforge.net does not designate 217.72.192.78 as permitted sender) identity=mailfrom; client-ip=217.72.192.78; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.web.de) identity=helo; client-ip=217.72.192.78; receiver=mail2-smtp-roc.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: A0CfAgDin6lXh07ASNldhEW7c4YdAoFGPBABAQEBAQEBAREBAQEIDQkJGS9BEIFhBAETAYIUAQQBeQULCw44VwYNCAEBiCUMwzIBAQEHAgEkiCKCVYobAQSZOY8KgVWHcgoEhW6QLDWCQoFZhl+BWgEBAQ X-IPAS-Result: A0CfAgDin6lXh07ASNldhEW7c4YdAoFGPBABAQEBAQEBAREBAQEIDQkJGS9BEIFhBAETAYIUAQQBeQULCw44VwYNCAEBiCUMwzIBAQEHAgEkiCKCVYobAQSZOY8KgVWHcgoEhW6QLDWCQoFZhl+BWgEBAQ X-IronPort-AV: E=Sophos;i="5.28,494,1464645600"; d="scan'208";a="229418398" Received: from mout.web.de ([217.72.192.78]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 09 Aug 2016 11:22:45 +0200 Received: from [192.168.1.2] ([78.48.104.219]) by smtp.web.de (mrweb101) with ESMTPSA (Nemesis) id 0MQvsg-1bfLlK37tO-00UKaP; Tue, 09 Aug 2016 11:22:36 +0200 To: David Allsopp References: <8737mfp7j3.fsf@gmail.com> <87y447npv3.fsf@gmail.com> <87r39znl6m.fsf@gmail.com> From: SF Markus Elfring Cc: moosotc@gmail.com, Gabriel Scherer , caml-list@inria.fr Message-ID: <378f6aa4-7e9d-19ee-2e45-93f386349703@users.sourceforge.net> Date: Tue, 9 Aug 2016 11:22:35 +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:5JAQ0+2ZMj9fF5vm3+stWTok1Qp/k+ykAV9yH5ABesIzDbrEsQk rMj17KOq+R555zX8ItWIgiiz8+BIAUWACc/oKfY0Gbraxb02gqAInLENe8aHFKv9WptoHVr gy/Dj88mDADKw4ZOrCfgu25EK7wm7rXRIbMnUaLqwxphoH4x5Y1vm2rTPruFO/j+NELB8as MHoIRvSXVPkuwPv0lGoJg== X-UI-Out-Filterresults: notjunk:1;V01:K0:RpY5wUq9eLs=:eSGa8OL7vE5c1DQGiomyUY CCQawpaUvqZy2sRVAqBAwKVrPq1ZRZYERNx/oEWSFIc7s62rZqnQ9TrsINqTRBx3h8taQnIcw faQ/pLgd7VWJumcUoSRurfg9bDndBsK6fPMfrVsvP0tco2ZlvIqJ8rkWTadY8w7d2owe95PJf fyAxBoJ6GSVVp0OLUX5nB8wQnBa5BOOlorqQI40j63erZ2RrY5SZuOfg5S6xay+4ebjNf33ti ogX7ixx4fYn1D7OE15B/Ee0JkJkRlwjQmGMRsGnvq3NvDIupp7JC3ZIQV+oxrF+O1QpIOBYLP /V1VaJSyg8WscxwO0Sqvmm0zWGn8j5uG9NHw4dHtA3Q7vN5wiR3A4258Xz2cSjgseHUGdSvLF IGMEAvlIhbVDg+tTjAd0gYCGmtAJUUyLPrW9cn8cDSofrxrmGln8GV9UM96UvNEZk3TFNl9Hp QUe7UCKNv9iTGVZ5rDCmquOjA3B992yR6UikbknoeqUWCT5D6bSnsCkFES1x2WLcfqo3N5uXt nnKdhelotH0j4k8Ub6X1qnet1l8OzUnkWyf8s7MotEZZTan6kj22xST3/DnHM+/CSHhjIrZIj JvvT0nSFgLkQi+wDsLL0jmjmbTaI4caMBwy9UhPP8Y2dppUaZsAA3Ri6LtRqy+ESLPHhV07rY +B0we3PNgDl7BauzePTjlRADSj0cpW6r4nw8Rxm2WZmTNG/Clp3WHRWaE0HGbkrO+WdAIhrID XOy24J42ifPZEY5vMi246hsm+TxpmDrQX7LyVzI7OoIURjTEbvLSaQfzTXOToLRvdRvioO7mi DXlyma7 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? > This isn't ideal, though, because you lose the type-checking against d/a.cmi Would you like to explain this conclusion a bit more? > c) Implement a new option in the compiler driver which suppresses > the automatic generation of .cmi files (e.g. ocamlc -c -I d -no-cmi a.ml) I would find such a command parameter also useful. Will any more fine-tuning be considered for the safer handling of interface descriptions and corresponding implementations? Regards, Markus