15 Oct
2015
15 Oct
'15
4:43 a.m.
Hi all,
I just built Poly/ML fixes-5.2.2 (687b32704fdaffe013427962238482b786b666a4) fresh on a new machine with the following setup: uname -a Linux lemma 4.0.0-2-amd64 #1 SMP Debian 4.0.8-1 (2015-07-11) x86_64 GNU/Linux
Now, if I go to a directory with non-lowercase name, I get a bad result: ramana at lemma:~$ mkdir TEST ramana at lemma:~$ cd TEST ramana at lemma:~/TEST$ poly Poly/ML 5.5.3 Testing
OS.Path.mkCanonical(OS.FileSys.getDir());
val it = "/home/ramana/test": string
Why does Poly/ML think it is OK to lowercase filenames on this platform?
Cheers, Ramana