Changes between Initial Version and Version 2 of Ticket #9114


Ignore:
Timestamp:
May 15, 2014 9:26:47 AM (11 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.)