Global definitions not visible after `includet`

[serenity4]

This fails in 1.11.3 and on nightly:

julia> module A

using Revise

includet("B.jl") # echo "module B end" > B.jl
using .B

end # module

ERROR: LoadError: UndefVarError: `B` not defined in `Main.A`
Suggestion: check for spelling errors or missing imports.
Stacktrace:
 [1] top-level scope
   @ ~/.julia/dev/Cthulhu/bug.jl:6
 [2] include(mapexpr::Function, mod::Module, _path::String)
   @ Base ./Base.jl:306
 [3] top-level scope
   @ REPL[1]:1
 [4] top-level scope
   @ REPL:1

whereas replacing includet by include works as intended:

julia> module A
       
       using Revise
       
       include("B.jl") # echo "module B end" > B.jl
       using .B
       
       end
Main.A

If includet is expected to behave differently than include, this should probably be mentioned in its docstring.

(not sure if this is an issue in Revise itself or one of its dependencies)

[pfitzseb]

If includet is expected to behave differently than include

I don't think it is, at least in this regard.

[timholy]

Duplicate of #689. You need to spell that as includet(@__MODULE__, "B.jl")

I don't think there is a way for a function to extract the contextual module in which it's running. The way Base gets around this for include is:

julia> module B end
Main.B

julia> m = which(B.include, (String,))
include(x)
     @ Main.B REPL[1]:1

julia> m === which(Main.include, (String,))
false

julia> Base.uncompressed_ast(m)
CodeInfo(
    @ REPL[1]:1 within `include`
1 ─ %1 = Core._call_latest(Base.include, Main.B.B, x)
└──      return %1
)

but this solution is simply unavailable to Revise.