error when eval'ing definitions with interpolated variables if module has a docstring during bootstrap

[rfourquet]

To reproduce, add this in a file from Base (listed in "sysimg.jl").

"""
A
"""
module A

let T = Int
   @eval a(::$T) = 0
end

end

It's enough to attach the docstring to :A before the module declaration (or to A after) to solve the problem.

[yuyichao]

If you are reporting an error you should actually give the error message....

In this case it's

LoadError("sysimg.jl", 428, UndefVarError(:T))

And it only happens if you put it before the doc system is ready (i.e. add this in a file from Base is not enough to reproduce). It is expected (so not a critical bug, but can possibly be improved) that the doc system accept only limited syntax before it is defined.

[rfourquet]

Sorry for not mentioning the error message. I don't know when the doc system is ready, but I could reproduce this bug by putting the code in files close to either the beginning or the end of "sysimg.jl". It didn't appear to me that the doc system accepts a limitied syntax, as e.g. in test.jl the normal syntax for documenting the module is accepted: the problem comes then if I try to use @eval with an interpolated variable.

[yuyichao]

It'll not error if you put it after include("docs/Docs.jl")

if I try to use @eval with an interpolated variable.

And that's the limitted syntax I'm talking about.

[rfourquet]

the doc system accept only limited syntax before it is defined.

Ok, I didn't see @eval as part of the doc system.

[yuyichao]

I didn't see @eval as part of the doc system.

It's not. The evaluation rule is.