In a .v file with no module
line, module main
should be "assumed".
#11
Labels
bug
Something isn't working
module
line, module main
should be "assumed".
#11
Describe the bug
If you have a mix of .v files in a directory, some with
module main
at the top, and some without, Intellij things they are files from different modules.This is evidenced by functions being marked as "not used" when they very clearly are if you examine the files. They are simply used in one of the files that don't match the
module
line at the top.Expected Behavior
All files with
module main
or with nomodule
line at all are treated as being inmodule main
.Current Behavior
Files with
module main
and files with nomodule
line at all are treated as being in separate modules.Reproduction Steps
Place both files in the same dir:
t1.v
t2.v
t1()
Then open
t1.v
in the editor. See thatt1
is greyed. Hover mouse overt1
and seeUnused function 't1'
warning message.Possible Solution
No response
Additional Information/Context
No response
Environment details (
v doctor
output)IDE Type (IDEA Community/Ultimate, GoLand, CLion, etc.)
Plugin Version
The text was updated successfully, but these errors were encountered: