Option to skip analysis for certain files

[avik-pal]

In Reactant.jl we have several files that are auto-generated (and these are extremely large files) which slows down the explicit import checks. Would it be possible to add an option that can be passed to the functions to ignore analysis for these files / modules?

[ericphanson]

I think it should be doable, we already have something to skip files but it’s only used internally:

ExplicitImports.jl/src/parse_utilities.jl

Line 77 in 59a4503

if location in wrapper.bad_locations

However I think that may use absolute paths so we might need some name-matching logic as well as an API for it.

I don’t think I’ll add this soon but PRs welcome- probably Claude or codex can give it a go pretty effectively.

[avik-pal]

going by

ExplicitImports.jl/src/parse_utilities.jl

Lines 16 to 17 in 59a4503

	const OFF = "#! explicit-imports: off"
	const ON = "#! explicit-imports: on"

if I mark the locations where those files are being included like

#! explicit-imports: off
include("large_file_module.jl")
#! explicit-imports: on

will this be a sufficient mechanism to skip the large_files?

[ericphanson]

Yeah, it should I think. Now that I think about it, there might be something weird with either way, which is that this only constraints the static side of the analysis, but there’s a dynamic side where we recurse through loaded modules in the session, which may discover the same modules but not have info about them from the static analysis. Potentially we should add something where if we haven’t seen a module defined (eg bc it’s being skipped in such a way), we should ignore anything in it. This is also work-around able with the ignore kwargs, ie if you get weird results from submodules in those skipped files you could also ignore the submodules.