[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