On Mon, 9 Mar 2020 at 11:16, Bryce Adelstein Lelbach aka wash via Ext
<ext_at_[hidden]> wrote:
>
> > From a users perspective, having STL modules would speed up compilation times immensely
>
> As I said in my email, standard library headers are already importable in C++20. So your implementation can already replace #include <vector> with import <vector>;
>
> I don't know that we can really do that much more than that; we could have an import std.vector, but it sounds like (0) std::vector would have to remain in the global module and (1) standard library implementation details would probably have to remain in the global module as well.
>
> TL;DR the use case you described is already covered in C++20.

I wonder whether the people commenting on this thread have read
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0581r1.pdf.