On Fri, Jan 18, 2019, 16:22 Joachim Breitner <mail@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@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.