Open kohlhase opened 5 years ago
I looked a bit into it and I don't understand why "simple-type.tex" is never shown in the course:
bitbyte.tex is shown in the course.
It contains the following line:
\importmhmodule[repos=BaseMH/physics,path=units/en/quantities]{quantities}
And quantities.tex contains the following line:
\importmhmodule[repos=MiKoMH/CompLog,path=stlc/en/simple-types]{simple-types}%
~> Shouldn't everything imported through importmhmodule
be shown?
Ah, I sense a misunderstanding here. Let me clarify: Here is the idea:
\mhinputref
/\input
closure of notes.tex
. \importmhmodule
/\usemhmodule
/\gimport
/\guse
-closure of notes.tex
, but not in MS.THus bitbyte
is in MS and quantities
and simple-types
are in MU (since there is no \mhinputref{.../quantities}
.
I hope this helps.
This clarification helped a lot. It should be fixed now.
Actually it got broken by my fix for #2 -- the original problem was that mhinputrefs and inputs got ignored in most cases.
The IWGS graph contains the node "simple-type.tex", which is never shown the course (but of course included). simple-types.tex should be green.