[Haskell-cafe] ANN: LeanCheck v0.9.0 -- enumerative property testing

[Paul Brauner]

Leancheck looks great! Could you also please compare it to feat? That's
what I've been using for enumerating algebraic datatypes by size (vs depth)
so far.

On Fri, Jan 18, 2019, 16:22 Joachim Breitner <mail at joachim-breitner.de
wrote:

> Hi,
>
>
> Am Donnerstag, den 17.01.2019, 18:28 +0100 schrieb Johannes Waldmann:
> > <interactive>:22:12: error:
> >     Illegal type signature: ‘Double’
> >       Type signatures are only allowed in patterns with
> ScopedTypeVariables
> >
> > Wat? TypeVariables? There aren't any!
>
> I feel your pain:
> https://github.com/ghc-proposals/ghc-proposals/pull/119
>
> Let’s hope we get Haskell2x somewhen, including (at least)
> PatternSignatures, or even all of ScopedTypeVariables.
>
> Interestingly, my proposal cites a rant from you from 10 years ago:
> https://mail.haskell.org/pipermail/haskell-cafe/2009-April/059519.html
> :-)
>
> Cheers,
> Joachim
>
> --
> Joachim Breitner
>   mail at joachim-breitner.de
>   http://www.joachim-breitner.de/
>
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20190119/13517bde/attachment.html>