I downloaded a file which used the extension .vec for the ASCII vectors instead of .txt and it just silently failed, which is not a good user experience.
So this PR will warn the user with a proper error message (that the file extension should be either .bin or .txt).
I downloaded a file which used the extension
.vec
for the ASCII vectors instead of.txt
and it just silently failed, which is not a good user experience.So this PR will warn the user with a proper error message (that the file extension should be either
.bin
or.txt
).