From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=PzXlOuSB; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by plum.tunbury.org (Postfix) with ESMTP id 710D64008C for ; Thu, 16 Jul 2026 13:34:47 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:to:references:from: in-reply-to:subject:reply-to:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=HUm+Hg29OL9PsRY2JJ5gRazQHiaMur7Xas23OjSi5ik=; b=PzXlOuSBID2F/kr9t91QIzZLLi5MbE4rKLAGqcDZ6LrvjloaGK4cSGiw GU72EgC7K6l52HxJ4J1K0fZn9iWGp865ZA92t161yMn3b46E002qE9Qpp QVrkCM+bwQi7hVy2YaK2GmTqjpGCDEYArfKPSrbF3an1ekIQBMNrc5qcn s=; X-CSE-ConnectionGUID: R4VJjFThQ06+YHbitJfqXg== X-CSE-MsgGUID: 1ZC8xdoNQACcxQoHJbRqYw== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@prod-sympa-app.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.27 as permitted sender) identity=mailfrom; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@prod-sympa-app.inria.fr) identity=helo; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@prod-sympa-app.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.25,167,1779141600"; d="scan'208,217";a="286594403" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Jul 2026 15:34:47 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id D2CD6816E6; Thu, 16 Jul 2026 15:34:46 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id D5A56812E0 for ; Thu, 16 Jul 2026 15:34:41 +0200 (CEST) X-CSE-ConnectionGUID: wPNLG/P9QpWnaBMcEtXwIw== X-CSE-MsgGUID: pXLgHIu3Ske2tsvUYL94gg== X-IronPort-AV: E=Sophos;i="6.25,167,1779141600"; d="scan'208,217";a="152219306" Received: from cadillac.paris.inria.fr (HELO [128.93.64.106]) ([128.93.64.106]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 16 Jul 2026 15:34:42 +0200 Content-Type: multipart/alternative; boundary="------------QwSfmVeDepjw0zGzD0e00FNR" Message-ID: Date: Thu, 16 Jul 2026 15:34:41 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird To: caml-list@inria.fr References: Content-Language: en-US From: Florian Angeletti In-Reply-To: Subject: Re: [Caml-list] module dependency question Reply-To: Florian Angeletti X-Loop: caml-list@inria.fr X-Sequence: 19549 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: , List-Subscribe: , List-Unsubscribe: , List-Post: List-Owner: List-Archive: Archived-At: This is a multi-part message in MIME format. --------------QwSfmVeDepjw0zGzD0e00FNR Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit What is the motivation for adding the constraint of not opening any other files? You will need to open the interface of M to discover its dependencies at one point or another. On 16/07/2026 at 17:19, K wrote : > Is iterating over the typexpr the right or reasonable way of > uncovering that transitive dependency (on type N.t specifically rather > than on the module N in its entirety) without recourse to opening any > other file? > > On Thu, 16 Jul 2026 at 13:07, Florian Angeletti > wrote: > > In your example, `N` will be a dependency of `M` and thus a > transitive > dependency of the current module. > --------------QwSfmVeDepjw0zGzD0e00FNR Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 7bit What is the motivation for adding the constraint of not opening any other files?
You will need to open the interface of M to discover its dependencies at one point or another.

On 16/07/2026 at 17:19, K wrote :
Is iterating over the typexpr the right or reasonable way of uncovering that transitive dependency (on type N.t specifically rather than on the module N in its entirety) without recourse to opening any other file?

On Thu, 16 Jul 2026 at 13:07, Florian Angeletti <octa@polychoron.fr> wrote:
In your example, `N` will be a dependency of `M` and thus a transitive
dependency of the current module.

--------------QwSfmVeDepjw0zGzD0e00FNR--