You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
To reproduce, have a package (for example arg-parser) that contains a module (for example something), with a module header that claims the module is part of a different package instead (for example std):
module(std.something)
When importing the module arg-parser.something you get the following error message:
Tried to set different path for the same package.
Package: std
Path 1: "lib\\arg-parser"
Path 2: "lib\\std"
Which is confusing, it should really say that the module header for arg-parser.something is wrong.
For future reference, I also got this stack trace while running with a debug build of the compiler:
call stack:
path! at src\elab.mth:1287:26
check-module-path at src\elab.mth:1270:9
elab-module-header! at src\elab.mth:1245:5
elab-module! at src\elab.mth:1322:13
load-module at src\elab.mth:1333:5
elab-module-import! at src\elab.mth:1296:31
elab-module-decl! at src\elab.mth:1246:32
elab-module! at src/main.mth:83:5
compile! at src/main.mth:214:5
main at src/main.mth:150:5
The text was updated successfully, but these errors were encountered:
To reproduce, have a package (for example
arg-parser) that contains a module (for examplesomething), with a module header that claims the module is part of a different package instead (for examplestd):When importing the module
arg-parser.somethingyou get the following error message:Which is confusing, it should really say that the module header for
arg-parser.somethingis wrong.For future reference, I also got this stack trace while running with a debug build of the compiler:
The text was updated successfully, but these errors were encountered: