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@lemma:~$ mkdir TEST ramana@lemma:~$ cd TEST ramana@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
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
