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
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
