On Fri, 16 Dec 2022 at 20:21, Gabriel Dos Reis via SG15
> Exactly why we need to clarify the normative text to say explicitly that importing a named module does not bring in any macro even if the nominated module re-exported a header unit which might bring in macros if imported directly. Even if we believe there is a (long) chain of inference to arrive there, it is better to have an explicit normative text to that effect.
Agreed, having an import of a named module bring in a macro is
unhinged, and must be rectified via any means.
We already have explicit normative text that says the right thing, but given that an implementer has read it and misunderstood, it seems like it's not clear enough and that rules describing phase 7 of translation are being incorrectly applied in phase 4 as well. We should probably reiterate that the rules in the preprocessor section define the behaviour of phase 4 of translation and the rules elsewhere do not, and what that means for macro imports in particular. A couple of well-placed notes or examples seem well-suited for this purpose to me.