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 DABAB7F72A for ; Tue, 9 Aug 2016 13:50:34 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=moosotc@gmail.com; spf=Pass smtp.mailfrom=moosotc@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f53.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of moosotc@gmail.com) identity=pra; client-ip=74.125.82.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="moosotc@gmail.com"; x-sender="moosotc@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of moosotc@gmail.com designates 74.125.82.53 as permitted sender) identity=mailfrom; client-ip=74.125.82.53; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f53.google.com) identity=helo; client-ip=74.125.82.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="moosotc@gmail.com"; x-sender="postmaster@mail-wm0-f53.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BKAQDjwalXhjVSfUpdhBt8pGeUPYF9HIYBAoFJOhIBAQEBAQEBEgEBAQgLCwkZL4RfAQQBAREuARsdAQMBCwYFCwMTHgcPAQQNAhEBBQELFxMaCId0AQMPCASkUoEyPjGNJYJbBYZSChknDVSDWgEBAQEBAQQBAQEBARoCBhCED4ZYgkOHWAWIHoZrRYk3NIYdhjKCO4I5hw6FfIgtIYYeMYEPJAGCQhALgU9rh00BAQE X-IPAS-Result: A0BKAQDjwalXhjVSfUpdhBt8pGeUPYF9HIYBAoFJOhIBAQEBAQEBEgEBAQgLCwkZL4RfAQQBAREuARsdAQMBCwYFCwMTHgcPAQQNAhEBBQELFxMaCId0AQMPCASkUoEyPjGNJYJbBYZSChknDVSDWgEBAQEBAQQBAQEBARoCBhCED4ZYgkOHWAWIHoZrRYk3NIYdhjKCO4I5hw6FfIgtIYYeMYEPJAGCQhALgU9rh00BAQE X-IronPort-AV: E=Sophos;i="5.28,494,1464645600"; d="scan'208";a="187270989" Received: from mail-wm0-f53.google.com ([74.125.82.53]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 09 Aug 2016 13:43:05 +0200 Received: by mail-wm0-f53.google.com with SMTP id i5so29006858wmg.0 for ; Tue, 09 Aug 2016 04:43:05 -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=oQhfkYHXC36p0s1gzxAOdiFvadfaTaXuZBO82/we6NU=; b=jlX9Eru6JIQXWECdYgDqyn34PvuB2IG28rRs34VgPMkbG+gq7cCUJXTPtVowX87lRg SDH3vAuerMWSfVx0QNqj45mzXSe+QC9XMNAi2uBoZtht9FqXo4M8Ldb17BTDaL9vbE9y fPVYwipWWAM8MEOXjPr9w+zE5aGLuOn4WUcmEMN723Lxjq32AoJoEEbAjygfvcctYrX9 /HiMPXOqHAR5zg6a7GmZUg8LQFdpTi/+pDl/G0ZXMUJ1zoxq6nzMkDVHuhyIyjXJ8Vxq lS8gP7Wese6SLRizagKkcHVK47fxhmnVx9pvMUvxbBZ2DbyA4z7PrU44+PWzpfZKHC3r 6Unw== 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=oQhfkYHXC36p0s1gzxAOdiFvadfaTaXuZBO82/we6NU=; b=GlKQSyXnJRfhsfTp3uU8ZFSKEhtpTF6D3y+dk1i8YPnIzW35nbg/yeAtK2/3rQUFio Cx8If66klSjcX/7UwvrVFGx3eZ9/fnBGYJ0/LQZNgLDB7TyHNMkQZw5dhGFXoB6nXibG dYBTd9pozGxot8DvDJh97gVH2mDDwEiYo7JZS1lTfL8FbY1RYgnSUrHhJu79B9HUI6Jo fZ8ajtCSsfc5RmcJS+iA3kImuBEzgJcjB5nG3g3iNTElW37AChEfycO96ITUaVPSEMes duD/40zn0V5f+nVz0BYc+bazZP242aB9msEf5KV1gaaObs6rPNp7fj1mwBLBQJTDeEPL c+yA== X-Gm-Message-State: AEkoouvH4wmpaGGwSRAlCM1KyyEOatN0/UUE7t4i4fSmQqFX2/YA4BsN2VbDv6aMPwUHNQ== X-Received: by 10.25.218.75 with SMTP id r72mr504589lfg.131.1470742984995; Tue, 09 Aug 2016 04:43:04 -0700 (PDT) Received: from linmac2 ([188.123.252.212]) by smtp.gmail.com with ESMTPSA id p102sm6328116lfi.9.2016.08.09.04.43.04 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Tue, 09 Aug 2016 04:43:04 -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> Date: Tue, 09 Aug 2016 14:43:03 +0300 In-Reply-To: <87k2fqcirv.fsf@gmail.com> (moosotc@gmail.com's message of "Tue, 09 Aug 2016 13:56:52 +0300") Message-ID: <87d1licgmw.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: > 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: [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 -c -o o/a.cmo a.ml md5sum o/a.cmi + rm -fr a.ml 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 -c -o o/a.cmo a.ml + md5sum o/a.cmi bc44d889df40c61e43dbd94535ffd614 o/a.cmi 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