I have a script that contains the lines:
using DataFrames
md::DataFrame = DataFrame()
...
I get the following JETLS.jl warning:
`md` is not concretized but JET needs to use its actual value in order to define types or methods.
- If this binding can be declared as a constant, try to declare it as a constant (i.e. `const md = ...`).
- You may need to specify `:(md = x_)` pattern to the `concretization_patterns`
configuration to allow JET to actually evaluate this binding, e.g.,
`report_file("path/to/file.jl"; concretization_patterns = [:(md = x_)])`.
- If the above approaches do not work, try `concretization_patterns = [:(x_)]` to
concretize all top-level code in the module (recommended as a last resort since it
would incur any side effects in your code and may cause the analysis to take longer time).
I would like to fix it. The variable is not constant, but the type is. But what should I add to my configuration file .JETLSConfig.toml?
I tried:
concretization_patterns = [
":(md = x_)"
]
But that does not fix the warning.