On Thu, Mar 3, 2016 at 11:58 AM, Eric Seidel <[email protected]> wrote: > 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: > > > > https://gist.github.com/bitemyapp/c27c721b92dab0248433 > > > > 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 [email protected] [email protected] unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
