On Tue, Sep 3, 2013 at 9:03 AM, Arun Ranganathan <a...@mozilla.com> wrote:
> It wouldn't be wise to restrict '/' or '\' or try to delve too deep into > platform land BUT the FileSystem API introduces directory syntax which > might make being lax a fly in the ointment for later. > I wouldn't object to restricting "/" if it'll make other APIs more sensible. Every platform I've used treats it as a separator. On Tue, Sep 3, 2013 at 10:17 AM, Anne van Kesteren <ann...@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"? -- Glenn Maynard