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