On Thu, Mar 3, 2016 at 11:58 AM, Eric Seidel
On Wed, Mar 2, 2016, at 23:54, Christopher Allen wrote:
I'd like to see how warm people would be to catching GHC's type error quality up a bit.
I did a write-up on a confusion a reader of our book had:
Wow, this is a pretty nasty error message. In particular because it relies on the overloaded nature of integer literals.
We actually had another such situation come up in #haskell yesterday, btw. Someone confused type constructors and data constructors, and the error message assumed they wanted DataKinds and type level programming. This is kinda bad for newcomers. -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net