Walter Bright wrote:
Christopher Wright wrote:
Walter Bright wrote:
Christopher Wright wrote:
Additionally, the compiler has sufficient information to complain
about the problem at compile time, but it doesn't. That is a bug.
No, it does not. The compiler doesn't know about private imports of
separately compiled modules.
Okay, the compiler could gain that information, but it does not, since
it is not required. In many cases, the compiler could detect these
issues. Detecting these would be a reasonable, if low priority,
enhancement.
The problem if it detects it in an implementation-defined manner is the
source code is no longer portable.
... If the result of compilation provably won't *run* anyway, what's the
problem with a compile-time error?
