[ProofPower] Can QCheck work in xpp?

2014-12-29 Thread David Topham
I am not sure if this is a bug in xpp or if it is a user (me!) error, but I am trying to use a unit test framework named QCheck within xpp and it fails. I have attached the doc file and the sml and pdf file produced via docsml. In the files, I have shown where the error occurs. Since it works ok in

Re: [ProofPower] Can QCheck work in xpp?

2014-12-29 Thread Rob Arthan
David, On 28 Dec 2014, at 05:08, David Topham wrote: > I am not sure if this is a bug in xpp or if it is a user (me!) error, but I > am trying to use a unit test framework named QCheck within xpp and it fails. > I have attached the doc file and the sml and pdf file produced via docsml. In > t

Re: [ProofPower] Can QCheck work in xpp?

2014-12-29 Thread Rob Arthan
On 29 Dec 2014, at 15:16, Rob Arthan wrote: > David, > > On 28 Dec 2014, at 05:08, David Topham wrote: > ...However, I don’t get much further with QCheck. Even when I try to load > it directly from poly, I get the following error message: > > > PolyML.make "QCheck"; > Making QCheck > Making

Re: [ProofPower] Proofpower Digest, Vol 88, Issue 8

2014-12-29 Thread David Topham
rom poly, I get the following error message: > > > PolyML.make "QCheck"; > Making QCheck > Making QCheckVersion > Created structure QCheckVersion > structure QCheckVersion : > sig val context : string val version : int * int end > Error- in 'QCheck.sml'