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