14 Apr
2020
14 Apr
'20
8:49 p.m.
HI, Am Dienstag, den 14.04.2020, 10:00 -0500 schrieb Eric Seidel:
If we allow "M.do" without explicitly importing M, building the module dependency graph suddenly requires parsing the entire module rather than just the preamble. How much of a concern is this for compilation times?
that isn’t the plan. You still have to import a module called M! The question is whether you _also_ have to import M.(>>), or whether it’s import to import a _module_ and give it a name. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/