[Haskell-cafe] lambdabot check
Gwern Branwen
gwern0 at gmail.com
Tue May 24 22:30:58 CEST 2011
On Tue, May 24, 2011 at 7:00 AM, Jacek Generowicz
<jacek.generowicz at cern.ch> wrote:
> 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
More information about the Haskell-Cafe
mailing list