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

[Joachim Breitner]

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/

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20190118/c4a15c8f/attachment.sig>