Date: Fri, 16 Dec 2022 20:23:43 +0200
On Fri, 16 Dec 2022 at 20:21, Gabriel Dos Reis via SG15
<sg15_at_[hidden]> wrote:
> 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.
<sg15_at_[hidden]> wrote:
> 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.
Received on 2022-12-16 18:23:55