Specialized type hints

Brandon Allbery allbery.b at gmail.com
Thu Mar 3 17:00:56 UTC 2016

On Thu, Mar 3, 2016 at 11:58 AM, Eric Seidel <eric at seidel.io> 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
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20160303/b28a0941/attachment.html>

More information about the ghc-devs mailing list