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 36AFC7FF50 for ; Mon, 8 Aug 2016 19:16:03 +0200 (CEST) IronPort-PHdr: 9a23:nQdggBSZD7ebDCDUKvJ57EZHfNpsv+yvbD5Q0YIujvd0So/mwa64YhaN2/xhgRfzUJnB7Loc0qyN4vimCDRLuM7e+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLshrj0qsWYOl0XzBOGIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46Fp34d6XK77Z6U1S6BDRHRjajhtpZ6jiR6WYgKF/HoRVi0tmRpFGQXfpEX1V53rsyb+8PF22CSAMNfeQrU9WDDk5KBuHkzGkiACYjs+93rQlsdYg6dSoRbnrBt6kN2cW52cKPcrJvCVRtgdX2cUG58JDyE= 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-f49.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.49; 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.49 as permitted sender) identity=mailfrom; client-ip=74.125.82.49; 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-f49.google.com) identity=helo; client-ip=74.125.82.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="moosotc@gmail.com"; x-sender="postmaster@mail-wm0-f49.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A3AQDtvahXhjFSfUpdhBttD7kYgX0chgECgT86EgEBAQEBAQEBEQEBAQgLCwkZL4IyBAETAYIUAQQBEi4BGxgFAQMBCwYFCxYeBw8BBA0CEQEFAQsXEyKHdAEDDwgEpHuBMj4xjSWCWwWGSAoZJw1Ug1oBAQEBAQEBAQIBAQEBAQEBGAIGEIQPhliCQ4dYBY8JiXw0jE+CO4lHhXyILSGGHjGBDyUFgk2BWmuHXwEBAQ X-IPAS-Result: A0A3AQDtvahXhjFSfUpdhBttD7kYgX0chgECgT86EgEBAQEBAQEBEQEBAQgLCwkZL4IyBAETAYIUAQQBEi4BGxgFAQMBCwYFCxYeBw8BBA0CEQEFAQsXEyKHdAEDDwgEpHuBMj4xjSWCWwWGSAoZJw1Ug1oBAQEBAQEBAQIBAQEBAQEBGAIGEIQPhliCQ4dYBY8JiXw0jE+CO4lHhXyILSGGHjGBDyUFgk2BWmuHXwEBAQ X-IronPort-AV: E=Sophos;i="5.28,490,1464645600"; d="scan'208";a="229357542" Received: from mail-wm0-f49.google.com ([74.125.82.49]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 08 Aug 2016 19:16:02 +0200 Received: by mail-wm0-f49.google.com with SMTP id q128so131763129wma.1 for ; Mon, 08 Aug 2016 10:16:02 -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=oaV0uSr1iyI4cyeR0lzLLUpxNanLzQ0ciyOciX9izRM=; b=UvcFLrtvXPoHOerOy0nauIXFX5VlnW6hi1j4jxssCIvFcI7RBrajFhvnX0xcK7uvxN D0dunA6Gf6B/0NO7qf71NcXqoOh5mVNcUW9KMF1yE2TiSF1pVQpt15aKd+pBb/aml14N a8wRNIwBUaXU8zNKNnR+I5R7GF6ImKH3wcWiewKaxwv92KEEa+a8Cm+KGrsNlbfh0jQq YjQdJkgBZ113SBdnVz3kxu0DsHVrR25Xq4nBJeUfwP9EIYNIwr/5qOLp2/tipJ6F03KF 4OCO8Yf29gRm2Y4Ztsp0TIf/fexTbLaKMas4K12f5G4g0XWkxkonafbs5reiXviD3bqx O/hA== 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=oaV0uSr1iyI4cyeR0lzLLUpxNanLzQ0ciyOciX9izRM=; b=haKvhyfGErlWB5Pzs6c1MjRObu2OLY1tZih5pm8jU/K+vPwrq0RZekjF2lmjuih5Ik BWErRp0DBEUckl9f6UO2nhiOVOTW9C2G0JCdJZAYCqJ3wkGgGoqWZxWHysnmYl5DWnJq VH3Af4fsT8clWZazb7JkIwuNJpLZq10bmVuQO55eXadWRZgH60INAWVDgPkZrRStMQk8 DzaLTKKRD9ubFXbsaJRlJizlDqAeb5bPenkyYEpofs002WX91slOVjIHgJfk/cicoOIc KzA0cp1bvnqwERlmAvbzQXcKMusJbt3aXqTv3RFFj5q3GdugkHE7uOfRye8oSfUzrgsI N8jQ== X-Gm-Message-State: AEkoouvOunTpggu+fklL+MptBiPaRTuo2sEjVrNMXpzEH+zcVJnR67TtvKlcalZzslF1dA== X-Received: by 10.25.16.162 with SMTP id 34mr30614278lfq.127.1470676562241; Mon, 08 Aug 2016 10:16:02 -0700 (PDT) Received: from linmac2 ([188.123.252.212]) by smtp.gmail.com with ESMTPSA id p128sm5806355lfb.32.2016.08.08.10.16.01 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Mon, 08 Aug 2016 10:16:01 -0700 (PDT) From: moosotc@gmail.com To: Gabriel Scherer Cc: caml users References: <8737mfp7j3.fsf@gmail.com> Date: Mon, 08 Aug 2016 20:16:00 +0300 In-Reply-To: (Gabriel Scherer's message of "Mon, 8 Aug 2016 19:03:34 +0200") Message-ID: <87y447npv3.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 Gabriel Scherer writes: > It is correct that ocamldep assumes that the .ml and .mli of a given > module are at the same place, but this is not the case for the rest of > the compilation chain, which is either concerned with single source > files (a .ml file or a .mli file) or with "compilation units" (a .cmo > and .cmi files passed together, independently of where their source > files were). In particular, all type-checking tools do look in -I > directories to find .cmi files for the dependencies of the module > being compiled (and at this stage they do not care for .mli files). But the script seems to (somewhat) contradict this, i.e. after `ocamlc -I d -c a.ml' ocamlc ignores the presence of .mli inside subdirectory d/, producing both .cmi/.cmo when when compiling a.ml. [..snip..] -- mailto:moosotc@gmail.com