On 26/12/2014 19:20, David Topham wrote:
I am trying to install QCheck (http://contrapunctus.net/league/haques/qcheck/qcheck_2.html) which generates unit tests for SML code, and found that it uses printTypesWithStructureName in this way: ...in order to check the installation...what should I use in place of
PolyML.Compiler.printTypesWithStructureName := false; ?
or can it just be removed with no consequences?
I tried just removing that first line, and the testcases do run, with 2 failures related to String/invalid and String/from-to (but those failures may have nothing to do with printTypesWithStructureName)
I am just doing a sanity check by asking if anyone has had experience with QCheck.
I hadn't come across QCheck so thanks for pointing it out. As a result of your message I tried it out and removed the printTypesWithStructureName line. It does report some errors which I don't think are anything to do with printTypesWithStructureName. I need to look more carefully to work out if these are in fact errors. From what I can tell so far it looks as though it is testing conversions between strings and integers and between strings and string-escapes. If there are errors they're likely to be pretty obscure.
Poly/ML does have some regression tests in the distribution which you can run using "make tests". If running the version from SVN make sure to rebuild the compiler first with "make compiler".
David