Re: File API: File's name property

On Tue, Sep 3, 2013 at 9:03 AM, Arun Ranganathan <arun@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 <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"?

-- 
Glenn Maynard