Agus Zubiaga c617963b22 Load and can imports inside defs ... After parsing a module, we now recursively traverse the tree to find all imports inside Defs, not just the top-level ones. Previously, imported modules were available in the entire file, but that's no longer the case. Therefore, Scope now keeps track of imported modules and Env::qualified_lookup checks whether a module is available in the provided scope. Note: Unused import warnings are still global and need to be updated.		2024-01-20 08:39:33 -03:00
..
src	Load and can imports inside defs	2024-01-20 08:39:33 -03:00
tests	Load and can imports inside defs	2024-01-20 08:39:33 -03:00
Cargo.toml	Push checkmate through load	2023-07-17 09:51:00 -05:00