On Wed, Jul 10, 2019 at 11:02 AM Gabriel Dos Reis <gdr_at_[hidden]> wrote:
>
> You are implying that the include translation is mandatory. Is that your argument?

It is my belief that include translation is mandatory.

"If the header identified by the header-name denotes an importable
header ([module.import]), the preprocessing directive is instead
replaced by the preprocessing-tokens: import header-name ;"
http://eel.is/c++draft/cpp.include#7

To me, that reads as "including an importable header must be
translated to an import".

Was that the original design intent?

-- 
Bryce Adelstein Lelbach aka wash
CUDA Core C++ Libraries Lead @ NVIDIA
ISO C++ Library Evolution Incubator Chair
ISO C++ Tooling Chair
CppCon and C++Now Program Chair
CUDA Convert and Reformed AVX Junkie
Sleep is for the weak
--