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@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.