- User Since
- Aug 22 2014, 12:04 AM (251 w, 4 d)
Oct 19 2018
Made a ticket for both of them #15782
Is using kind application in data declarations; data El @k ..., wanted. Currently rejected
It seems amazingly robust though
I discovered a potential bug, minimized by Ryan
Jan 31 2018
Jan 30 2018
I think all of these should be accepted (taken from Kmett)
Fails on (source)
Glad to get my hands on this. If you need examples / tests I have several in this reddit comment.
Nov 28 2016
What about Outputable for MatchGroup?
Should InstanceSigs not be used in GHC (+ libraries)?
Oct 20 2016
Oct 9 2016
I checked this out, it seems the parser doesn't allow a space to the right?
Jul 28 2016
Jul 14 2016
Thanks for reminding me of this ticket @RyanGlScott
Added information on when Not was made injective.
Jul 10 2016
Jul 8 2016
May 27 2016
What are your comments on
May 26 2016
These are other potential type family dependencies I found.
May 25 2016
What do you think about
I don't like VC.
Fixed GHC range.
May 14 2016
Nov 14 2014
Nov 13 2014
The documentation says something akin to “Evaluate each monadic action in the structure from left to right, and ignore the results.” and I copied that, should “discard the result” be used instead?
doesn't ↦ does not