On Tue, Sep 3, 2013 at 5:14 PM, Glenn Maynard <glenn@zewt.org> wrote: > On Tue, Sep 3, 2013 at 10:17 AM, Anne van Kesteren <annevk@annevk.nl> wrote: >> I don't think you want those conversion semantics for name. I do think >> we want the value space for names across different systems to be >> equivalent, which if we support zip basically means bytes. > > I don't really understand the suggestion of using a ByteString for > File.name. Can you explain how that wouldn't break > https://zewt.org/~glenn/picker.html, if the user picks a file named > "漢字.txt"? ByteString doesn't work. A byte sequence might. If the platform does file names in Unicode it would be converted to bytes using utf-8. -- http://annevankesteren.nl/Received on Tuesday, 3 September 2013 16:28:31 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 18:14:13 UTC