I just realised I was _not_ on fixes-5.5.2 (although the SHA of the commit I gave was correct).
So, the question is: why does master get this wrong? But I'm not so bothered now, since I know master occasionally breaks. On 15 October 2015 at 14:43, Ramana Kumar <[email protected]> wrote: > 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
