On 29/12/2014 12:11, David Matthews wrote:
On 26/12/2014 19:20, David Topham wrote:
I am trying to install QCheck 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.
I've looked more closely at this and I believe the tests are wrong and that Poly/ML is actually correct. It looks as though the author of the tests believes that String.fromString should return NONE unless the whole of its argument is a valid string. That does not match my reading of the ML Basis Library specification which says that String.fromString should return SOME s if it is possible to convert at least one character of the argument.
David