parser: check for module globals

[shadowninja55]

this pr ensures that patterns like:

import os
os.foo := 0

are checked by the parser. related to #10658.

[JalonSolov]

That example is perfectly valid in a script-mode file.

[shadowninja55]

That example is perfectly valid in a script-mode file.

but it's assigning to a global, it should require -enable-globals, no? i understand it might be used but it is still a global, that's why i added the pref check.

[JalonSolov]

Sorry - didn't mean to close it.

I don't know how that works. I've managed to avoid globals so far.

If you are correct, though, the error message needs to be changed.

[JalonSolov]

How about "cannot modify globals unless you enable them with the -enable-globals option"

[shadowninja55]

Sorry - didn't mean to close it.

I don't know how that works. I've managed to avoid globals so far.

If you are correct, though, the error message needs to be changed.

no worries. it actually seems v treats it as a scoped variable so i guess it's fine. i do think this needs to be cleared up though because to the average person it would look like a global.

[shadowninja55]

i'll leave this to someone else. it seems in these examples os.foo is a local variable. there is still an issue where the usage of this variable is not traced, but that should be a separate pr.