Files ending with .RDS (capitalized) are not recognized as format{RDataSingle}

[JohannesNE]

I tried to load a file (file.RDS). This resulted in the error

ArgumentError: Package Libz [2ec943e9-cfe8-584d-b93d-64dcb6d567b7] is required but does not seem to be installed:

- Run `Pkg.instantiate()` to install all recorded dependencies.

Stacktrace...

Changing the file name to file.rds fixed it.

[alyst]

The mapping of file extension to the file format is defined in FileIO.jl package.
It looks like so far it only defines *.rds extension.
Could you please create an upstream issue in FileIO.jl with a reference to this one?

[JohannesNE]

I see. This was already filed as an (general) issue. Should i create one specifically for the RSingleData case?

[alyst]

@JohannesNE Thanks! If there's already a general issue, probably you don't have to create one just for .RDS -- until the maintainers of FileIO.jl decide on the case-sensitivity issue, .RDS support is not likely to be implemented.

[JohannesNE]

Okay. I'll close this issue, and hope others will find it if they run into the same problem.

[nalimilan]

A complementary solution would be to introduce a separate RData.load or RData.read function that wouldn't go through FileIO at all. FileIO is nice, but doing RData.load(...) would allow printing an explicit error message when the file doesn't match what RData expects, as the intent of the user is clear.

[oxinabox]

work around if you don't want to rename the file:

using RData, FileIO
complete_dataset = load(File{format"RDataSingle"}("completeDataset.RDS"))