Re: module dependency question

--0000000000006e61dc0656ba6fe3
Content-Type: text/plain; charset="UTF-8"

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.
>

--0000000000006e61dc0656ba6fe3
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Is iterating over the typexpr the right or reasonable way =
of uncovering that transitive dependency (on type N.t specifically rather t=
han on the module N in its entirety) without recourse to opening any other =
file?</div><br><div class=3D"gmail_quote gmail_quote_container"><div dir=3D=
"ltr" class=3D"gmail_attr">On Thu, 16 Jul 2026 at 13:07, Florian Angeletti =
&lt;<a href=3D"mailto:[email protected]">[email protected]</a>&gt; wrote:=
<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8=
ex;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>

--0000000000006e61dc0656ba6fe3--