FilePath as ADT

[Ross Paterson]

On Fri, Feb 03, 2006 at 12:24:28PM +0000, Axel Simon wrote:
> Yes, and I suppose not being opaque about a file name (i.e. FilePath =
> [Word8]) is superior.

Maybe.  You might want [Word8] under Unix and [Word16] under Win32.

> So why is the whole Unicode proposal under "adopt: none"? Did nobody
> look at that yet?

No, there's no formal proposal yet.  It would probably be two or three
proposals (source, I/O, strings).