With this PR from_source throws an exception when the input is an empty file. Previously, the result was a TextReader.
The consequence of this change is that when reading/downloading multiple files now it is enough to have an empty file out of many valid ones and the program fail if the exception is uncaught.
With this PR
from_source
throws an exception when the input is an empty file. Previously, the result was aTextReader
.The consequence of this change is that when reading/downloading multiple files now it is enough to have an empty file out of many valid ones and the program fail if the exception is uncaught.