
7 Nov
2011
7 Nov
'11
12:57 p.m.
On Mon, Nov 07, 2011 at 05:02:32PM +0000, Simon Marlow wrote:
Basically, imagine a reversible transformation:
encode :: String -> [Word8] decode :: [Word8] -> String
this transformation is applied in the appropriate direction by the IO library to translate filesystem paths into FilePath and vice versa. No information is lost
I think that would be great if it were true, but it isn't: $ touch `printf '\x80'` $ touch `printf '\xEE\xBE\x80'` $ ghc -e 'System.Directory.getDirectoryContents "." >>= print' ["\61312",".","\61312",".."] Both of those filenames get encoded as \61312 (U+EF80). Thanks Ian