CSV.write somehow cannot write file with name `con.csv` in Windows?! about csv.jl HOT 5 OPEN

Can you share the error you're seeing?

from csv.jl.

No error but the generated file does not exist

from csv.jl.

Ok this is the reason: https://stackoverflow.com/questions/59345760/os-path-exists-gives-false-positive-for-files-named-con-csv-on-windows

from csv.jl.

then why there is no error?

from csv.jl.

These names behave like files, i.e. they support open, write and read, but they do different things than you expect, see e.g. https://msdn.microsoft.com/en-us/library/aa365247(VS.85).aspx.

There is simply no way to generate a file on Win-Os that with the basename "con". Renaming also doesn't work.
If you want to make sure that such name is not used, check beforehand, e.g.

if lowercase(splitext(basename(filename))[1]) == "con"
  @info "Filename '$(uppercase(basename(filename)))' not supported under Windows"
end

from csv.jl.