[MLton] cygwoes

Florian Weimer fw@deneb.enyo.de
Wed, 05 Oct 2005 14:40:34 +0200


* Wesley W. Terpstra:

> Uhm. Aren't windows filenames case insensitive?
> It is getting converted to lower-case because our implementation of  
> OS.Path lower-cases
> everything in compliance with the standard....
>
> "
> In a Microsoft Windows implementation, canonical paths are entirely  
> lowercase.
> "

This is a bug in the standard.  Not all Windows file systems are
case-insensitive.