Changes between Initial Version and Version 2 of Ticket #9114


Ignore:
Timestamp:
May 15, 2014 9:26:47 AM (16 months ago)
Author:
tibbe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #9114 – Description

    initial v2  
    11As reported by Robert Bihlmeyer at http://bugs.debian.org/748125, the promised round-tripping of invalid UTF8 sequences in filenames through String does not work:
    22
    3 ```
     3{{{
    44$ mkdir foo
    55$ touch foo/$(echo -e '\xC0\xB7.txt')
    66$ ghc -e 'System.Directory.getDirectoryContents "foo" >>= print . last'
    77"7.txt"
    8 ```
     8}}}
    99
    1010The sequence 0xC8B7 is an (invalid) encoding of 37, i.e. `'7'`, so if it is mapped to `'7'`, no round-tripping is possible. (Other invalid byte sequences are round-tripped.)