Carl Meyer 181e7b3c0d [red-knot] rename module_global to global (#12385) ...

Per comments in https://github.com/astral-sh/ruff/pull/12269, "module
global" is kind of long, and arguably redundant.

I tried just using "module" but there were too many cases where I felt
this was ambiguous. I like the way "global" works out better, though it
does require an understanding that in Python "global" generally means
"module global" not "globally global" (though in a sense module globals
are also globally global since modules are singletons).

2024-07-18 13:05:30 -07:00

..

src

[red-knot] rename module_global to global (#12385)

2024-07-18 13:05:30 -07:00

Cargo.toml

[red-knot] per-definition inference, use-def maps (#12269)

2024-07-16 11:02:30 -07:00