Open janmasrovira opened 3 weeks ago
For instance, the main file imports a module called Export, which has a parse error in it. The error is reported at the module Main header, but it should be reported at the import line.
Export
module Main
For instance, the main file imports a module called
Export
, which has a parse error in it. The error is reported at themodule Main
header, but it should be reported at the import line.