Cannot open a file with double quotes in the name
When trying to open a file with double quotes in the name, using System.IO.openBinaryFile or System.IO.openFile, an exception is thrown:
Prelude System.IO> openBinaryFile "Restaurant \"A B C\"" ReadMode >> return ()
- ** Exception: Restaurant "A B C": openBinaryFile: invalid argument (Invalid argument)
As System.Directory.copyFile uses System.IO.openBinaryFile, copyFile also results in an exception; this is probably the same for other functions.
Henk-Jan van Tuyl (hjgtuyl <at> chello <dot> nl)
Trac metadata
Trac field | Value |
---|---|
Version | 6.12.1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | libraries/base |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |