Walter Bright wrote:
Frits van Bommel wrote:
Walter Bright wrote:
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?
Nothing, it's just that the compiler cannot prove it is an error.
Not even on a best-effort basis?
It doesn't have to catch every possible case; I for one would be
perfectly fine with it if it didn't catch the "I omitted a private
import from my .di file" case...