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 99D677F72A for ; Tue, 9 Aug 2016 13:53:52 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=moosotc@gmail.com; spf=Pass smtp.mailfrom=moosotc@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f42.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of moosotc@gmail.com) identity=pra; client-ip=74.125.82.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="moosotc@gmail.com"; x-sender="moosotc@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of moosotc@gmail.com designates 74.125.82.42 as permitted sender) identity=mailfrom; client-ip=74.125.82.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="moosotc@gmail.com"; x-sender="moosotc@gmail.com"; 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@mail-wm0-f42.google.com) identity=helo; client-ip=74.125.82.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="moosotc@gmail.com"; x-sender="postmaster@mail-wm0-f42.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BQAQADw6lXfypSfUpdhBt8pGeUPYF9HIYBAoFJOhIBAQEBAQEBEgEBCQsLCRcxhF8BBAEBES4BGx0BAwELBgULAxMeBw8BBA0CEQEFAQsXExoIh3QBAw8IBKRLgTI+MY0lglsFhlIKGScNVINaAQEBAQEBBAEBAQEBGgIGEIQPhVWBA4JDh1gFiB6Ga0WJNzSGHYYygjuCOYcOhXyILSGGHjGBDyQBgkIbgU9rh00BAQE X-IPAS-Result: A0BQAQADw6lXfypSfUpdhBt8pGeUPYF9HIYBAoFJOhIBAQEBAQEBEgEBCQsLCRcxhF8BBAEBES4BGx0BAwELBgULAxMeBw8BBA0CEQEFAQsXExoIh3QBAw8IBKRLgTI+MY0lglsFhlIKGScNVINaAQEBAQEBBAEBAQEBGgIGEIQPhVWBA4JDh1gFiB6Ga0WJNzSGHYYygjuCOYcOhXyILSGGHjGBDyQBgkIbgU9rh00BAQE X-IronPort-AV: E=Sophos;i="5.28,494,1464645600"; d="scan'208";a="229433026" Received: from mail-wm0-f42.google.com ([74.125.82.42]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 09 Aug 2016 13:46:35 +0200 Received: by mail-wm0-f42.google.com with SMTP id i5so29198994wmg.0 for ; Tue, 09 Aug 2016 04:46:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=T0CJa5s+IaUSv/KcxV8ame3EDRsDNXSn7+S8zoKJOCo=; b=hfuqpLLi/tdIYw4CtluHO6pnB5ccUVv6QZF3TLgbf1u4qAnhvYhKDnJvh2y3FKIz4W ZPulO1jAICo+W0h2ItbqhgRxd1ikNg8GfLIUQPCM8fK3n1tEHTVEgO7GEOjlTZdSq+Ls 73ZYIn+r4X66DFGnab5D+9r4mC2RmXp8Tu/2RLrz+3pfYjnNThV/DT1+SsN6bW0IvwsT unOGaqW/JmRtt4AWnVjkQcN2FHPpCV8AExLAqW73fDkwipsomsFEmgnPWNCajvDMXeD2 njnBwDWp1DOXK1gGDMsALUqqmzZgMM2mH6QodjzdknvgHdcI4WMEy76OyFDgPW3UVV1A bdYw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=T0CJa5s+IaUSv/KcxV8ame3EDRsDNXSn7+S8zoKJOCo=; b=CnGoVUfAjy6P/2meU9eb/QHvxqW0Tr8bXBhc9ZMvV5mOrcAhTuY7BP1HZUoyF1rSOq /oFNjhPuPl6AEBSmP2Xv3E/Np2c720/TEnBcja/923JTmcsrkXUAXAcevwLgiRhIf6qE ckoS1k/1yB9keSsRTX++hXom1SJgStKhxfPcLUuWnDz2WDPeXSmETAqO4++DRpw8+7oP hsNBVMw9/V9DbgRC7Ni1bNODAabIz+Z+vaSGRFzsFtnra462QRSl8P/V67dI3gTH7ARS QPAxGhYG5n7G6CsIymndzKO2ZGNvtD+L+OnAJ5sPc2RbwSfAMX4cLDtoO52n+WdtmGDV 4vlw== X-Gm-Message-State: AEkoouveXed0R1xE2dL/2o4Ta4F/iva4BG3Z8k1Z6xyXfeK1peBPVQT9X/AwPxmJrVC8Lw== X-Received: by 10.25.40.74 with SMTP id o71mr29407533lfo.36.1470743195102; Tue, 09 Aug 2016 04:46:35 -0700 (PDT) Received: from linmac2 ([188.123.252.212]) by smtp.gmail.com with ESMTPSA id 72sm6396075lja.30.2016.08.09.04.46.34 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Tue, 09 Aug 2016 04:46:34 -0700 (PDT) From: moosotc@gmail.com To: David Allsopp Cc: Gabriel Scherer , caml users References: <8737mfp7j3.fsf@gmail.com> <87y447npv3.fsf@gmail.com> <87r39znl6m.fsf@gmail.com> <87mvknnia0.fsf@gmail.com> <87k2fqcirv.fsf@gmail.com> <87d1licgmw.fsf@gmail.com> Date: Tue, 09 Aug 2016 14:46:33 +0300 In-Reply-To: <87d1licgmw.fsf@gmail.com> (moosotc@gmail.com's message of "Tue, 09 Aug 2016 14:43:03 +0300") Message-ID: <878tw6cgh2.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] Interface(.mli) location moosotc@gmail.com writes: > moosotc@gmail.com writes: > >> David Allsopp writes: >> > [..snip..] > >>>> >>>> d) Make the compiler skip generation of .cmi if it sees one in the -I >>>> directories? >>> >>> No - I think the use-case is too niche to justify breaking backwards >>> compatibility. That's potentially a very subtle way to break someone >>> else's existing build system. The existing behaviour is precisely >>> documented in the manual (even if it's not necessarily the best >>> approach). >>> >> >> Original post asked for either change of behavior or documentation, I >> failed to find the precise documentation, care pointing out where >> exactly things are described in the manual? > > Also, consider this: > Better this (with safety nets in form of added -Is) [malc@linmac2 mli]$ cat repro2.sh; sh repro2.sh #!/bin/sh set -x rm -fr a* d o mkdir -p o d echo 'type a = int and b = int' >a.ml echo 'type a = int' >d/a.mli ocamlc -c -o o/a.cmi d/a.mli md5sum o/a.cmi ocamlc -I o -I d -c -o o/a.cmo a.ml md5sum o/a.cmi + rm -fr 'a*' d o + mkdir -p o d + echo 'type a = int and b = int' + echo 'type a = int' + ocamlc -c -o o/a.cmi d/a.mli + md5sum o/a.cmi dddf074fdfa94cad226485870c617116 o/a.cmi + ocamlc -I o -I d -c -o o/a.cmo a.ml + md5sum o/a.cmi bc44d889df40c61e43dbd94535ffd614 o/a.cmi [..snip..] > > IOW compilation of a.ml will override .cmi produced by compilation of > a.mli, the point, I guess, is that there's a lot to specify here. -- mailto:moosotc@gmail.com