Re: module dependency question

Florian Angeletti <[email protected]> Thu, 16 Jul 2026 15:34:41 +0200
Newsgroups	gmane.comp.lang.caml.inria
Message-ID	<[email protected]>
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 <[email protected]> 
> 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

<!DOCTYPE html>
<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    What is the motivation for adding the constraint of not opening any
    other files?<br>
    You will need to open the interface of M to discover its
    dependencies at one point or another.<br>
    <br>
    <div class="moz-cite-prefix">On 16/07/2026 at 17:19, K wrote :<br>
    </div>
    <blockquote type="cite"
cite="mid:CACTzTFBk=sFr=6ant66Hm9FAQ26hf+PauMY7R7wR6hspBd=8Pg@mail.gmail.com">
      <meta http-equiv="content-type" content="text/html; charset=UTF-8">
      <div dir="ltr">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?</div>
      <br>
      <div class="gmail_quote gmail_quote_container">
        <div dir="ltr" class="gmail_attr">On Thu, 16 Jul 2026 at 13:07,
          Florian Angeletti &lt;<a href="mailto:[email protected]"
            moz-do-not-send="true" class="moz-txt-link-freetext">[email protected]</a>&gt;
          wrote:<br>
        </div>
        <blockquote class="gmail_quote"
style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">In
          your example, `N` will be a dependency of `M` and thus a
          transitive <br>
          dependency of the current module.<br>
        </blockquote>
      </div>
    </blockquote>
    <br>
  </body>
</html>

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