Philip Clayton wrote:
I must say that when I was setting up the test running 5.2.1 and the latest version side by side, I found it particularly difficult to know what version of Poly/ML I was actually running! I currently work with 5.2, 5.2.1 and, now, the latest but all three report '5.2' on the start-up banner and '520' from PolyML.rtsVersion. (Initially, I found that the latest version was failing too but after some investigation, realized that it was due to LD_LIBRARY_PATH being set inappropriately.) We would certainly find it very useful if the initial banner provided sufficient version information to determine what behaviour to expect.
Phil, The start-up banner for Poly/ML only shows the compiler version, not the RTS version. If you want to find the full version as well as the RTS version simply type "poly -v" $ poly -v Poly/ML 5.2 Release RTS version: I386-5.2.1
David