24 May
2011
24 May
'11
4:30 p.m.
On Tue, May 24, 2011 at 7:00 AM, Jacek Generowicz
I've installed lambdabot, but check within it seems to be broken: the only answer it ever gives is "Terminated". For example:
lambdabot> check True Terminated lambdabot>
quickCheck works just fine in a GHCi session:
Prelude> :m + Test.QuickCheck [...] Prelude> quickCheck True [...] +++ OK, passed 100 tests.
@check these days goes through mueval. Are you sure mueval is installed & working? You can try running the tests.sh script which will exercise the QuickCheck functionality among other things. -- gwern http://www.gwern.net