If a file doesn't exist and is used in a (use ...) directive, the error message indicating the nonexistent file is terrible. It just says "no such file or directory", reports the error at line 1 column 1, and usually the source filename isn't even right because we're still doing dependency resolution and don't even know what source file we're in.
If a file doesn't exist and is used in a
(use ...)directive, the error message indicating the nonexistent file is terrible. It just says "no such file or directory", reports the error at line 1 column 1, and usually the source filename isn't even right because we're still doing dependency resolution and don't even know what source file we're in.