On Tue, May 24, 2011 at 7:00 AM, Jacek Generowicz
<jacek.generow...@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

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to