18 Jan
2019
18 Jan
'19
10:22 a.m.
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/